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