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.tc.Env

Packages that use Env
escjava.tc |
javafe.tc |

Uses of Env in escjava.tc

Subclasses of Env in escjava.tc
`class` | `EnvForGhostLocals` EnvForGhostLocals are used to extend an existing Env with one new local binding, either a local variable definition or a formal parameter.
`class` | `GhostEnv` This class overrides `EnvForTypeSig` so that it "sees" ghost and model fields if `FlowInsensitiveChecks.inAnnotation` is `true`.

Fields in escjava.tc declared as Env
`protected Env` | `EnvForGhostLocals.parent` Our parent environment

Methods in escjava.tc that return Env
`Env` | `GhostEnv.asStaticContext()` Returns a new `Env` that acts the same as us, except that its current instance (if any) is not accessible.
`protected Env` | `FlowInsensitiveChecks.checkStmt(Env env, Stmt s)`
`protected Env` | `FlowInsensitiveChecks.checkSkolemConstants(Env env, boolean allowed)`
`protected Env` | `FlowInsensitiveChecks.checkModifierPragma(ModifierPragma p, ASTNode ctxt, Env env)`
`protected Env` | `FlowInsensitiveChecks.checkStmtPragma(Env e, StmtPragma s)`
`Env` | `EnvForGhostLocals.asStaticContext()` Returns a new Env that acts the same as us, except that its current instance (if any) is not accessible.

Methods in escjava.tc with parameters of type Env
`protected TypeSig` | `Types.makeTypeSigInstance(java.lang.String simpleName, Env enclosingEnv, TypeDecl decl)`
`protected Env` | `FlowInsensitiveChecks.checkStmt(Env env, Stmt s)`
`protected void` | `FlowInsensitiveChecks.checkLoopInvariants(Env env, boolean allowed)`
`protected void` | `FlowInsensitiveChecks.checkLoopDecreases(Env env, boolean allowed)`
`protected void` | `FlowInsensitiveChecks.checkLoopPredicates(Env env, boolean allowed)`
`protected Env` | `FlowInsensitiveChecks.checkSkolemConstants(Env env, boolean allowed)`
`protected Expr` | `FlowInsensitiveChecks.checkPredicate(Env env, Expr e)`
`protected Expr` | `FlowInsensitiveChecks.checkExpr(Env env, Expr e)`
`protected Env` | `FlowInsensitiveChecks.checkModifierPragma(ModifierPragma p, ASTNode ctxt, Env env)`
`protected Env` | `FlowInsensitiveChecks.checkStmtPragma(Env e, StmtPragma s)`

Constructors in escjava.tc with parameters of type Env
`TypeSig(java.lang.String simpleName, Env enclosingEnv, TypeDecl decl)`
`GhostEnv(Env parent, TypeSig peer, boolean staticContext)`
`EnvForGhostLocals(Env parent, GenericVarDecl decl)` Create a environment from an existing one by adding a new local binding.

Uses of Env in javafe.tc

Subclasses of Env in javafe.tc
`class` | `EnvForCU` EnvForCUs are used to create an Env for a CompilationUnit.
`class` | `EnvForEnclosedScope` EnvForLocals are used to extend an existing Env with one new local type binding.
`class` | `EnvForLocals` EnvForLocals are used to extend an existing Env with one new local binding, either a local variable definition or a formal parameter.
`class` | `EnvForLocalType` EnvForLocals are used to extend an existing Env with one new local type binding.
`class` | `EnvForTypeSig` EnvForTypeSigs are used to extend an existing Env with the bindings of a TypeSig.

Fields in javafe.tc declared as Env
`protected Env` | `TypeSig.enclosingEnv` Our enclosing Env; may be null for member types because of laziness.
`protected Env` | `EnvForTypeSig.parent` Our parent environment
`protected Env` | `EnvForLocalType.parent` Our parent environment
`protected Env` | `EnvForLocals.parent` Our parent environment
`protected Env` | `EnvForEnclosedScope.parent` Our parent environment

Methods in javafe.tc that return Env
`Env` | `TypeSig.getEnclosingEnv()` Return our enclosing environment.
`protected Env` | `FlowInsensitiveChecks.checkStmt(Env e, Stmt s)` Typecheck a statement in a given environment then return the environment in effect for statements that follow the given statement.
`protected Env` | `FlowInsensitiveChecks.checkStmtVec(Env env, StmtVec v)`
`protected Env` | `FlowInsensitiveChecks.checkModifierPragmaVec(ModifierPragmaVec v, ASTNode ctxt, Env env)` Hook to do additional processing on `ModifierVec`s.
`protected Env` | `FlowInsensitiveChecks.checkModifierPragma(ModifierPragma p, ASTNode ctxt, Env env)` Hook to do additional processing on `Modifier`s.
`protected Env` | `FlowInsensitiveChecks.checkStmtPragma(Env e, StmtPragma s)`
`protected Env` | `FlowInsensitiveChecks.checkTypeModifierPragmaVec(TypeModifierPragmaVec v, ASTNode ctxt, Env env)`
`protected Env` | `FlowInsensitiveChecks.checkTypeModifierPragma(TypeModifierPragma p, ASTNode ctxt, Env env)`
`protected Env` | `FlowInsensitiveChecks.checkTypeModifiers(Env env, Type t)` This may be called more than once on a Type t.
`Env` | `EnvForTypeSig.asStaticContext()` Returns a new Env that acts the same as us, except that its current instance (if any) is not accessible.
`Env` | `EnvForLocalType.asStaticContext()` Returns a new Env that acts the same as us, except that its current instance (if any) is not accessible.
`Env` | `EnvForLocals.asStaticContext()` Returns a new Env that acts the same as us, except that its current instance (if any) is not accessible.
`Env` | `EnvForEnclosedScope.asStaticContext()` Returns a new Env that acts the same as us, except that its current instance (if any) is not accessible.
`Env` | `EnvForCU.asStaticContext()` Returns a new Env that acts the same as us, except that its current instance (if any) is not accessible.
`abstract Env` | `Env.asStaticContext()` Returns a new Env that acts the same as us, except that its current instance (if any) is not accessible.

Methods in javafe.tc with parameters of type Env
`static TypeSig` | `Types.makeTypeSig(java.lang.String simpleName, Env enclosingEnv, TypeDecl decl)` Factory method for TypeSig structures
`protected TypeSig` | `Types.makeTypeSigInstance(java.lang.String simpleName, Env enclosingEnv, TypeDecl decl)`
`TypeSig` | `PrepTypeDeclaration.processTypeNameAnnotations(TypeName tn, TypeSig sig, Env env)`
`protected Env` | `FlowInsensitiveChecks.checkStmt(Env e, Stmt s)` Typecheck a statement in a given environment then return the environment in effect for statements that follow the given statement.
`protected void` | `FlowInsensitiveChecks.checkForLoopAfterInit(Env se, ForStmt f)`
`protected Env` | `FlowInsensitiveChecks.checkStmtVec(Env env, StmtVec v)`
`protected Type[]` | `FlowInsensitiveChecks.checkExprVec(Env env, ExprVec ev)`
`protected VarInit` | `FlowInsensitiveChecks.checkInit(Env env, VarInit x, Type expectedResult)`
`protected Expr` | `FlowInsensitiveChecks.checkDesignator(Env env, Expr e)`
`protected Expr` | `FlowInsensitiveChecks.checkExpr(Env env, Expr expr, Type t)`
`protected Expr` | `FlowInsensitiveChecks.checkExpr(Env env, Expr x)` This method should call `setType` on `x` before its done.
`protected Type` | `FlowInsensitiveChecks.checkObjectDesignator(Env env, ObjectDesignator od)`
`protected Env` | `FlowInsensitiveChecks.checkModifierPragmaVec(ModifierPragmaVec v, ASTNode ctxt, Env env)` Hook to do additional processing on `ModifierVec`s.
`protected Env` | `FlowInsensitiveChecks.checkModifierPragma(ModifierPragma p, ASTNode ctxt, Env env)` Hook to do additional processing on `Modifier`s.
`protected Env` | `FlowInsensitiveChecks.checkStmtPragma(Env e, StmtPragma s)`
`protected Env` | `FlowInsensitiveChecks.checkTypeModifierPragmaVec(TypeModifierPragmaVec v, ASTNode ctxt, Env env)`
`protected Env` | `FlowInsensitiveChecks.checkTypeModifierPragma(TypeModifierPragma p, ASTNode ctxt, Env env)`
`protected Env` | `FlowInsensitiveChecks.checkTypeModifiers(Env env, Type t)` This may be called more than once on a Type t.

Constructors in javafe.tc with parameters of type Env
`TypeSig(java.lang.String simpleName, Env enclosingEnv, TypeDecl decl)` Create a TypeSig that represents a non-member type.
`EnvForTypeSig(Env parent, TypeSig peer, boolean staticContext)` Create an environment from an existing one by adding a new TypeSigs bindings.
`EnvForLocalType(Env parent, TypeDecl decl)` Create a environment from an existing one by adding a new local type binding.
`EnvForLocals(Env parent, GenericVarDecl decl)` Create a environment from an existing one by adding a new local binding.
`EnvForLocals(Env parent, GenericVarDecl decl, boolean warnAboutDuplication)`
`EnvForEnclosedScope(Env parent)` Create a environment from an existing one by adding a new local type binding.

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