ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

Uses of Class
escjava.ast.Condition

Packages that use Condition
escjava.ast   
escjava.translate   
 

Uses of Condition in escjava.ast
 

Fields in escjava.ast declared as Condition
private  Condition[] ConditionVec.elements
          * Instance fields: * *
 

Methods in escjava.ast that return Condition
 Condition ConditionVec.elementAt(int index)
          * Other methods: * *
 Condition[] ConditionVec.toArray()
           
 Condition ConditionVec.pop()
           
static Condition Condition.make(int label, Expr pred, int locPragmaDecl)
           
 

Methods in escjava.ast with parameters of type Condition
abstract  java.lang.Object VisitorArgResult.visitCondition(Condition x, java.lang.Object o)
           
abstract  void Visitor.visitCondition(Condition x)
           
 void EscPrettyPrint.printCond(java.io.OutputStream o, int ind, Condition cond)
           
static ConditionVec ConditionVec.make(Condition[] els)
           
 void ConditionVec.setElementAt(Condition x, int index)
           
 boolean ConditionVec.contains(Condition x)
           
 void ConditionVec.addElement(Condition x)
           
 boolean ConditionVec.removeElement(Condition x)
           
 void ConditionVec.insertElementAt(Condition obj, int index)
           
 

Constructors in escjava.ast with parameters of type Condition
ConditionVec(Condition[] els)
          * Private constructors: * *
 

Uses of Condition in escjava.translate
 

Methods in escjava.translate that return Condition
static Condition GC.condition(int label, Expr pred, int locPragmaDecl)
           
static Condition GC.freeCondition(Expr pred, int locPragmaDecl)
           
static Condition GC.assumeCondition(Expr pred, int locPragmaDecl)
           
 

Methods in escjava.translate with parameters of type Condition
private  void Translate.addCheck(int locUse, Condition cond)
          Calls GC.check to create a check and appends the result to code.
static GuardedCmd GC.check(int locUse, Condition cond)
          See description of check above.
static GuardedCmd GC.check(int locUse, Condition cond, java.lang.Object aux)
          See description of check above.
 


ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

The ESC/Java2 Project Homepage