Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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

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

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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

The ESC/Java2 Project Homepage