| Interface | Description | 
|---|---|
| SignatureCodec | 
 A signature codec is responsible for encoding and decoding of inferred returned types
 as stored in bytecode. 
 | 
| Class | Description | 
|---|---|
| AbstractExtensionMethodCache | |
| AbstractTypeCheckingExtension | 
 Custom type checking extensions may extend this method in order to benefit from a lot
 of support methods. 
 | 
| 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 | |
| Receiver<T> | |
| 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 | |
| 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. 
 | 
| 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. 
 |