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

Packages that use javafe.tc
escjava |
escjava.ast |
escjava.backpred |
escjava.gui |
escjava.tc |
escjava.translate |
javafe |
javafe.tc |

Classes in javafe.tc used by escjava
Listener The interface for listeners of `CompilationUnit`-loading notification events (sent by `OutsideEnv`).
TypeCheck The `TypeCheck` class contains methods to disambiguate, resolve, and check type declarations.
TypeSig

Classes in javafe.tc used by escjava.ast
TagConstants

Classes in javafe.tc used by escjava.backpred
TypeSig

Classes in javafe.tc used by escjava.gui
Listener The interface for listeners of `CompilationUnit`-loading notification events (sent by `OutsideEnv`).
TypeSig

Classes in javafe.tc used by escjava.tc
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.
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.
PrepTypeDeclaration Does type name resolution and type checking at signature level of a type declaration, and infers the members of the declaration.
TypeCheck The `TypeCheck` class contains methods to disambiguate, resolve, and check type declarations.
Types
TypeSig

Classes in javafe.tc used by escjava.translate
TypeSig

Classes in javafe.tc used by javafe
Listener The interface for listeners of `CompilationUnit`-loading notification events (sent by `OutsideEnv`).
TypeCheck The `TypeCheck` class contains methods to disambiguate, resolve, and check type declarations.
TypeSig

Classes in javafe.tc used by javafe.tc
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.
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.
Listener The interface for listeners of `CompilationUnit`-loading notification events (sent by `OutsideEnv`).
LookupException
TypeSig
TypeSigVec

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