| Interface | Description | 
|---|---|
| SignatureCodec | A signature codec is responsible for encoding and decoding of inferred returned types
 as stored in bytecode. | 
| Class | Description | 
|---|---|
| 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. | 
| ExtensionMethodNode | Represents method nodes which are used by the static type checker to virtually add methods
 coming from  DGM-likemethods. | 
| 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 | Static support methods for  StaticTypeCheckingVisitor. | 
| 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. |