Interface Summary Interface Description SignatureCodecA signature codec is responsible for encoding and decoding of inferred returned types as stored in bytecode.
Class Summary Class Description AbstractTypeCheckingExtensionCustom type checking extensions may extend this method in order to benefit from a lot of support methods. DefaultTypeCheckingExtensionThe default type checking handler is used by the standard type checker and doesn't handle any of the type checking errors by default. ExtensionMethodNodeRepresents method nodes which are used by the static type checker to virtually add methods coming from
GroovyTypeCheckingExtensionSupportBase class for type checking extensions written in Groovy. GroovyTypeCheckingExtensionSupport.TypeCheckingDSL Receiver<T> SharedVariableCollectorA visitor which collects the list of variable expressions which are closure shared. SignatureCodecVersion1First implementation of an inferred type signature codec. StaticTypeCheckingSupportStatic support methods for
StaticTypeCheckingVisitorThe main class code visitor responsible for static type checking. StaticTypeCheckingVisitor.SignatureCodecFactory TraitTypeCheckingExtensionA type checking extension that will take care of handling errors which are specific to traits. TypeCheckingContext TypeCheckingContext.EnclosingClosureRepresents the context of an enclosing closure. TypeCheckingExtensionThis interface defines a high-level API for handling type checking errors.
Enum Summary Enum Description StaticTypesMarkerThis enumeration is used by the AST transformations which rely on static type checking, either to store or to retrieve information from AST node metadata.