class
	TRACING_SETTING

General
	cluster: ise
	description: 
		"Objects that manage the Eiffel tracing. You can start and
		stop the Eiffel tracing whenever you want to. It only works
		if trace (yes) is enabled in your project configuration file."

Ancestors
	ANY

Queries
	is_tracing: BOOLEAN

Commands
	disable_tracing
	enable_tracing

Generated by ISE EiffelStudio