Top Interfaces Classes Enums
[default module]

Package org.codehaus.groovy.transform.stc


Interface Summary

Modifier and TypeInterface and Description
public interface
SignatureCodec

A signature codec is responsible for encoding and decoding of inferred returned types as stored in bytecode.

Class Summary

Modifier and TypeClass 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 DGM-like methods.

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

Enum Summary

Modifier and TypeEnum 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.