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 PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

## Package escjava.tc

Class Summary
Datagroups |
EnvForGhostLocals | EnvForGhostLocals are used to extend an existing Env with one new local binding, either a local variable definition or a formal parameter.
FlowInsensitiveChecks |
GhostEnv | This class overrides `EnvForTypeSig` so that it "sees" ghost and model fields if `FlowInsensitiveChecks.inAnnotation` is `true`.
PrepTypeDeclaration |
TypeCheck |
Types |
TypeSig |

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 PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

The ESC/Java2 Project Homepage