public class Monitor
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
class |
Monitor.Cond
Conditions.
|
Constructor and Description |
---|
Monitor()
Monitor constructor.
|
Modifier and Type | Method and Description |
---|---|
void |
enter()
Enters the monitor.
|
void |
leave()
Leaves the monitor.
|
Monitor.Cond |
newCond()
Returns a new condition associated to this monitor.
|
void |
setMeanSleepAfterAwait(int ms)
If the parameter is greater than 0 more arbitrary interleavings
will be introduced.
|
public Monitor()
public void setMeanSleepAfterAwait(int ms)
public void enter()
public void leave()
public Monitor.Cond newCond()