class EXCEPTION_MANAGER_FACTORY General cluster: elks description: "Exception manager factory." Ancestors ANY Queries Exception_manager: EXCEPTION_MANAGER
Generated by ISE EiffelStudio