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

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  
 


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

The ESC/Java2 Project Homepage