scilla_version 0
(***************************************************)
(*               Basic setter and getter           *)
(***************************************************)
contract SetGet
()
field value: Uint128 = Uint128 0
field string_value: String = "test"
field address_value: ByStr20 = 0x1234567890123456789012345678901234567890
field option_bystr20: Option ByStr20 = None {ByStr20}

transition set_uint128(v : Uint128)
  value := v
end

transition emit()
  v <- value;
  ev = {_eventname: "Emit"; sender: _sender; value: v};
  event ev
end

transition set_string(v : String)
  string_value := v
end

transition get_string()
  v <- string_value;
  ev = {_eventname: "get_string"; sender: _sender; value: v};
  event ev
end

transition set_address(v : ByStr20)
  address_value := v
end

transition get_address()
  v <- address_value;
  ev = {_eventname: "get_address"; sender: _sender; value: v};
  event ev
end

transition set_option_bystr20(v : (Option ByStr20))
    option_bystr20 := v
end