class IO_FAILURE Ancestors DATA_EXCEPTION* Clients DIRECTORY IO_FAILURE ISE_EXCEPTION_MANAGER STORABLE Suppliers EXCEP_CONST IMMUTABLE_STRING_32 IO_FAILURE
Generated by ISE EiffelStudio