Automatic generation produced by ISE Eiffel
class IO_FAILURE Ancestors DATA_EXCEPTION* Clients DIRECTORY IO_FAILURE ISE_EXCEPTION_MANAGER STORABLE Suppliers EXCEP_CONST IMMUTABLE_STRING_32 IO_FAILURE -- Generated by Eiffel Studio --
For more details: eiffel.org