note
	description: "Common routine for RT_EXTENSION classes"
	status: "See notice at end of class."
	legal: "See notice at end of class."
	date: "$Date: 2017-04-12 13:15:47 +0000 (Wed, 12 Apr 2017) $"
	revision: "$Revision: 100150 $"

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

	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-2017, 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 EiffelStudio