| Class | Description | 
                            | 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. | 
                            | 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: 
   setupRegisters closure that runs after the type checker finishes initializationfinishRegisters closure that runs after the type checker completes type checkingbeforeVisitClassRegisters closure that runs before type checking a classafterVisitClassRegisters closure that runs after having finished the visit of a type checked classbeforeVisitMethodRegisters closure that runs before type checking a method bodyafterVisitMethodRegisters closure that runs after type checking a method bodybeforeMethodCallRegisters closure that runs before the type checker starts type checking a method callafterMethodCallRegisters closure that runs once the type checker has finished type checking a method callmethodNotFoundRegisters closure that runs when it fails to find an appropriate method for a method callambiguousMethodsRegisters closure that runs when the type checker cannot choose between several candidate methodsonMethodSelectionRegisters closure that runs when it finds a method appropriate for a method callunresolvedVariableRegisters closure that runs when the type checker finds an unresolved variableunresolvedPropertyRegisters closure that runs when the type checker cannot find a property on the receiverunresolvedAttributeRegisters closure that runs when the type checker cannot find an attribute on the receiverincompatibleAssignmentRegisters closure that runs when the type checker thinks that the right-hand side of an assignment is incompatible with the left-hand sideincompatibleReturnTypeRegisters 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. | 
                            | 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. |