Interface | Description |
---|---|
Annotate.Worker |
A client that needs to run during
Annotate.flush() registers an worker
into one of the queues defined in this class. |
Check.CheckContext |
A check context is an object that can be used to perform compatibility
checks - depending on the check context, meaning of 'compatibility' might
vary significantly.
|
Class | Description |
---|---|
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.
|
CompileStates |
Partial map to record which compiler phases have been executed
for each compilation unit.
|
DeferredAttr |
This is an helper class that is used to perform deferred type-analysis.
|
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 though
different AST visitor steps.
|
Flow.AbstractAssignAnalyzer<P extends Flow.AbstractAssignAnalyzer.AbstractAssignPendingExit> |
This pass implements (i) definite assignment analysis, which ensures that
each variable is assigned when used and (ii) definite unassignment analysis,
which ensures that no final variable is assigned more than once.
|
Flow.AbstractAssignAnalyzer.AbstractAssignPendingExit | |
Flow.AssignAnalyzer | |
Flow.AssignAnalyzer.AssignPendingExit | |
Infer |
Helper class for type parameter inference, used by the attribution phase.
|
Infer.BoundFilter | |
LambdaToMethod |
This pass desugars lambda expressions into static methods
|
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.
|
Enum | Description |
---|---|
CompileStates.CompileState |
Ordered list of compiler phases for each compilation unit.
|
DeferredAttr.AttrMode |
The 'mode' in which the deferred type is to be type-checked
|
Exception | Description |
---|---|
Infer.InferenceException |
This exception class is design to store a list of diagnostics corresponding
to inference errors that can arise during a method applicability check.
|
Resolve.InapplicableMethodException |
Copyright © 2016. All rights reserved.