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: 2011-03-01 17:28:15 +0000 (Tue, 01 Mar 2011) $" revision: "$Revision: 85759 $" class RT_DBG_EXECUTION_PARAMETERS create {RT_EXTENSION} make feature {NONE} -- Initialization make do maximum_record_count := 1000000 flatten_when_closing := True keep_calls_records := True recording_values := True end feature -- Access maximum_record_count: INTEGER_32 -- 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_32) -- 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 -- class RT_DBG_EXECUTION_PARAMETERS
Generated by ISE EiffelStudio