deferred class
	MACHINE_EXCEPTION

Ancestors
	EXCEPTION

Descendants
	HARDWARE_EXCEPTION*
	OPERATING_SYSTEM_EXCEPTION*


Generated by ISE EiffelStudio