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

Generated by ISE EiffelStudio