|
Class Summary |
| Annotate |
Enter annotations on symbols. |
| Attr |
This is the main context-dependent analysis phase in GJC. |
| AttrContext |
Contains information specific to the attribute and enter
passes, to be used in place of the generic field in environments. |
| AttrContextEnv |
Env<A> specialized as Env<AttrContext> |
| Check |
Type checking helper class for the attribution phase. |
| ConstFold |
Helper class for constant folding, used by the attribution phase. |
| Enter |
This class enters symbols for all encountered definitions into
the symbol table. |
| Env<A> |
A class for environments, instances of which are passed as
arguments to tree visitors. |
| Flow |
This pass implements dataflow analysis for Java programs. |
| Flow.PendingExit |
A pending exit. |
| Infer |
Helper class for type parameter inference, used by the attribution phase. |
| Lower |
This pass translates away some syntactic sugar: inner classes,
class literals, assertions, foreach loops, etc. |
| MemberEnter |
This is the second phase of Enter, in which classes are completed
by entering their members into the class scope using
MemberEnter.complete(). |
| Resolve |
Helper class for name resolution, used mostly by the attribution phase. |
| Todo |
A queue of all as yet unattributed classes. |
| TransTypes |
This pass translates Generic Java to conventional Java. |