Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Go to:
deferred class STRING_TRACING_HANDLER General cluster: ise description: "Abstract class to dispatch tracing events to user using TYPE and STRING data." Ancestors TRACING_HANDLER* Queries duplicated: [attached like Current] attached STRING_TRACING_HANDLER Commands activate deactivate trace (a_type: TYPE [detachable ANY]; a_class_name, a_feature_name: detachable STRING_8; a_depth: INTEGER_32; a_is_entering: BOOLEAN)
Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Go to:

-- Generated by ISE Eiffel --
For more details: www.eiffel.com