Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class PROFILING_SETTING General cluster: ise 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." create: make Ancestors ANY Queries Is_profiler_enabled: BOOLEAN is_profiling: BOOLEAN Commands make start_profiling stop_profiling
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org