|
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 |
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 |
||||||||||
PREV NEXT | FRAMES NO FRAMES |