    class
    	PROFILING_SETTING

    General
    	cluster: base
    	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 Ace file."
    	create: make

    Ancestors
    	ANY

    Queries
    	Is_profiler_enabled: BOOLEAN
    	is_profiling: BOOLEAN

    Commands
    	make
    	start_profiling
    	stop_profiling