| Resolve.MethodResolutionPhase
| |
code | html |
| Annotate
| Enter annotations on symbols. |
code | html |
| Attr
| This is the main context-dependent analysis phase in GJC. |
code | html |
| Attr.BreakAttr
| |
code | html |
| Attr.IdentAttributer
| |
code | html |
| Attr.PostAttrAnalyzer
| |
code | html |
| AttrContext
| Contains information specific to the attribute and enter
passes, to be used in place of the generic field in environments. |
code | html |
| AttrContextEnv
| {@code Env} specialized as {@code Env}
This is NOT part of any supported API. |
code | html |
| Check
| Type checking helper class for the attribution phase. |
code | html |
| Check.ClashFilter
| |
code | html |
| Check.ConversionWarner
| |
code | html |
| Check.CycleChecker
| |
code | html |
| Check.Validator
| A visitor class for type validation. |
code | html |
| ConstFold
| Helper class for constant folding, used by the attribution phase. |
code | html |
| Enter
| This class enters symbols for all encountered definitions into
the symbol table. |
code | html |
| Env
| A class for environments, instances of which are passed as
arguments to tree visitors. |
code | html |
| Flow
| This pass implements dataflow analysis for Java programs. |
code | html |
| Flow.PendingExit
| A pending exit. |
code | html |
| Infer
| Helper class for type parameter inference, used by the attribution phase. |
code | html |
| Infer.InferenceException
| |
code | html |
| Infer.InvalidInstanceException
| |
code | html |
| Infer.NoInstanceException
| |
code | html |
| Infer.UninferredMethodType.UninferredReturnType
| |
code | html |
| Lower
| This pass translates away some syntactic sugar: inner classes,
class literals, assertions, foreach loops, etc. |
code | html |
| Lower.ClassMap
| A navigator class for assembling a mapping from local class symbols
to class definition trees. |
code | html |
| Lower.EnumMapping
| This map gives a translation table to be used for enum
switches. |
code | html |
| Lower.FreeVarCollector
| A navigator class for collecting the free variables accessed
from a local class. |
code | html |
| MemberEnter
| This is the second phase of Enter, in which classes are completed
by entering their members into the class scope using
MemberEnter.complete(). |
code | html |
| MemberEnter.Synthesizer
| |
code | html |
| Resolve
| Helper class for name resolution, used mostly by the attribution phase. |
code | html |
| Resolve.AccessError
| An InvalidSymbolError error class indicating that a symbol is not
accessible from a given site |
code | html |
| Resolve.AmbiguityError
| InvalidSymbolError error class indicating that a pair of symbols
(either methods, constructors or operands) are ambiguous
given an actual arguments/type argument list. |
code | html |
| Resolve.InapplicableMethodException
| |
code | html |
| Resolve.InapplicableSymbolError
| InvalidSymbolError error class indicating that a given symbol
(either a method, a constructor or an operand) is not applicable
given an actual arguments/type argument list. |
code | html |
| Resolve.InapplicableSymbolsError
| ResolveError error class indicating that a set of symbols
(either methods, constructors or operands) is not applicable
given an actual arguments/type argument list. |
code | html |
| Resolve.InapplicableSymbolsError.Candidate
| |
code | html |
| Resolve.StaticError
| InvalidSymbolError error class indicating that an instance member
has erroneously been accessed from a static context. |
code | html |
| Resolve.SymbolNotFoundError
| InvalidSymbolError error class indicating that a symbol matching a
given name does not exists in a given site. |
code | html |
| Todo
| A queue of all as yet unattributed classes. |
code | html |
| Todo.FileQueue
| |
code | html |
| TransTypes
| This pass translates Generic Java to conventional Java. |
code | html |
| TransTypes.NeedsOverridBridgeFilter
| |
code | html |