Automatic generation produced by ISE Eiffel
deferred class LANGUAGE_EXCEPTION Ancestors EIF_EXCEPTION* Descendants BAD_INSPECT_VALUE EIFFELSTUDIO_SPECIFIC_LANGUAGE_EXCEPTION* ROUTINE_FAILURE VOID_ASSIGNED_TO_EXPANDED VOID_TARGET -- Generated by ISE Eiffel --
For more details: www.eiffel.com