Automatic generation produced by ISE Eiffel




Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

class
	READ_WRITE_LOCK

General
	cluster: ise
	description: "Read/Write synchronization object, allows multiple reader threads to have access to a resource, and only one writer thread."
	create: make

Ancestors
	DISPOSABLE*

Queries
	is_set: BOOLEAN

Commands
	acquire_read_lock
	acquire_write_lock
	destroy
	dispose
	release_read_lock
	release_write_lock





Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to:

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