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

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

Uses of ExprModifierPragma in escjava

Methods in escjava that return ExprModifierPragma
`static ExprModifierPragma` | `AnnotationHandler.and(ExprModifierPragma e1, ExprModifierPragma e2)` Produces an ExprModifierPragma whose expression is the conjunction of the expressions in the input pragmas.
`static ExprModifierPragma` | `AnnotationHandler.and(java.util.ArrayList a)` Produces an ExprModifierPragma whose expression is the conjunction of all of the expressions in the ExprModifierPragmas in the argument.
`static ExprModifierPragma` | `AnnotationHandler.andLabeled(java.util.ArrayList a)` The same as and(ArrayList), but produces labelled expressions within the conjunction so that error messages come out with useful locations.
`static ExprModifierPragma` | `AnnotationHandler.or(ExprModifierPragma e1, ExprModifierPragma e2)` Produces an ExprModifierPragma whose expression is the disjunction of the expressions in the input pragmas.
`static ExprModifierPragma` | `AnnotationHandler.or(java.util.ArrayList a)` Produces an ExprModifierPragma whose expression is the disjunction of all of the expressions in the ExprModifierPragmas in the argument.

Methods in escjava with parameters of type ExprModifierPragma
`static ExprModifierPragma` | `AnnotationHandler.and(ExprModifierPragma e1, ExprModifierPragma e2)` Produces an ExprModifierPragma whose expression is the conjunction of the expressions in the input pragmas.
`static ExprModifierPragma` | `AnnotationHandler.or(ExprModifierPragma e1, ExprModifierPragma e2)` Produces an ExprModifierPragma whose expression is the disjunction of the expressions in the input pragmas.

Uses of ExprModifierPragma in escjava.ast

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

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

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

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

Uses of ExprModifierPragma in escjava.translate

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

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

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