deferred class
	RT_EXTENSION_GENERAL

General
	cluster: debug_implementation
	description: "Common routine for RT_EXTENSION classes"

Ancestors
	RT_EXTENSION_COMMON*

Queries
	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
	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
	tilda_equal_evaluation (a, b: detachable ANY): BOOLEAN

Commands
	dtrace (m: STRING_8)
	dtrace_indent (n: INTEGER_32)


Generated by ISE EiffelStudio