This reference index is still under construction. If you spot something missing, please consider contributing!

Basic Data Types

• bool: booleans;

• int: integers;

• long: long integers (with L or l suffix);

• double: double-precision float (decimal literals);

• string: strings;

• raw: byte arrays;

• void: the empty type.

​Go to section: Handling Simple Data​

Tree operators

• <<: deep copy. Go to section: Copying an entire tree structure​

• ->: alias. Go to section: Structure aliases​

Behavioural operators

• ;: sequence. Go to section: Sequence​

• |: parallel. Go to section: Parallel​

Statements

• [..]{..}: input choice. Go to section: Input Choice​

• constants: constants definition. Go to section: Constants​

• define: procedure definition. Go to section: Define​

• execution { single | concurrent | sequential }: execution modality. Go to section: Processes​

• for(){}: deterministic loop. Go to section: for and while​

• foreach(:){}: traversing items. Go to section: foreach​

• global: global variables. Go to section: Processes​

• if (..) {..} else {..}: conditional statement. Go to section: Conditions and conditional statement​

• init{}: init scope. Go to section: Processes and Sessions​

• inputPort: input port statement. Go to section: Ports​

• interface: interface definition. Go to section: Interfaces​

• Interfaces: port interfaces. Go to section: Interfaces​

• Location: port location. Go to section: Locations​

• main{}: main scope. Go to section: Processes​

• OneWay: one way operation definition. Go to section: Interfaces​

• outputPort: output port statement. Go to section: Ports​

• Protocol: port protocol. Go to section: Protocol​

• RequestResponse: request response operation definition. Go to section: Interfaces​

• synchronized(){}: variables synchronization. Go to section: Processes​

• spawn( .. over .. ) in .. {}: spawn primitive definition. Go to section: Dynamic Parallel​

• type: type definition. Go to section: Data Types​

• undef(): undefines a variable. Go to section: Undef​

• while(){}: conditional loop. Go to section: for and while​

• with(:){}: shortcut to repetitive variable paths. Go to section: with​