Titan



repeat


The keyword is only used in conjunction with the keyword alt to request another snapshot.

The repeat statement can appear as the last statement in the statement block of the alternative. When execution reaches the repeat statement, the execution continues with the evaluation of the innermost alt statement (after a new snapshot has been taken).


Related keyword:


repeat


Example:


alt {
[] PCO.receive(integer:?) { /* do something and re-iterate */ repeat }
[] any port.receive { /* do something here, too */ }

The repeat statement keeps on executing the above alt until something else than an integer number arrives on some port of the underlying component (provided no defaults are active).


BNF definition of repeat