A signature codec is responsible for encoding and decoding of inferred returned types as stored in bytecode.
Custom type checking extensions may extend this method in order to benefit from a lot of support methods.
The default type checking handler is used by the standard type checker and doesn't handle any of the type checking errors by default.
Represents method nodes which are used by the static type checker to virtually add methods coming from
Base class for type checking extensions written in Groovy.
A visitor which collects the list of variable expressions which are closure shared.
First implementation of an inferred type signature codec.
Static support methods for
The main class code visitor responsible for static type checking.
A type checking extension that will take care of handling errors which are specific to traits.
Represents the context of an enclosing closure.
This interface defines a high-level API for handling type checking errors.
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.