note description : "Eiffel class instanciated and used from the Eiffel runtime." status: "See notice at end of class." legal: "See notice at end of class." date : "$Date$" revision : "$Revision$" class RT_DBG_EXECUTION_PARAMETERS create {RT_EXTENSION} make feature {NONE} -- Initialization make do --| Limit the number of recorded values, for instance --| + 10_000 as maximum number of value records --| + 0 for unlimited number of value records. --| Default: 1_000_000 maximum_record_count := 1_000_000 --| when leaving a feature, flatten all the value record from call records, and its sub calls --| Default: True flatten_when_closing := True --| When we flatten call records' value, do we keep the sub-call records (i.e: the execution calls history)? --| Default: True keep_calls_records := True --| When executing, records attribute and locals assignment ? --| if ever you want to record only the execution calls history --| set this value to False, but usually it should be True --| Default: True recording_values := True end feature -- Access maximum_record_count: INTEGER -- Maximum number of records. -- `0' stands for no limit. flatten_when_closing: BOOLEAN -- Option: flatten record when closing keep_calls_records: BOOLEAN -- Option: keep calls record even when flattening calls recording_values: BOOLEAN -- Option: record values ? feature -- Change set_maximum_record_count (nb: INTEGER) -- Set `maximum_record_count' do maximum_record_count := nb end set_flatten_when_closing (b: BOOLEAN) -- Set `flatten_when_closing' do flatten_when_closing := b end set_keep_calls_records (b: BOOLEAN) -- Set `keep_calls_records' do keep_calls_records := b end set_recording_values (b: BOOLEAN) -- Set `recording_values' do recording_values := b end note library: "EiffelBase: Library of reusable components for Eiffel." copyright: "Copyright (c) 1984-2008, Eiffel Software and others" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" source: "[ Eiffel Software 356 Storke Road, Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Website http://www.eiffel.com Customer support http://support.eiffel.com ]" end