class
	EXCEPTION_MANAGER_FACTORY

General
	cluster: elks
	description: "Exception manager factory."

Ancestors
	ANY

Queries
	Exception_manager: EXCEPTION_MANAGER


Generated by ISE EiffelStudio