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

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

Uses of VarExprModifierPragma in escjava

Methods in escjava that return VarExprModifierPragma
`static VarExprModifierPragma` | `AnnotationHandler.defaultSignalsOnly(RoutineDecl tde, Expr req)`

Uses of VarExprModifierPragma in escjava.ast

Fields in escjava.ast declared as VarExprModifierPragma
`private VarExprModifierPragma[]` | `VarExprModifierPragmaVec.elements` * Instance fields: * *

Methods in escjava.ast that return VarExprModifierPragma
`VarExprModifierPragma` | `VarExprModifierPragmaVec.elementAt(int index)` * Other methods: * *
`VarExprModifierPragma[]` | `VarExprModifierPragmaVec.toArray()`
`VarExprModifierPragma` | `VarExprModifierPragmaVec.pop()`
`static VarExprModifierPragma` | `VarExprModifierPragma.make(int tag, GenericVarDecl arg, Expr expr, int loc)`

Methods in escjava.ast with parameters of type VarExprModifierPragma
`abstract java.lang.Object` | `VisitorArgResult.visitVarExprModifierPragma(VarExprModifierPragma x, java.lang.Object o)`
`abstract void` | `Visitor.visitVarExprModifierPragma(VarExprModifierPragma x)`
`static VarExprModifierPragmaVec` | `VarExprModifierPragmaVec.make(VarExprModifierPragma[] els)`
`void` | `VarExprModifierPragmaVec.setElementAt(VarExprModifierPragma x, int index)`
`boolean` | `VarExprModifierPragmaVec.contains(VarExprModifierPragma x)`
`void` | `VarExprModifierPragmaVec.addElement(VarExprModifierPragma x)`
`boolean` | `VarExprModifierPragmaVec.removeElement(VarExprModifierPragma x)`
`void` | `VarExprModifierPragmaVec.insertElementAt(VarExprModifierPragma obj, int index)`

Constructors in escjava.ast with parameters of type VarExprModifierPragma
`VarExprModifierPragmaVec(VarExprModifierPragma[] els)` * Private constructors: * *

Uses of VarExprModifierPragma in escjava.translate

Methods in escjava.translate that return VarExprModifierPragma
`private static VarExprModifierPragma` | `GetSpec.doSubst(java.util.Hashtable subst, VarExprModifierPragma vemp)` Perform a substitution on a VarExprModifierPragma *

Methods in escjava.translate with parameters of type VarExprModifierPragma
`private static VarExprModifierPragma` | `GetSpec.doSubst(java.util.Hashtable subst, VarExprModifierPragma vemp)` Perform a substitution on a VarExprModifierPragma *

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