Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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

## 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.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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

The ESC/Java2 Project Homepage