| Interface | Description |
|---|---|
| StaticTypeCheckingVisitor.SignatureCodec | |
| TypeCheckerPluginFactory |
A plugin factory is responsible for returning a type checker extension depending on
a compilation context.
|
| Class | Description |
|---|---|
| ExtensionMethodNode |
Represents method nodes which are used by the static type checker to virtually add methods
coming from
DGM-like methods. |
| SharedVariableCollector |
A visitor which collects the list of variable expressions which are closure shared.
|
| StaticTypeCheckingSupport |
Static support methods for
StaticTypeCheckingVisitor. |
| StaticTypeCheckingVisitor |
The main class code visitor responsible for static type checking.
|
| StaticTypeCheckingVisitor.SignatureCodecFactory | |
| TypeCheckerPlugin |
Type checking plugins can be used to extend the type checker capabilities.
|
| Enum | Description |
|---|---|
| StaticTypesMarker |
This enumeration is used by the AST transformations which rely on static type checking, either
to store or to retrieve information from AST node metadata.
|