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