Multiple

Syntax

multiple[type]

Where type is optional

Semantics

Included in allocated will (with no arguments) set the specific variable to have memory allocated to all processes within current scope. This sets the variable to be private (i.e. no other processes can view it) to its allocated process.

Example

function void main() {
   var i: Int :: allocated[multiple[]];
};

In this example the variable i is an integer, allocated to all processes.

Since: Version 0.41b