Automatic generation produced by ISE Eiffel
note description: "Common routine for RT_EXTENSION classes" status: "See notice at end of class." legal: "See notice at end of class." date: "$Date: 2014-10-10 06:16:36 -0700 (Fri, 10 Oct 2014) $" revision: "$Revision: 95897 $" deferred class interface RT_EXTENSION_GENERAL feature -- RT extension identifiers (check eif_debug.h uses the same values) Op_enter_feature: INTEGER_32 = 10 Op_leave_feature: INTEGER_32 = 11 Op_rescue_feature: INTEGER_32 = 12 Op_rt_hook: INTEGER_32 = 13 Op_rt_assign_attrib: INTEGER_32 = 14 Op_rt_assign_local: INTEGER_32 = 15 feature -- Debugger helper debugger_type_string (a_obj: detachable ANY): detachable STRING_8 -- Return the evaluation of `a.generating_type.out' feature -- Evaluation helper tilda_equal_evaluation (a, b: detachable ANY): BOOLEAN -- Return the evaluation of `a ~ b' is_equal_evaluation (a, b: ANY): BOOLEAN -- Return the evaluation of `a.is_equal (b)' require a_b_attached: a /= Void and b /= Void equal_sign_evaluation (a, b: detachable ANY): BOOLEAN -- Return the evaluation of `a = b' feature -- Object storage Access saved_object_to (r: detachable ANY; fn: READABLE_STRING_GENERAL): detachable ANY -- Save object `r' into file `fn' require fn_attached: fn /= Void object_loaded_from (r: detachable ANY; fn: READABLE_STRING_GENERAL): detachable ANY -- Loaded object from file `fn'. -- if `r' is Void return a new object -- else load into `r' -- If failure then results Void object. require fn_attached: fn /= Void feature -- Object storage Access object_runtime_info (r: detachable ANY): STRING_8 -- Representation of the internal information for object `r'. note library: "EiffelBase: Library of reusable components for Eiffel." copyright: "Copyright (c) 1984-2014, Eiffel Software and others" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" source: "[ Eiffel Software 5949 Hollister Ave., Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Website http://www.eiffel.com Customer support http://support.eiffel.com ]" end -- class RT_EXTENSION_GENERAL -- Generated by ISE Eiffel --
For more details: www.eiffel.com