WOLFRAM SYSTEM MODELER
    'while'while  | 
     | 
SystemModel["ModelicaReference.'while'"]

This information is part of the Modelica Standard Library maintained by the Modelica Association.
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