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
javafe.ast.ModifierPragma

Packages that use ModifierPragma
escjava |
escjava.ast |
escjava.parser |
escjava.tc |
javafe.ast |
javafe.tc |

Uses of ModifierPragma in escjava

Fields in escjava declared as ModifierPragma
`ModifierPragma` | `ParsedRoutineSpecs.initialAlso`
`private static ModifierPragma` | `AnnotationHandler.heavyweightFlag`

Methods in escjava that return ModifierPragma
`ModifierPragma` | `AnnotationHandler.forallWrap(GenericVarDeclVec foralls, ModifierPragma mp)`

Methods in escjava with parameters of type ModifierPragma
`static void` | `AnnotationHandler.printSpec(ModifierPragma mp)`
`ModifierPragma` | `AnnotationHandler.forallWrap(GenericVarDeclVec foralls, ModifierPragma mp)`
`int` | `AnnotationHandler.NestedPragmaParser.parseAlsoSeq(int pos, ModifierPragmaVec pm, int behaviorMode, ModifierPragma behavior, java.util.ArrayList result)`
`int` | `AnnotationHandler.NestedPragmaParser.parseSeq(int pos, ModifierPragmaVec pm, int behaviorMode, ModifierPragma behavior, ModifierPragmaVec result)`

Uses of ModifierPragma in escjava.ast

Subclasses of ModifierPragma in escjava.ast
`class` | `CondExprModifierPragma`
`class` | `ExprModifierPragma`
`class` | `IdentifierModifierPragma`
`class` | `MapsExprModifierPragma`
`class` | `ModelProgamModifierPragma`
`class` | `ModifiesGroupPragma`
`class` | `NestedModifierPragma`
`class` | `ParsedSpecs`
`class` | `ReachModifierPragma`
`class` | `SimpleModifierPragma`
`class` | `VarDeclModifierPragma`
`class` | `VarExprModifierPragma`

Methods in escjava.ast that return ModifierPragma
`static ModifierPragma` | `Utils.findModifierPragma(GenericVarDecl vdecl, int tag)` Finds and returns the first modifier pragma of `vdecl` that has the tag `tag`, if any.
`static ModifierPragma` | `Utils.findModifierPragma(ModifierPragmaVec mp, int tag)`
`static ModifierPragma` | `Utils.findPurePragma(RoutineDecl rd)`

Methods in escjava.ast with parameters of type ModifierPragma
`void` | `EscPrettyPrint.print(java.io.OutputStream o, int ind, ModifierPragma mp)`

Uses of ModifierPragma in escjava.parser

Fields in escjava.parser declared as ModifierPragma
`(package private) ModifierPragma` | `EscPragmaParser.savedGhostModelPragma`

Uses of ModifierPragma in escjava.tc

Methods in escjava.tc with parameters of type ModifierPragma
`protected Env` | `FlowInsensitiveChecks.checkModifierPragma(ModifierPragma p, ASTNode ctxt, Env env)`

Uses of ModifierPragma in javafe.ast

Fields in javafe.ast declared as ModifierPragma
`private ModifierPragma[]` | `ModifierPragmaVec.elements` * Instance fields: * *

Methods in javafe.ast that return ModifierPragma
`ModifierPragma` | `ModifierPragmaVec.elementAt(int index)` * Other methods: * *
`ModifierPragma[]` | `ModifierPragmaVec.toArray()`
`ModifierPragma` | `ModifierPragmaVec.pop()`
`ModifierPragma` | `ModifierPragma.setOriginalTag(int t)`

Methods in javafe.ast with parameters of type ModifierPragma
`java.lang.Object` | `VisitorArgResult.visitModifierPragma(ModifierPragma x, java.lang.Object o)`
`void` | `Visitor.visitModifierPragma(ModifierPragma x)`
`void` | `StandardPrettyPrint.print(java.io.OutputStream o, int ind, ModifierPragma mp)`
`abstract void` | `PrettyPrint.print(java.io.OutputStream o, int ind, ModifierPragma mp)` Print a member or static initializer of a type declaration.
`static ModifierPragmaVec` | `ModifierPragmaVec.make(ModifierPragma[] els)`
`void` | `ModifierPragmaVec.setElementAt(ModifierPragma x, int index)`
`boolean` | `ModifierPragmaVec.contains(ModifierPragma x)`
`void` | `ModifierPragmaVec.addElement(ModifierPragma x)`
`boolean` | `ModifierPragmaVec.removeElement(ModifierPragma x)`
`void` | `ModifierPragmaVec.insertElementAt(ModifierPragma obj, int index)`
`void` | `DelegatingPrettyPrint.print(java.io.OutputStream o, int ind, ModifierPragma mp)`
`void` | `DefaultVisitor.visitModifierPragma(ModifierPragma x)`

Constructors in javafe.ast with parameters of type ModifierPragma
`ModifierPragmaVec(ModifierPragma[] els)` * Private constructors: * *

Uses of ModifierPragma in javafe.tc

Methods in javafe.tc with parameters of type ModifierPragma
`protected Env` | `FlowInsensitiveChecks.checkModifierPragma(ModifierPragma p, ASTNode ctxt, Env env)` Hook to do additional processing on `Modifier`s.

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