scilla-parser 2.0.0

Scilla smart contract parser written in Rust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44

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