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

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