check

ET: Instructions

Instructions

Eiffel has a remarkably small set of instructions. The basic computational instructions have been seen: creation, assignment, procedure call, retry. They are complemented by control structures: conditional, multi-branch, loop, as well as debug and check.

Assignment and attachment

As noted above we have already introduced assignment. But let's take another look at the assignment in the context of the more abstract concept of attachment.

Syndicate content