Control structures
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.
See slide [eiffel-control].
Control -- method refinement
- branching -- {\em if ... then ... elsif ... else ... end }
- iterations -- {\em 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).