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

Generated by ISE EiffelStudio