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

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

Uses of ExprModifierPragmaVec in escjava.ast

Fields in escjava.ast declared as ExprModifierPragmaVec
`ExprModifierPragmaVec` | `DerivedMethodDecl.requires`
`ExprModifierPragmaVec` | `DerivedMethodDecl.ensures`

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

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

Uses of ExprModifierPragmaVec in escjava.translate

Methods in escjava.translate that return ExprModifierPragmaVec
`private static ExprModifierPragmaVec` | `GetSpec.filterExprModPragmas(ExprModifierPragmaVec vec, FindContributors scope)`

Methods in escjava.translate with parameters of type ExprModifierPragmaVec
`private static ExprModifierPragmaVec` | `GetSpec.filterExprModPragmas(ExprModifierPragmaVec vec, FindContributors scope)`

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