| 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-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 | 
 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. 
 |