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 Eiffel Studio --
For more details: eiffel.org