Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Go to:
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
Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Go to:

-- Generated by ISE Eiffel --
For more details: www.eiffel.com