Automatic generation produced by ISE Eiffel
class ISE_EXCEPTION_MANAGER Ancestors EXCEPTION_MANAGER Clients EXCEPTION_MANAGER_FACTORY ISE_EXCEPTION_MANAGER Suppliers ADDRESS_APPLIED_TO_MELTED_FEATURE BAD_INSPECT_VALUE BOOLEAN CELL [G] CHECK_VIOLATION COM_FAILURE CREATE_ON_DEFERRED C_STRING DEVELOPER_EXCEPTION EIFFEL_RUNTIME_PANIC EXCEPTION EXCEPTION_IN_SIGNAL_HANDLER_FAILURE EXCEP_CONST EXTERNAL_FAILURE FLOATING_POINT_FAILURE HASH_TABLE [G, K -> detachable HASHABLE] 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 STRING_8 TYPE [G] VARIANT_VIOLATION VOID_ASSIGNED_TO_EXPANDED VOID_TARGET -- Generated by Eiffel Studio --
For more details: eiffel.org