|
Class Summary |
| BaseContext |
A non-delegating context to place and the top of a delegation chain. |
| ClassChecker |
Checks the members of a class declaration. |
| ClassContext |
The context of a class body, including all members of the class (both declared and inherited). |
| ClassSignatureContext |
The context of a class declaration's signature, which includes its type variables and own name
but excludes its members. |
| DelegatingContext |
An abstract context that delegates to an enclosing context by default. |
| ExpressionChecker |
This tree visitor checks the typing rules for expressions and determines each expression's type. |
| ExpressionEvaluator |
Evaluates the given expression. |
| FunctionContext |
The context of a function's (method, constructor, or local function) body, introducing the
function's parameters. |
| FunctionSignatureContext |
The context of a class declaration's signature, which includes its type variables and own name. |
| ImportContext |
The context at the top level of a source file or local block. |
| InitializerContext |
The body of an initializer. |
| Interpreter |
The external interface for the interpreter. |
| LibraryContext |
A context that can access top-level classes from a Library. |
| LocalContext |
The context following a local class, variable, or function definition. |
| RuntimeBindings |
An environment used for evaluation. |
| StatementChecker |
Traverses the given statements and declarations, performing static checks along the way. |
| StatementEvaluator |
Evaluates the given statement, assumed to have been processed by the StatementChecker
without any errors. |
| StatementEvaluator.Result |
Wraps an RuntimeBindings and an optional value. |
| TopLevelTest |
|
| TreeClassLoader |
A class loader with the additional ability of loading classes from their (type-checked)
AST representations. |
| TreeCompiler |
Compiles an AST class declaration by producing a stub class, where each method consists of
forwarding calls to the interpreter. |
| TreeCompiler.BindingsFactory |
A simple factory mapping an object to a RuntimeBindings in which that object is defined as "this". |
| TryBlockContext |
A block in which additional exception types are allowed to be thrown. |
| TypeNameChecker |
This tree visitor checks the typing rules for TypeNames and converts the name to a Type. |