class
	RT_DBG_EXECUTION_PARAMETERS

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

Ancestors
	ANY

Queries
	flatten_when_closing: BOOLEAN
	keep_calls_records: BOOLEAN
	maximum_record_count: INTEGER_32
	recording_values: BOOLEAN

Commands
	set_flatten_when_closing (b: BOOLEAN)
	set_keep_calls_records (b: BOOLEAN)
	set_maximum_record_count (nb: INTEGER_32)
	set_recording_values (b: BOOLEAN)


Generated by ISE EiffelStudio