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

Packages that use CondExprModifierPragmaVec
escjava.ast |
escjava.translate |

Uses of CondExprModifierPragmaVec in escjava.ast

Fields in escjava.ast declared as CondExprModifierPragmaVec
`CondExprModifierPragmaVec` | `ModifiesGroupPragma.items`

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

Methods in escjava.ast with parameters of type CondExprModifierPragmaVec
`ModifiesGroupPragma` | `ModifiesGroupPragma.append(CondExprModifierPragmaVec ev)`
`static ModifiesGroupPragma` | `ModifiesGroupPragma.make(int tag, CondExprModifierPragmaVec items, Expr precondition, int clauseLoc)`
`void` | `CondExprModifierPragmaVec.append(CondExprModifierPragmaVec vec)`

Uses of CondExprModifierPragmaVec in escjava.translate

Fields in escjava.translate declared as CondExprModifierPragmaVec
`private CondExprModifierPragmaVec` | `Frame.ModifiesIterator.mp` The set of store-ref locations over which to iterate.

Constructors in escjava.translate with parameters of type CondExprModifierPragmaVec
`Frame.ModifiesIterator(TypeDecl td, CondExprModifierPragmaVec mp, boolean expandDatagroups)` Creates an iterator over the store-ref locations in the CondExprModifierPragmaVec.
`Frame.ModifiesIterator(TypeDecl td, CondExprModifierPragmaVec mp, boolean expandDatagroups, boolean expandWild)` Creates an iterator over the store-ref locations in the CondExprModifierPragmaVec.

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