deferred class OBSOLETE_EXCEPTION Ancestors EXCEPTION Descendants EXCEPTION_IN_SIGNAL_HANDLER_FAILURE RESCUE_FAILURE RESUMPTION_FAILURE
Generated by ISE EiffelStudio