Software Engineering Documentation

Eiffel Introduction

• A Guide to Eiffel Syntax
• Eiffel Language Reference (Quick Reference and Void Safety)
• 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. See more here.

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.