You are in:

 Documentation Home
 Tools
 EiffelStudio
 EiffelStudio Reference
 Formatted information about compiled classes and features
 Class views

 Topics:

 Invariants
 Clickable view
 Introduction
 External features
 Contract view
 Once routines and constants
 Routines
 Deferred features
 Basic text view
 Attributes
 Flat view
 Creators
 Suppliers
 Descendants
 Ancestors
 Clients
 Exported features
 Flat Contract view