class
	THREAD_CONTROL

General
	cluster: thread
	description: "Control over thread execution."

Ancestors
	THREAD_ENVIRONMENT

Queries
	current_thread_id: POINTER

Commands
	join_all
	yield

Generated by ISE EiffelStudio