Class and Description |
---|
AttrContext
Contains information specific to the attribute and enter
passes, to be used in place of the generic field in environments.
|
Env
A class for environments, instances of which are passed as
arguments to tree visitors.
|
Class and Description |
---|
Annotate.AnnotateRepeatedContext
This context contains all the information needed to synthesize new
annotations trees by the completer for repeating annotations.
|
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.
|
Env
A class for environments, instances of which are passed as
arguments to tree visitors.
|
Class and Description |
---|
Annotate
Enter annotations on symbols.
|
Annotate.Worker
A client that needs to run during
Annotate.flush() registers an worker
into one of the queues defined in this class. |
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.
|
Check
Type checking helper class for the attribution phase.
|
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.
|
CompileStates
Partial map to record which compiler phases have been executed
for each compilation unit.
|
CompileStates.CompileState
Ordered list of compiler phases for each compilation unit.
|
DeferredAttr
This is an helper class that is used to perform deferred type-analysis.
|
DeferredAttr.AttrMode
The 'mode' in which the deferred type is to be type-checked
|
DeferredAttr.DeferredType
This type represents a deferred type.
|
Enter
This class enters symbols for all encountered definitions into
the symbol table.
|
Env
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
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.AssignPendingExit |
Infer
Helper class for type parameter inference, used by the attribution phase.
|
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.
|
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.
|
Resolve.InapplicableMethodException |
Todo
A queue of all as yet unattributed classes.
|
TransTypes
This pass translates Generic Java to conventional Java.
|
Class and Description |
---|
AttrContext
Contains information specific to the attribute and enter
passes, to be used in place of the generic field in environments.
|
Env
A class for environments, instances of which are passed as
arguments to tree visitors.
|
Class and 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.
|
Check
Type checking helper class for the attribution phase.
|
CompileStates
Partial map to record which compiler phases have been executed
for each compilation unit.
|
CompileStates.CompileState
Ordered list of compiler phases for each compilation unit.
|
Enter
This class enters symbols for all encountered definitions into
the symbol table.
|
Env
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.
|
Lower
This pass translates away some syntactic sugar: inner classes,
class literals, assertions, foreach loops, etc.
|
Todo
A queue of all as yet unattributed classes.
|
TransTypes
This pass translates Generic Java to conventional Java.
|
Class and Description |
---|
AttrContext
Contains information specific to the attribute and enter
passes, to be used in place of the generic field in environments.
|
Env
A class for environments, instances of which are passed as
arguments to tree visitors.
|
Class and Description |
---|
Resolve
Helper class for name resolution, used mostly by the attribution phase.
|
Copyright © 2017 earcam. All rights reserved.