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	A TypeSig is a proxy and adaptor for TypeDecl.
TypeSigVec

Exception Summary

LookupException