Software Engineering Documentation

A Guide to Eiffel Syntax

• Detailed Syntax

Online API - searchable API

Eiffel Method and Language - main Eiffel documentation

Eiffel Essentials - includes introduction to agents, BON notation, style guidelines and syntax keywords

A Sense of Style - a guide to choosing suitable class/feature names and code formatting

Tuples. Tuple Example.

Agents. Simplified notation.

Snippets of Eiffel Code (login with anonymous, no passwd required).

Void Safety.

• Ending Null Pointer Crashes; Void safety relies on type declarations and static analysis.