deferred class
	TRACING_HANDLER

General
	cluster: ise
	description: 
		"Abstract class to dispatch tracing events to user. Tracing events are dispatched
		by calling activate on the TRACING_HANDLER's instance.
		 For each thread being created a copy of the current tracer object will be
		 used for the newly created thread to avoid race condition. It is up to the implementer
		 of the class to ensure proper thread-safety and to properly implement duplicated which
		 is by default implemented using twin."

Ancestors
	ANY

Queries
	duplicated: [like Current] TRACING_HANDLER

Commands
	activate
	deactivate
	trace (a_type_id: INTEGER_32; a_c_class_name, a_c_feature_name: POINTER; a_depth: INTEGER_32; a_is_entering: BOOLEAN)

Generated by ISE EiffelStudio