|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of Assertion in monitor |
---|
Subclasses of Assertion in monitor | |
---|---|
class |
True_Assertion
An assertion that is always true. |
Methods in monitor with parameters of type Assertion | |
---|---|
Condition |
Monitor.makeCondition(Assertion assertion)
|
protected Condition |
AbstractMonitor.makeCondition(Assertion prop)
Create a condition queue associated with a checked Assertion. |
Condition |
Monitor.makeCondition(java.lang.String name,
Assertion assertion)
|
protected Condition |
AbstractMonitor.makeCondition(java.lang.String name,
Assertion prop)
Create a condition queue associated with a checked Assertion. |
Constructors in monitor with parameters of type Assertion | |
---|---|
Monitor(Assertion invariant)
|
|
Monitor(java.lang.String name,
Assertion invariant)
|
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |