Uses of Class
monitor.Assertion

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)