class
	RT_EXTENSION

General
	cluster: debug_implementation
	description: "Eiffel class instanciated and used from the Eiffel runtime."

Ancestors
	RT_EXTENSION_GENERAL*

Queries
	c_is_inside_rt_eiffel_code: INTEGER_32
	Cached_arguments: ARRAY [detachable TUPLE]
	debugger_type_string (a_obj: detachable ANY): detachable STRING_8
	equal_sign_evaluation (a, b: detachable ANY): BOOLEAN
	is_equal_evaluation (a, b: ANY): BOOLEAN
	notify_argument (a_id: INTEGER_32): detachable TUPLE
	object_loaded_from (r: detachable ANY; fn: READABLE_STRING_GENERAL): detachable ANY
	object_runtime_info (r: detachable ANY): STRING_8
	Op_enter_feature: INTEGER_32
	Op_leave_feature: INTEGER_32
	Op_rescue_feature: INTEGER_32
	Op_rt_assign_attrib: INTEGER_32
	Op_rt_assign_local: INTEGER_32
	Op_rt_hook: INTEGER_32
	saved_object_to (r: detachable ANY; fn: READABLE_STRING_GENERAL): detachable ANY
	scoop_processor_id_from_object (a_object: ANY): INTEGER_32
	tilda_equal_evaluation (a, b: detachable ANY): BOOLEAN

Commands
	activate_execution_replay_recording (b: BOOLEAN; ref: ANY; cid, fid, dep, break_index: INTEGER_32)
	c_activate_recording
	dtrace (m: STRING_8)
	dtrace_indent (n: INTEGER_32)
	notify (a_id: INTEGER_32; a_data: TUPLE)
	test_activate_recording (ref: ANY; fid, dep, bpline: INTEGER_32)

Constraints
	no attribute

Generated by ISE EiffelStudio