A C D E G I L M N R S T

A

AbstractMonitor - Class in monitor

A class for Monitors.

AbstractMonitor() - Constructor for class monitor.AbstractMonitor

AbstractMonitor(String) - Constructor for class monitor.AbstractMonitor

acquire() - Method in class monitor.Semaphore

The P operation.

acquire(int) - Method in class monitor.Semaphore

The P operation with a priority.

addListener(MonitorListener) - Method in class monitor.AbstractMonitor

Register a listener

Assertion - Class in monitor

Assertions that may be checked from time to time.

Assertion() - Constructor for class monitor.Assertion

await(int) - Method in class monitor.Condition

Just like await, but with a priority.

await() - Method in class monitor.Condition

Wait until a condition is signalled.

C

callAwait(Condition, AbstractMonitor) - Method in interface monitor.MonitorListener

callEnterMonitor(AbstractMonitor) - Method in interface monitor.MonitorListener

check() - Method in class monitor.Assertion

Throw an AssertionError if the assertion is not true.

check(boolean) - Static method in class monitor.Assertion

Throw an AssertionError if the parameter is not true.

check(boolean, String) - Static method in class monitor.Assertion

Throw an AssertionError if the boolean parameter is not true.

Condition - Class in monitor

A condition queue.

conditionalAwait() - Method in class monitor.Condition

Wait only if the condition is not already true.

conditionalAwait(int) - Method in class monitor.Condition

Just like conditionalAwait, but with a priority.

conditionalSignal() - Method in class monitor.Condition

Signal this condition if its assertion is true and there is a waiting thread.

conditionalSignalAndLeave() - Method in class monitor.Condition

Signal this condition if its assertion is true and there is a waiting thread; leave regardless.

conditionalSignalAndLeave(T) - Method in class monitor.Condition

Signal this condition if its assertion is true and there is a waiting thread.

count() - Method in class monitor.Condition

How many threads are waiting on this condition.

D

doWithin(Runnable) - Method in class monitor.AbstractMonitor

Run the runnable inside the monitor.

doWithin(RunnableWithResult<T>) - Method in class monitor.AbstractMonitor

Run the runnable inside the monitor.

doWithin(Runnable) - Method in class monitor.Monitor

doWithin(RunnableWithResult<T>) - Method in class monitor.Monitor

E

enter() - Method in class monitor.AbstractMonitor

Enter the monitor.

enter() - Method in class monitor.Monitor

G

getName() - Method in class monitor.AbstractMonitor

getName() - Method in class monitor.Condition

I

invariant() - Method in class monitor.AbstractMonitor

The invariant.

invariant() - Method in class monitor.Monitor

isEmpty() - Method in class monitor.Condition

Test if any thread is waiting on this condition.

isTrue() - Method in class monitor.Assertion

This method says whether the assertion is true.

isTrue() - Method in class monitor.True_Assertion

Returns true.

L

leave() - Method in class monitor.AbstractMonitor

Leave the monitor.

leave(T) - Method in class monitor.AbstractMonitor

Leave the monitor.

leave() - Method in class monitor.Monitor

leave(T) - Method in class monitor.Monitor

leaveMonitor(AbstractMonitor) - Method in interface monitor.MonitorListener

M

makeCondition(Assertion) - Method in class monitor.AbstractMonitor

Create a condition queue associated with a checked Assertion.

makeCondition() - Method in class monitor.AbstractMonitor

Create a condition queue with no associated checked Assertion.

makeCondition(String, Assertion) - Method in class monitor.AbstractMonitor

Create a condition queue associated with a checked Assertion.

makeCondition(String) - Method in class monitor.AbstractMonitor

Create a condition queue with no associated checked Assertion.

makeCondition() - Method in class monitor.Monitor

makeCondition(Assertion) - Method in class monitor.Monitor

makeCondition(String) - Method in class monitor.Monitor

makeCondition(String, Assertion) - Method in class monitor.Monitor

message - Variable in class monitor.Assertion

monitor - package monitor

Monitor - Class in monitor

A final class for Monitors.

Monitor() - Constructor for class monitor.Monitor

Monitor(Assertion) - Constructor for class monitor.Monitor

Monitor(String) - Constructor for class monitor.Monitor

Monitor(String, Assertion) - Constructor for class monitor.Monitor

MonitorListener - Interface in monitor

N

nameThisThread(String) - Method in interface monitor.MonitorListener

R

release() - Method in class monitor.Semaphore

The V operation

returnFromAwait(Condition, AbstractMonitor) - Method in interface monitor.MonitorListener

returnFromEnterMonitor(AbstractMonitor) - Method in interface monitor.MonitorListener

run() - Method in interface monitor.RunnableWithResult

RunnableWithResult<T> - Interface in monitor

S

Semaphore - Class in monitor

A FIFO semaphore.

Semaphore(int) - Constructor for class monitor.Semaphore

Initialize the semaphore to a value greater or equal to 0

signal() - Method in class monitor.Condition

Signal this condition if there is a waiting thread.

signalAndLeave() - Method in class monitor.Condition

Allows one thread which was waiting on the condition to reenter the monitor.

signalAndLeave(T) - Method in class monitor.Condition

Signal if there is a waiting thread, then leave the monitor.

signallerAwakesAwaitingThread(Condition, AbstractMonitor) - Method in interface monitor.MonitorListener

signallerLeavesMonitor(Condition, AbstractMonitor) - Method in interface monitor.MonitorListener

signallerLeavesTemporarily(Condition, AbstractMonitor) - Method in interface monitor.MonitorListener

signallerReenters(Condition, AbstractMonitor) - Method in interface monitor.MonitorListener

singleton - Static variable in class monitor.True_Assertion

T

True_Assertion - Class in monitor

An assertion that is always true.

True_Assertion() - Constructor for class monitor.True_Assertion

A C D E G I L M N R S T