WriterLock Class Reference

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

Public Methods
	WriterLock (WriterPreferenceReadWriteLock wprw)
void	acquire () throws InterruptedException
boolean	attempt (int msecs) throws InterruptedException
void	release ()
	WriterLock (WriterPreferenceReadWriteLock wprw)
void	acquire ()
boolean	attempt (int msecs)
void	release ()
	WriterLock (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 (WriterLock wl1, WriterLock wl2): wl1 != wl2;

Definition at line 158 of file MainReadWriteLock.java.

void WriterLock::acquire ( ) [inline]

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

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

Generated at Thu Feb 7 07:23:01 2002 for Bandera by