Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EXCEPTION Ancestors EXCEPTION_MANAGER_FACTORY Descendants ASSERTION_VIOLATION* DEVELOPER_EXCEPTION MACHINE_EXCEPTION* OBSOLETE_EXCEPTION* SYS_EXCEPTION* Clients EQA_GENERATED_TEST_SET EQA_TEST_INVOCATION_EXCEPTION EV_APPLICATION_I* EV_VISION2_TEST_SET* EXCEPTION EXCEPTIONS EXCEPTION_MANAGER ISE_EXCEPTION_MANAGER SED_ERROR_FACTORY Suppliers BOOLEAN CELL [G] C_STRING EXCEPTION EXCEPTION_MANAGER IMMUTABLE_STRING_32 IMMUTABLE_STRING_8 INTEGER_32 READABLE_STRING_GENERAL* STRING_32 STRING_8 TYPE [G] UTF_CONVERTER
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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