|
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 |
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 * |
|
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 |