Automatic generation produced by ISE Eiffel
deferred class OPERATING_SYSTEM_EXCEPTION Ancestors MACHINE_EXCEPTION* Descendants COM_FAILURE OPERATING_SYSTEM_FAILURE OPERATING_SYSTEM_SIGNAL_FAILURE -- Generated by ISE Eiffel --
For more details: www.eiffel.com