Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
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



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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