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