|
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 ModifiesGroupPragma | |
escjava | |
escjava.ast |
Uses of ModifiesGroupPragma in escjava |
Methods in escjava that return ModifiesGroupPragma | |
static ModifiesGroupPragma |
AnnotationHandler.defaultModifies(int loc,
Expr req,
RoutineDecl rd)
|
Uses of ModifiesGroupPragma in escjava.ast |
Fields in escjava.ast declared as ModifiesGroupPragma | |
private ModifiesGroupPragma[] |
ModifiesGroupPragmaVec.elements
* Instance fields: * * |
Methods in escjava.ast that return ModifiesGroupPragma | |
ModifiesGroupPragma |
ModifiesGroupPragmaVec.elementAt(int index)
* Other methods: * * |
ModifiesGroupPragma[] |
ModifiesGroupPragmaVec.toArray()
|
ModifiesGroupPragma |
ModifiesGroupPragmaVec.pop()
|
static ModifiesGroupPragma |
ModifiesGroupPragma.make(int tag,
int loc)
|
ModifiesGroupPragma |
ModifiesGroupPragma.append(ModifiesGroupPragma m)
|
ModifiesGroupPragma |
ModifiesGroupPragma.append(CondExprModifierPragmaVec ev)
|
static ModifiesGroupPragma |
ModifiesGroupPragma.make(int tag,
CondExprModifierPragmaVec items,
Expr precondition,
int clauseLoc)
|
Methods in escjava.ast with parameters of type ModifiesGroupPragma | |
abstract java.lang.Object |
VisitorArgResult.visitModifiesGroupPragma(ModifiesGroupPragma x,
java.lang.Object o)
|
abstract void |
Visitor.visitModifiesGroupPragma(ModifiesGroupPragma x)
|
static ModifiesGroupPragmaVec |
ModifiesGroupPragmaVec.make(ModifiesGroupPragma[] els)
|
void |
ModifiesGroupPragmaVec.setElementAt(ModifiesGroupPragma x,
int index)
|
boolean |
ModifiesGroupPragmaVec.contains(ModifiesGroupPragma x)
|
void |
ModifiesGroupPragmaVec.addElement(ModifiesGroupPragma x)
|
boolean |
ModifiesGroupPragmaVec.removeElement(ModifiesGroupPragma x)
|
void |
ModifiesGroupPragmaVec.insertElementAt(ModifiesGroupPragma obj,
int index)
|
ModifiesGroupPragma |
ModifiesGroupPragma.append(ModifiesGroupPragma m)
|
Constructors in escjava.ast with parameters of type ModifiesGroupPragma | |
ModifiesGroupPragmaVec(ModifiesGroupPragma[] els)
* Private constructors: * * |
|
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 |