|
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 CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectescjava.ast.Utils
Nested Class Summary | |
static class |
Utils.BooleanDecoration
|
Field Summary | |
private static Utils.BooleanDecoration |
allocatesDecoration
|
static ASTDecoration |
allSpecs
|
static ASTDecoration |
axiomDecoration
|
static Utils.BooleanDecoration |
ensuresDecoration
|
static ASTDecoration |
exceptionDecoration
|
private static Utils.BooleanDecoration |
functionDecoration
|
private static Utils.BooleanDecoration |
immutableDecoration
|
static ASTDecoration |
inheritedSpecs
|
static ASTDecoration |
owningDecl
|
private static Utils.BooleanDecoration |
pureDecoration
|
static ASTDecoration |
representsDecoration
|
Constructor Summary | |
Utils()
|
Method Summary | |
static ModifierPragmaVec |
addInheritedSpecs(RoutineDecl rd,
ModifierPragmaVec mp)
|
static ModifierPragma |
findModifierPragma(GenericVarDecl vdecl,
int tag)
Finds and returns the first modifier pragma of vdecl
that has the tag tag , if any. |
static ModifierPragma |
findModifierPragma(ModifierPragmaVec mp,
int tag)
|
static ModifierPragma |
findPurePragma(RoutineDecl rd)
|
static ModifierPragmaVec |
getAllSpecs(RoutineDecl rd)
|
static ModifierPragmaVec |
getInheritedSpecs(RoutineDecl rd)
|
static boolean |
isAllocates(RoutineDecl rd)
|
static boolean |
isFunction(RoutineDecl rd)
|
static boolean |
isImmutable(TypeDecl cd)
|
static boolean |
isModel(Expr e)
|
static boolean |
isModel(FieldDecl fd)
|
static boolean |
isModel(ModifierPragmaVec m)
|
static boolean |
isPure(RoutineDecl rd)
|
static void |
removeModifierPragma(GenericVarDecl vdecl,
int tag)
|
static void |
removeModifierPragma(ModifierPragmaVec p,
int tag)
|
static void |
setPure(RoutineDecl rd)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
private static Utils.BooleanDecoration pureDecoration
private static final Utils.BooleanDecoration immutableDecoration
public static final Utils.BooleanDecoration ensuresDecoration
private static final Utils.BooleanDecoration allocatesDecoration
private static final Utils.BooleanDecoration functionDecoration
public static final ASTDecoration exceptionDecoration
public static final ASTDecoration axiomDecoration
public static final ASTDecoration representsDecoration
public static final ASTDecoration owningDecl
public static final ASTDecoration allSpecs
public static final ASTDecoration inheritedSpecs
Constructor Detail |
public Utils()
Method Detail |
public static ModifierPragma findModifierPragma(GenericVarDecl vdecl, int tag)
vdecl
that has the tag tag
, if any. If none, returns
null
.
Note, if you want to know whether a variable is
non_null
, use method NonNullPragma
instead, for it properly handles inheritance of
non_null
pragmas.
public static ModifierPragma findModifierPragma(ModifierPragmaVec mp, int tag)
public static void removeModifierPragma(GenericVarDecl vdecl, int tag)
public static void removeModifierPragma(ModifierPragmaVec p, int tag)
public static boolean isModel(FieldDecl fd)
public static boolean isModel(ModifierPragmaVec m)
public static boolean isModel(Expr e)
public static boolean isPure(RoutineDecl rd)
public static void setPure(RoutineDecl rd)
public static ModifierPragma findPurePragma(RoutineDecl rd)
public static boolean isImmutable(TypeDecl cd)
public static boolean isAllocates(RoutineDecl rd)
public static boolean isFunction(RoutineDecl rd)
public static ModifierPragmaVec getAllSpecs(RoutineDecl rd)
public static ModifierPragmaVec getInheritedSpecs(RoutineDecl rd)
public static ModifierPragmaVec addInheritedSpecs(RoutineDecl rd, ModifierPragmaVec mp)
|
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 CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |