Automatic generation produced by ISE Eiffel
class ROUTINE_FAILURE Ancestors LANGUAGE_EXCEPTION* Clients ISE_EXCEPTION_MANAGER ROUTINE_FAILURE Suppliers EXCEP_CONST IMMUTABLE_STRING_32 ROUTINE_FAILURE -- Generated by Eiffel Studio --
For more details: eiffel.org