Automatic generation produced by ISE Eiffel
class EXCEPTIONS Ancestors EXCEPTION_MANAGER_FACTORY EXCEP_CONST Descendants ES_TEST_CASE* STORABLE Clients ANY EXCEPTIONS MANAGED_POINTER MISMATCH_CORRECTOR Suppliers BOOLEAN DEVELOPER_EXCEPTION EXCEPTION EXCEPTIONS EXCEPTION_MANAGER IMMUTABLE_STRING_32 READABLE_STRING_GENERAL* STRING_32 -- Generated by ISE Eiffel --
For more details: www.eiffel.com