Guarded Iteration

CS 3304: Comparative Languages

Control Structures

[ Course Documents ] : [ Control Structures ]


Previous	Contents	Next	Keyword Index

    do <boolean> -> <statement>
    []  <boolean> -> <statement>
           ...
    []  <boolean> -> <statement>
    od

Semantics: For each iteration:
- Evaluate all boolean expressions
- If more than one are true, choose one nondeterministically; then start loop again
- If none are true, exit loop