Uses of Class
javafe.ast.ASTDecoration

Packages that use ASTDecoration

escjava.ast
escjava.pa
escjava.parser
escjava.tc
escjava.translate
javafe.parser
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.parser

Fields in javafe.parser declared as ASTDecoration

private static ASTDecoration	ParseUtil.universeDecoration
private static ASTDecoration	ParseUtil.elementUniverseDecoration

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.