Értékadás, üres utasítás
Az értékadások általános formája a következő:
<variable-name> := <expression>
Értékadásokat az inicializáló blokkba ill. az ütemezésekbe írhatunk.
A többszörös értékadás is használható, tupple-ökön keresztül:
(<variable-name>,...):=(<expression>,...)
A változók számának és tipusának meg kell egyezniük. A végrehajtás párhuzamos, így két változó értékének felcserélése leírható ezzel az egyszerű utasítással:
(a,b):=(b,a)
Szekvencia
Kidolgozásra vár.
Elágazás
Feltételes kifejezések
A feltételes kifejezéseknek a következő általános alakja van:
<condition> => <expression>
| <condition> => <expression>
...
otherwise <expression>
A fenti kifejezés értéke annak a kifejezésnek a jobboldala lesz, aminek a logikai feltétele sorrendben először teljesül, vagy az otherwise kulcsszó utáni kifejezés, ha egyik sem teljesült.
Példák:
abs(x) = x<0 => -x otherwise x;
signum(a) = a<0 => -1
| a == 0 => 0
otherwise 1;
roll = discreteUniform([1..6]) ;
result = roll == 1 => printLn("Egy")
| roll == 2 => printLn("Kettő")
| roll == 3 => printLn("Három")
otherwise printLn("Több, mint három.") ;
f(X) = X in [-1..1] => X*X
otherwise 1 ;
Ciklus
Kidolgozásra vár.
Vezérlésátadó utasítások
Kidolgozásra vár.