|
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 ASTDecoration | |
escjava.ast | |
escjava.pa | |
escjava.parser | |
escjava.tc | |
escjava.translate | |
javafe.tc |
Uses of ASTDecoration in escjava.ast |
Subclasses of ASTDecoration in escjava.ast | |
static class |
Utils.BooleanDecoration
|
Fields in escjava.ast declared as ASTDecoration | |
static ASTDecoration |
Utils.exceptionDecoration
|
static ASTDecoration |
Utils.axiomDecoration
|
static ASTDecoration |
Utils.representsDecoration
|
static ASTDecoration |
Utils.owningDecl
|
static ASTDecoration |
Utils.allSpecs
|
static ASTDecoration |
Utils.inheritedSpecs
|
Uses of ASTDecoration in escjava.pa |
Fields in escjava.pa declared as ASTDecoration | |
static ASTDecoration |
PredicateAbstraction.paDecoration
|
Uses of ASTDecoration in escjava.parser |
Fields in escjava.parser declared as ASTDecoration | |
static ASTDecoration |
EscPragmaParser.informalPredicateDecoration
The informal-predicate decoration is associated with a true-valued boolean literal expression, if the concrete syntax of this expression was an informal comment. |
Uses of ASTDecoration in escjava.tc |
Fields in escjava.tc declared as ASTDecoration | |
static ASTDecoration |
FlowInsensitiveChecks.envDecoration
|
static ASTDecoration |
FlowInsensitiveChecks.staticenvDecoration
|
private static ASTDecoration |
Datagroups.datagroups
|
Uses of ASTDecoration in escjava.translate |
Fields in escjava.translate declared as ASTDecoration | |
static ASTDecoration |
Translate.inlineDecoration
Describes what aspects of an inlined call to check and what aspects to either assert or simply ignore. |
(package private) static ASTDecoration |
Purity.translateDecoration
Decorates VarInit nodes with purity information.
|
private static ASTDecoration |
Inner.enclosingInstanceDecoration
* Decorates TypeSig nodes to point to their enclosing instance * field (this$0). |
private static ASTDecoration |
Inner.enclosingInstanceArgument
* Decorates ConstructorDecl nodes to point to their enclosing-instance- * field argument (this$0arg). |
private static ASTDecoration |
GetSpec.dmdDecoration
|
private static ASTDecoration |
GetSpec.nonnullDecoration
* Decorates GenericVarDecl 's to point to * NonNullPragmas
(SimpleModifierPragma's). |
Uses of ASTDecoration in javafe.tc |
Fields in javafe.tc declared as ASTDecoration | |
static ASTDecoration |
TypeSig.sigDecoration
Decorates TypeDecl nodes to point to
TypeSig objects. |
private static ASTDecoration |
PrepTypeDeclaration.overridesDecoration
|
private static ASTDecoration |
FlowInsensitiveChecks.typeDecoration
Decorates VarInit nodes to point to Type objects. |
private static ASTDecoration |
FlowInsensitiveChecks.branchDecoration
Decorates BranchStmt nodes to point to labelled Stmt
objects. |
static ASTDecoration |
Env.typeEnv
decoration holding the type environment in which a type is resolved. |
protected static ASTDecoration |
Env.whereDecoration
Decorates LocalVarDecl and FormalParaDecl nodes to point to the TypeSig of the type they are declared in. |
private static ASTDecoration |
CheckCompilationUnit.checkedField
A new field for CompilationUnits: iff it is non-null then we have already checked that CompilationUnit. |
|
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 |