Instructors' Guide
Introduction
Terminology
Expressions
Control
Objects
Inheritance
Technology
Summary
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 -- 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).