deferred class DATA_EXCEPTION Ancestors EIFFEL_RUNTIME_EXCEPTION* Descendants IO_FAILURE MISMATCH_FAILURE SERIALIZATION_FAILURE
Generated by ISE EiffelStudio