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