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

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

The ESC/Java2 Project Homepage