class
	MUTEX

General
	cluster: ise
	description: "Mutex synchronization object, allows threads to access global data through critical sections. Mutexes are recursive."
	create: make

Ancestors
	DISPOSABLE*
	THREAD_ENVIRONMENT

Queries
	current_thread_id: POINTER
	is_set: BOOLEAN
	try_lock: BOOLEAN

Commands
	destroy
	dispose
	lock
	unlock

Generated by ISE EiffelStudio