class
	WORKER_THREAD

General
	cluster: thread
	description: "Class defining an Eiffel thread of execution using an agent for its internal action."
	create: make, make_with_procedure

Ancestors
	THREAD*

Queries
	current_thread_id: POINTER
	is_exit_supported: BOOLEAN
	is_last_launch_successful: BOOLEAN
	is_launchable: BOOLEAN
	join_with_timeout (a_timeout_ms: NATURAL_64): BOOLEAN
	terminated: BOOLEAN
	thread_id: POINTER

Commands
	execute_procedure
	exit
	join
	join_all
	launch
	launch_with_attributes (attr: THREAD_ATTRIBUTES)
	sleep (nanoseconds: INTEGER_64)
	yield

Generated by ISE EiffelStudio