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