Reserved Keywords

Keyword	Description
actor	keyword in state actor definition
Actor	type Actor, e.g. in storage field identifier MyLogic.Actor(some_participant).balance
append	standard function to append to a varray
asset	keyword in interface definition for interface to asset logics
break	control flow statement to break out of a loop
build	reserved, not used yet
Builtins	used to access builtin functions
case	case in switch statement
catch	try...catch...finally, not implemented yet
class	definition of a class
coco	definition of a module
const	definition of a constant
continue	control flow statement to continue an iteration in the loop
default	default branch of a switch statement
deploy	endpoint qualifier, defining an endpoint to be used when logic is deployed
depolorize	deserialize POLO-encoded bytes into a data structure
disperse	qualifier in mutate or append statements when writing complex values (maps, classes, arrays) that explicitly allows potentially costly storage of large amount of data
dynamic	endpoint qualifier that denotes the endpoint is mutating a state
else	if...else
emit	writes an event into a log
endpoint	endpoint definition statement
enlist	endpoint qualifier, definint an endpoint to be used when an actor is enlisted
Environment	used to access environment methods
ephemeral	state definition for backward compatibility before PISA 0.4.0 targets, replaced by actor
event	definition of an event, used by emit
false	boolean constant
field	field of a class
finally	try...catch...finally, not implemented yet
for	control flow statement for iteration over data
function	local function that can be called from withing the logic, but not invoked directly by an interaction
gather	qualifier in observe statements when reading complex values (maps, classes, arrays) that explicitly allows potentially costly retrieval of large amount of data
generate	instructs compiler to create a zero-value in a map when reading, if it doesn't exist
if	if...else...
imports	definition of the list of imported packages
in	iteration over values in for loop
interact	endpoint qualifier, not implemented yet
interface	definition of an interface to other regular or asset logics
Invocation	used to access invocation methods
invoke	endpoint qualifier, default value so usually omitted
local	logic id for backward compatibility before PISA 0.4.0 targets
logic	keyword in state logic definition
Logic	denotes access to logic's state, e.g. in storage field identifier MyLogic.Logic.name
make	creates new complex value
memory	declaration of a memory variable
method	class method
mutate	statement for writing into storage
observe	statement for reading from storage
package	qualifier in coco statement for packages
pass	no-op statement
persistent	state definition for backward compatibility before PISA 0.4.0 targets, replaced by logic
pub	visibility qualifier in packages
pure	endpoint qualifier that denotes the endpoint is a pure function, not accessing state i.e. not even observing it
readonly	endpoint qualifier for backward compatibility before PISA 0.4.0 targets, replaced by static
return	control flow statement, sets output values of the endpoint and stops execution
revert	throws exception, with revert flag set (currently ignored, as whole transactions are reverted even with regular throw statement)
self	pointer to the class inside methods
Sender	identifier of the actor that has invoked the interaction
state	keyword in state logic and state actor definitions
static	endpoint qualifier that denotes the endpoint is NOT mutating a state, default and usually omitted
storage	declartion of a storage pointer variable
sweep	standard function to fully remove an empty map or varray
switch	control flow statement for multiple options
throw	throw and exception and terminate execution
topic	define a topic within event definition
true	boolean constant
try	try...catch...finally, not implemented yet
yield	set the value of output, but don't terminate execution (as with return)