|
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 |
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
|
|
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 |