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

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

Uses of EnvForTypeSig in escjava.tc

Subclasses of EnvForTypeSig in escjava.tc
`class` | `GhostEnv` This class overrides `EnvForTypeSig` so that it "sees" ghost and model fields if `FlowInsensitiveChecks.inAnnotation` is `true`.

Methods in escjava.tc that return EnvForTypeSig
`protected EnvForTypeSig` | `FlowInsensitiveChecks.makeEnvForTypeSig(TypeSig s, boolean staticContext)` Override so that we use `GhostEnv` instead of `EnvForTypeSig`.

Uses of EnvForTypeSig in javafe.tc

Fields in javafe.tc declared as EnvForTypeSig
`protected EnvForTypeSig` | `FlowInsensitiveChecks.rootIEnv`
`protected EnvForTypeSig` | `FlowInsensitiveChecks.rootSEnv`

Methods in javafe.tc that return EnvForTypeSig
`EnvForTypeSig` | `TypeSig.getEnv(boolean staticContext)` Return an environment for use in checking code inside us.
`protected EnvForTypeSig` | `PrepTypeDeclaration.getEnvForCurrentSig(TypeSig sig, boolean isStatic)`
`protected EnvForTypeSig` | `FlowInsensitiveChecks.makeEnvForTypeSig(TypeSig s, boolean staticContext)` Factory method so subclasses can override.

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