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
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 Modifiers.
 


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