deferred class
	EL_IDENTIFIED_THREAD_I

inherit
	IDENTIFIED

	EL_NAMED_THREAD
		undefine
			copy, is_equal
		end

convert
	thread_id: {POINTER}

feature -- Access

	thread_id: POINTER
			--
		deferred
		end

note
	descendants: "[
			EL_IDENTIFIED_THREAD_I*
				${EL_IDENTIFIED_THREAD*}
					${EL_FILE_PROCESS_THREAD}
						${EL_LOGGED_FILE_PROCESS_THREAD}
					${EL_WORKER_THREAD}
					${EL_TIMEOUT_THREAD}
					${EL_CONTINUOUS_ACTION_THREAD*}
						${EL_CONSUMER_THREAD* [P]}
							${EL_MANY_TO_ONE_CONSUMER_THREAD* [P]}
								${EL_LOGGED_MANY_TO_ONE_CONSUMER_THREAD* [P]}
							${EL_COUNT_CONSUMER_THREAD*}
								${EL_TIMED_PROCEDURE_THREAD}
							${EL_DELEGATING_CONSUMER_THREAD [P, CONSUMER_TYPE -> EL_MANY_TO_ONE_CONSUMER_THREAD [P] create make end]}
								${EL_LOGGED_DELEGATING_CONSUMER_THREAD [P, CONSUMER_TYPE -> EL_MANY_TO_ONE_CONSUMER_THREAD [P] create make end]}
							${EL_PROCEDURE_CALL_CONSUMER_THREAD}
							${EL_THREAD_REGULAR_INTERVAL_EVENT_CONSUMER*}
							${EL_XML_NETWORK_MESSENGER}
							${EL_LOGGED_CONSUMER_THREAD* [P]}
								${EL_LOGGED_DELEGATING_CONSUMER_THREAD [P, CONSUMER_TYPE -> EL_MANY_TO_ONE_CONSUMER_THREAD [P] create make end]}
								${EL_LOGGED_MANY_TO_ONE_CONSUMER_THREAD* [P]}
							${EL_ACTION_ARGUMENTS_CONSUMER_THREAD [OPEN_ARGS -> TUPLE create default_create end]}
								${EL_BATCH_FILE_PROCESSING_THREAD*}
									${EL_LOGGED_BATCH_FILE_PROCESSING_THREAD*}
						${EL_DORMANT_ACTION_LOOP_THREAD*}
							${EL_REGULAR_INTERVAL_EVENT_PRODUCER}
								${EL_LOGGED_REGULAR_INTERVAL_EVENT_PRODUCER}
						${EL_RHYTHMIC_ACTION_THREAD*}
							${EL_TIMED_COUNT_PRODUCER}
							${EL_TIMEOUT}
								${EL_LOGGED_TIMEOUT}
						${EL_WORK_DISTRIBUTION_THREAD}
							${EL_LOGGED_WORK_DISTRIBUTION_THREAD}
					${EL_LOGGED_IDENTIFIED_THREAD*}
						${SIMPLE_SERVER_THREAD}
						${EL_LOGGED_CONSUMER_THREAD* [P]}
						${EL_LOGGED_WORK_DISTRIBUTION_THREAD}
						${EROS_SERVER_THREAD [TYPES -> TUPLE create default_create end]}
				${EL_IDENTIFIED_MAIN_THREAD}
	]"
end