| Online Eiffel Documentation

EiffelStudio

# Flat Contract view

The Flat Contract view displays the contracts of all written-in and inherited features of the current class. It is available either through the editor or through the Class tab of the context tool.

Caution: For classes with many ancestors, computation of the Flat Contract view may require a few seconds.

See Also
Flat view
Contract view