Automatic generation produced by ISE Eiffel




Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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
	is_set: BOOLEAN
	try_lock: BOOLEAN

Commands
	destroy
	dispose
	lock
	unlock





Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org