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

Uses of Class
escjava.ast.ModifiesGroupPragma

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

The ESC/Java2 Project Homepage