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.

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