|
ESC/Java2 © 2003,2004,2005,2006 David Cok and Joseph Kiniry © 2005,2006 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 | ||||||||||
| 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
A TypeSig is a proxy and adaptor for TypeDecl. |
|
| Classes in javafe.tc used by escjava.ast | |
| TagConstants
|
|
| Classes in javafe.tc used by escjava.backpred | |
| TypeSig
A TypeSig is a proxy and adaptor for TypeDecl. |
|
| Classes in javafe.tc used by escjava.gui | |
| Listener
The interface for listeners of CompilationUnit-loading
notification events (sent by OutsideEnv). |
|
| TypeSig
A TypeSig is a proxy and adaptor for TypeDecl. |
|
| 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
A TypeSig is a proxy and adaptor for TypeDecl. |
|
| Classes in javafe.tc used by escjava.translate | |
| TypeSig
A TypeSig is a proxy and adaptor for TypeDecl. |
|
| 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
A TypeSig is a proxy and adaptor for TypeDecl. |
|
| 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
A TypeSig is a proxy and adaptor for TypeDecl. |
|
| TypeSigVec
|
|
|
ESC/Java2 © 2003,2004,2005,2006 David Cok and Joseph Kiniry © 2005,2006 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 | ||||||||||