Parameters

archetype test_parameter(p : nat, n : string)
​
variable r : nat = 0
​
entry exec () {
  r := p + length(n)
}
if you compile with this command:
$ archetype test_parameter.arl --init '(1, "astring")'
the previous contract is equivalent to:
archetype test_parameter
​
variable p : nat    = 1
variable n : string = "astring"
​
variable r : nat = 0
​
entry exec () {
  r := p + length(n)
}
You can also prefix a parameter with const keyword which generates a constant instead of a variable.
For example:
archetype test_parameter_const(const c : nat)
​
variable r : nat = 0
​
entry exec () {
  r := c
}
with
$ archetype test_parameter.arl --init '1'
is equivalent to:
archetype test_parameter_const
​
variable r : nat = 0
​
entry exec () {
  r := 1
}
​
State machine
Metadata (TZIP-16)
Last updated 3 months ago