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

Interface Summary
Listener | The interface for listeners of `CompilationUnit`-loading notification events (sent by `OutsideEnv`).

Class Summary
CheckCompilationUnit | This module is responsible for handling `CompilationUnit`-level type checks.
CheckInvariants |
ConstantExpr |
Env | Env's are the environments used during typechecking to keep track of what types, local variables, fields, and current/enclosing instances are in scope.
EnvForCU | EnvForCUs are used to create an Env for a CompilationUnit.
EnvForEnclosedScope | EnvForLocals are used to extend an existing Env with one new local type binding.
EnvForLocals | EnvForLocals are used to extend an existing Env with one new local binding, either a local variable definition or a formal parameter.
EnvForLocalType | EnvForLocals are used to extend an existing Env with one new local type binding.
EnvForTypeSig | EnvForTypeSigs are used to extend an existing Env with the bindings of a TypeSig.
FlowInsensitiveChecks | Does disambiguation and flow insensitive checks on a type declaration.
OutsideEnv | `OutsideEnv` implements the top-level environment consisting of only the package-member types.
PrepTypeDeclaration | Does type name resolution and type checking at signature level of a type declaration, and infers the members of the declaration.
SLResolution | This class is responsible for transitioning TypeSigs to the LINKSRESOLVED state from an earlier state.
TagConstants |
TypeCheck | The `TypeCheck` class contains methods to disambiguate, resolve, and check type declarations.
TypePrint |
Types |
TypeSig |
TypeSigVec |

Exception Summary
LookupException |

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