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

Packages that use ExprStmtPragmaVec
escjava.ast |
escjava.tc |
escjava.translate |

Uses of ExprStmtPragmaVec in escjava.ast

Methods in escjava.ast that return ExprStmtPragmaVec
`static ExprStmtPragmaVec` | `ExprStmtPragmaVec.make()` * Public maker methods: * *
`static ExprStmtPragmaVec` | `ExprStmtPragmaVec.make(int count)`
`static ExprStmtPragmaVec` | `ExprStmtPragmaVec.make(java.util.Vector vec)`
`static ExprStmtPragmaVec` | `ExprStmtPragmaVec.make(ExprStmtPragma[] els)`
`static ExprStmtPragmaVec` | `ExprStmtPragmaVec.popFromStackVector(StackVector s)`
`ExprStmtPragmaVec` | `ExprStmtPragmaVec.copy()`

Methods in escjava.ast with parameters of type ExprStmtPragmaVec
`void` | `ExprStmtPragmaVec.append(ExprStmtPragmaVec vec)`

Uses of ExprStmtPragmaVec in escjava.tc

Fields in escjava.tc declared as ExprStmtPragmaVec
`protected ExprStmtPragmaVec` | `FlowInsensitiveChecks.loopInvariants` Contains the loop invariant statement pragmas seen so far and not yet processed.
`protected ExprStmtPragmaVec` | `FlowInsensitiveChecks.loopDecreases` Contains the loop decreases statement pragmas seen so far and not yet processed.
`protected ExprStmtPragmaVec` | `FlowInsensitiveChecks.loopPredicates`

Uses of ExprStmtPragmaVec in escjava.translate

Fields in escjava.translate declared as ExprStmtPragmaVec
`private ExprStmtPragmaVec` | `Translate.loopinvariants` List of loop invariant pragmas seen so far (and not yet used) within the current method.
`private ExprStmtPragmaVec` | `Translate.loopDecreases` List of loop decreases pragmas seen so far (and not yet used) within the current method.
`private ExprStmtPragmaVec` | `Translate.loopPredicates`

Methods in escjava.translate with parameters of type ExprStmtPragmaVec
`private void` | `Translate.makeLoop(int sLoop, int eLoop, int locHotspot, GenericVarDeclVec tempVars, GuardedCmd guard, GuardedCmd body, ExprStmtPragmaVec J, ExprStmtPragmaVec decreases, LocalVarDeclVec skolemConsts, ExprStmtPragmaVec P, Expr label)` Appends to `code` commands that make up a loop with nominal body `guard;body`, where `label` is raised within `body` to terminate the loop.

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