deferred class EIFFEL_RUNTIME_EXCEPTION Ancestors EIF_EXCEPTION* Descendants DATA_EXCEPTION* EXTERNAL_FAILURE NO_MORE_MEMORY
Generated by ISE EiffelStudio