Commgroup

Syntax

commgroup[process list]

Semantics

Specified within the multiple type, will limit memory allocation (and variable communication) to the processes within the list given in this type's arguments. This type will ensure that the communications group processes exist.

Example

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

In this example there are a number processes, but only 1 and 3 have variable i allocated to them. This type would have also ensured that process two (and zero) exists for there to be a process three.

Since: Version 0.5