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