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).