Instructions
Eiffel has a remarkably small set of instructions. The basic computational instructions have been seen: creation, assignment, assignment attempt, procedure call, retry. They are complemented by control structures: conditional, multi-branch, loop, as well as debug and check.
Conditional
A conditional instruction has the form
if ... then
...
elseif ... then
...
else
...
end
The
elseif ...
then ...