Control in Eiffel is meant to be effected primarily
by defining (and redefining) the appropriate classes.
However, control constructs both for branching
and iteration are provided.
Control -- method refinement
- branching -- if ... then ... elsif ... else ... end
- iterations -- from ... until ... loop ... end
slide: Eiffel -- control
The if-statement has a classical form,
as in Pascal.
The iteration-statement may be used in a variety
of ways, as a for-loop and as a while-statement
(by omitting the from) part).