Module command

Structs§

Await: An await command, e.g. await r0;. Awaits the result of an asynchronous call (a future). Note that asynchronous calls currently do not return a value.
Branch: Compares first and second and jumps to position, if the condition is met.
Contains: A contains command, e.g. contains accounts[r0] into r1;. Contains is true if a (key, value) entry exists in mapping, stores the result in destination.
Get: A get command, e.g. get accounts[r0] into r1;. Gets the value stored at operand in mapping and stores the result in destination.
GetOrUse: A get command that uses the provided default in case of failure, e.g. get.or_use accounts[r0] r1 into r2;. Gets the value stored at operand in mapping and stores the result in destination. If the key is not present, default is stored in destination.
Position: A position command, e.g. position exit. Indicates a position to which the program can branch to.
RandChaCha: A random-number generator command, e.g. rand.chacha into r1 as field; or rand.chacha r0 into r1 as field;, with the latter including an optional additional seed(s).
Remove: A remove command, e.g. remove mapping[r0]; Removes the (key, value) entry in mapping.
Set: A set command, e.g. set r1 into mapping[r0]; Sets the key entry as value in mapping.

MAX_ADDITIONAL_SEEDS: The maximum number of additional seeds that can be provided.