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

Eiffel Tutorial - instructional tutorial by Helmut Brandl

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

Tuples. Tuple Example.

Agents. Simplified notation.

Void Safety.

• Ending Null Pointer Crashes; Void safety relies on type declarations and static analysis.
• Avoid a Void: The Eradication of Null Dereferencing