Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EXCEP_CONST Ancestors ANY Descendants EQA_TEST_INVOCATION_EXCEPTION EXCEPTIONS Clients ADDRESS_APPLIED_TO_MELTED_FEATURE BAD_INSPECT_VALUE CHECK_VIOLATION COM_FAILURE CREATE_ON_DEFERRED DEVELOPER_EXCEPTION EIFFEL_RUNTIME_PANIC EXCEPTION_IN_SIGNAL_HANDLER_FAILURE EXCEP_CONST EXTERNAL_FAILURE FLOATING_POINT_FAILURE INVARIANT_VIOLATION IO_FAILURE ISE_EXCEPTION_MANAGER LOOP_INVARIANT_VIOLATION MISMATCH_FAILURE NO_MORE_MEMORY OLD_VIOLATION OPERATING_SYSTEM_FAILURE OPERATING_SYSTEM_SIGNAL_FAILURE POSTCONDITION_VIOLATION PRECONDITION_VIOLATION RESCUE_FAILURE RESUMPTION_FAILURE ROUTINE_FAILURE SERIALIZATION_FAILURE VARIANT_VIOLATION VOID_ASSIGNED_TO_EXPANDED VOID_TARGET Suppliers BOOLEAN EXCEP_CONST INTEGER_32
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org