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

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