class EXCEPTION_MANAGER_FACTORY Ancestors ANY Descendants EXCEPTION EXCEPTIONS Clients EXCEPTION_MANAGER EXCEPTION_MANAGER_FACTORY Suppliers EXCEPTION_MANAGER_FACTORY ISE_EXCEPTION_MANAGER
Generated by ISE EiffelStudio