ReaderLock Class Reference

Inheritance diagram for ReaderLock:[legend]Collaboration diagram for ReaderLock:[legend]List of all members.

Public Methods
	ReaderLock (WriterPreferenceReadWriteLock wprw)
void	acquire () throws InterruptedException
boolean	attempt (int msecs) throws InterruptedException
void	release ()
	ReaderLock (WriterPreferenceReadWriteLock wprw)
void	acquire ()
boolean	attempt (int msecs)
void	release ()
	ReaderLock (WriterPreferenceReadWriteLock wprw)
void	acquire ()
boolean	attempt (int msecs)
void	release ()
Private Methods
synchronized void	signalWaiters ()
synchronized void	signalWaiters ()
synchronized void	signalWaiters ()
Private Attributes
WriterPreferenceReadWriteLock	wprw

Detailed Description

@observable EXP notEqual (ReaderLock rl1, ReaderLock rl2): rl1 != rl2;

Definition at line 77 of file MainReadWriteLock.java.

void ReaderLock::acquire ( ) [inline]

@observable RETURN successfully(this);
Definition at line 86 of file MainReadWriteLock.java.

The documentation for this class was generated from the following files:

Generated at Thu Feb 7 07:21:02 2002 for Bandera by