class
	RT_DBG_EXECUTION_RECORDER

General
	cluster: debug_implementation
	description: "Execution recorder"
	create: make

Ancestors
	RT_DBG_COMMON*
	RT_DBG_INTERNAL*

Queries
	bottom_callstack_record: [detachable like callstack_record] detachable RT_DBG_CALL_RECORD
	callstack_record (dep: INTEGER_32): detachable RT_DBG_CALL_RECORD
	callstack_record_by_id (a_id: STRING_8): [like callstack_record] detachable RT_DBG_CALL_RECORD
	callstack_record_details (a_id: STRING_8; nb: INTEGER_32): detachable STRING_8
	changes_between (csr1: RT_DBG_CALL_RECORD; csr2: detachable RT_DBG_CALL_RECORD): ARRAYED_LIST [RT_DBG_VALUE_RECORD]
	Direction_back: INTEGER_32
	Direction_forth: INTEGER_32
	Direction_left: INTEGER_32
	Direction_right: INTEGER_32
	flatten_when_closing: BOOLEAN
	is_call_at_depth (a_call: [like replayed_call] detachable RT_DBG_CALL_RECORD; d: INTEGER_32): BOOLEAN
	is_replaying: BOOLEAN
	keep_calls_records: BOOLEAN
	last_replay_operation_failed: BOOLEAN
	maximum_record_count: INTEGER_32
	record_count: INTEGER_32
	recording_values: BOOLEAN
	replay_query (dir: INTEGER_32): INTEGER_32
	replay_stack: detachable LINKED_LIST [TUPLE [RT_DBG_CALL_RECORD, detachable ARRAYED_LIST [TUPLE [RT_DBG_VALUE_RECORD, RT_DBG_VALUE_RECORD]]]]
	replay_stack_not_empty: BOOLEAN
	replay_to_point (a_id: STRING_8): BOOLEAN
	replayed_call: detachable RT_DBG_CALL_RECORD
	replayed_call_details: detachable STRING_8
	top_callstack_record: [detachable like callstack_record] detachable RT_DBG_CALL_RECORD
	valid_xpm_value (a_xpm: INTEGER_32): BOOLEAN
	xpm_to_is_expanded (a_xpm: INTEGER_32): BOOLEAN
	xpm_to_is_melted (a_xpm: INTEGER_32): BOOLEAN
	xpm_to_is_precompiled (a_xpm: INTEGER_32): BOOLEAN

Commands
	activate_replay (b: BOOLEAN)
	dtrace (m: STRING_8)
	dtrace_indent (n: INTEGER_32)
	enter_feature (ref: ANY; cid, fid, dep: INTEGER_32)
	enter_rescue (ref: ANY; cid, fid, dep: INTEGER_32)
	increment_records_count (n: INTEGER_32)
	leave_feature (ref: ANY; cid, fid, dep: INTEGER_32)
	monitor_record_count
	notify_rt_assign_attribute (a_dep: INTEGER_32; ref: ANY; a_offset: INTEGER_32; a_type: NATURAL_32; a_xpm: INTEGER_32)
	notify_rt_assign_local (a_dep, a_position: INTEGER_32; a_type: NATURAL_32; a_xpm: INTEGER_32)
	notify_rt_hook (dep, bp_i, bp_ni: INTEGER_32)
	replay (dir, nb: INTEGER_32)
	replay_back
	replay_forth
	replay_left
	replay_left_to_first
	replay_right
	revert_replay_stack

Generated by ISE EiffelStudio