Automatic generation produced by ISE Eiffel
note description: "[ Objects that manage the Eiffel profiler. You can start and stop the Eiffel profiler whenever you want to. It only works if `profile (yes)' is enabled in your project configuration file. Also disabling the profiler should be done at the same place where you enabled it otherwise you might corrupt the profiling data. To use this functionality effectively, make sure that the first instruction in your program calls stop_profiling, and that the last executed instruction calls start_profiling, otherwise no profile information will be generated. ]" legal: "See notice at end of class." status: "See notice at end of class." date: "$Date: 2009-08-20 10:43:16 -0700 (Thu, 20 Aug 2009) $" revision: "$Revision: 80361 $" class interface PROFILING_SETTING create make feature -- Initialization make -- Compute value of Is_profiler_enabled for all instances of -- Current class. feature -- Status report is_profiling: BOOLEAN -- Is profiler currently enabled? feature -- Status setting start_profiling -- Start profiling. stop_profiling -- Stop profiling feature -- Validity Is_profiler_enabled: BOOLEAN -- Is profiler enabled upon launch time? note library: "EiffelBase: Library of reusable components for Eiffel." copyright: "Copyright (c) 1984-2006, 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 PROFILING_SETTING -- Generated by ISE Eiffel --
For more details: www.eiffel.com