indexing
	description: "Control over thread execution."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"

class interface
	THREAD_CONTROL

feature -- Basic operations

	join
			-- The calling thread waits for the current child thread to
			-- terminate.

	join_all
			-- The calling thread waits for all other threads to terminate.

	native_join (term: POINTER)
			-- Same as join except that the low-level architecture-dependant
			-- routine is used. The thread must not be created detached.

	yield
			-- The calling thread yields its execution in favor of another
			-- thread.
	
invariant

		-- from ANY
	reflexive_equality: standard_is_equal (Current)
	reflexive_conformance: conforms_to (Current)

end -- class THREAD_CONTROL