Class |
Description |
AbstractExtensionMethodCache
|
- Since:
- 3.0.0
|
AbstractTypeCheckingExtension
|
|
DefaultTypeCheckingExtension
|
The default type checking handler is used by the standard type checker and doesn't handle
any of the type checking errors by default. |
EnumTypeCheckingExtension
|
A type checking extension that will take care of handling errors which are specific to enums. |
ExtensionMethodCache
|
This class is used to make extension methods lookup faster. |
ExtensionMethodNode
|
Represents method nodes which are used by the static type checker to virtually add methods
coming from DGM-like methods. |
GroovyTypeCheckingExtensionSupport
|
Base class for type checking extensions written in Groovy. |
GroovyTypeCheckingExtensionSupport.TypeCheckingDSL
|
Event handler registration:
- setup
- Registers closure that runs after the type checker finishes initialization
- finish
- Registers closure that runs after the type checker completes type checking
- beforeVisitClass
- Registers closure that runs before type checking a class
- afterVisitClass
- Registers closure that runs after having finished the visit of a type checked class
- beforeVisitMethod
- Registers closure that runs before type checking a method body
- afterVisitMethod
- Registers closure that runs after type checking a method body
- beforeMethodCall
- Registers closure that runs before the type checker starts type checking a method call
- afterMethodCall
- Registers closure that runs once the type checker has finished type checking a method call
- methodNotFound
- Registers closure that runs when it fails to find an appropriate method for a method call
- ambiguousMethods
- Registers closure that runs when the type checker cannot choose between several candidate methods
- onMethodSelection
- Registers closure that runs when it finds a method appropriate for a method call
- unresolvedVariable
- Registers closure that runs when the type checker finds an unresolved variable
- unresolvedProperty
- Registers closure that runs when the type checker cannot find a property on the receiver
- unresolvedAttribute
- Registers closure that runs when the type checker cannot find an attribute on the receiver
- incompatibleAssignment
- Registers closure that runs when the type checker thinks that the right-hand side of an assignment is incompatible with the left-hand side
- incompatibleReturnType
- Registers closure that runs when the type checker thinks that a return value is incompatibe with the return type
|
Receiver
|
|
SharedVariableCollector
|
A visitor which collects the list of variable expressions which are closure shared. |
SignatureCodecVersion1
|
First implementation of an inferred type signature codec. |
StaticTypeCheckingSupport
|
Support methods for StaticTypeCheckingVisitor. |
StaticTypeCheckingSupport.BooleanArrayStaticTypesHelper
|
|
StaticTypeCheckingSupport.ByteArrayStaticTypesHelper
|
|
StaticTypeCheckingSupport.CharArrayStaticTypesHelper
|
|
StaticTypeCheckingSupport.DoubleArrayStaticTypesHelper
|
|
StaticTypeCheckingSupport.FloatArrayStaticTypesHelper
|
|
StaticTypeCheckingSupport.IntArrayStaticTypesHelper
|
|
StaticTypeCheckingSupport.LongArrayStaticTypesHelper
|
|
StaticTypeCheckingSupport.ObjectArrayStaticTypesHelper
|
A DGM-like class which adds support for method calls which are handled
specifically by the Groovy compiler. |
StaticTypeCheckingSupport.ShortArrayStaticTypesHelper
|
|
StaticTypeCheckingVisitor
|
The main class code visitor responsible for static type checking. |
StaticTypeCheckingVisitor.SignatureCodecFactory
|
|
StaticTypeCheckingVisitor.VariableExpressionTypeMemoizer
|
|
TraitTypeCheckingExtension
|
A type checking extension that will take care of handling errors which are specific to traits. |
TypeCheckingContext
|
|
TypeCheckingContext.EnclosingClosure
|
Represents the context of an enclosing closure. |
TypeCheckingExtension
|
This interface defines a high-level API for handling type checking errors. |