deferred class MACHINE_EXCEPTION Ancestors EXCEPTION Descendants HARDWARE_EXCEPTION* OPERATING_SYSTEM_EXCEPTION*
Generated by ISE EiffelStudio