| Modifier and Type | Interface and Description |
|---|---|
| public interface | SignatureCodec
A signature codec is responsible for encoding and decoding of inferred returned types as stored in bytecode. |
| Modifier and Type | Class and Description |
|---|---|
| public abstract class | |
| public class | AbstractTypeCheckingExtension
Custom type checking extensions may extend this method in order to benefit from a lot of support methods. |
| public class | 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. |
| pack-priv class | DelegationMetadata
Delegation metadata is used to store the delegation strategy and delegate type of closures. |
| public class | EnumTypeCheckingExtension
A type checking extension that will take care of handling errors which are specific to enums. |
| public class | ExtensionMethodCache
This class is used to make extension methods lookup faster. |
| public class | ExtensionMethodNode
Represents method nodes which are used by the static type checker to virtually add methods
coming from |
| public class | GroovyTypeCheckingExtensionSupport
Base class for type checking extensions written in Groovy. |
| public class | |
| pack-priv class | SecondPassExpression<T>
An utility class used to wrap an expression with additional metadata used by the type checker. |
| public class | SharedVariableCollector
A visitor which collects the list of variable expressions which are closure shared. |
| public class | SignatureCodecVersion1
First implementation of an inferred type signature codec. |
| public abstract class | StaticTypeCheckingSupport
Support methods for |
| public class | StaticTypeCheckingVisitor
The main class code visitor responsible for static type checking. |
| public class | TraitTypeCheckingExtension
A type checking extension that will take care of handling errors which are specific to traits. |
| public class | |
| public class | TypeCheckingExtension
This interface defines a high-level API for handling type checking errors. |
| pack-priv class | UnionTypeClassNode
This class node type is very special and should only be used by the static type checker to represent types which are the union of other types. |
| Modifier and Type | Enum and Description |
|---|---|
| public enum | 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. |