Repeat statements as long as a condition is fulfilled
Integer i;
algorithm
i := 1;
while i < 10 loop
i := i + 1;
...
end while;
while expression loop
{ algorithm ";" }
end while
The expression of a while clause shall be a scalar Boolean expression. The while-clause corresponds to while-statements in programming languages, and is formally defined as follows