groovy.transform

Annotation Type TypeChecked.TypeCheckingInfo

@Retention(value=RUNTIME)
@Target(value=METHOD)
public static @interface TypeChecked.TypeCheckingInfo

This annotation is added by @TypeChecked on methods which have type checking turned on. It is used to embed type information into binary, so that the type checker can use this information, if available, for precompiled classes.

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
String	inferredType An encoded type information.

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
int	version Returns the type checker information protocol number.

Element Detail

inferredType

public abstract String inferredType

An encoded type information.

Returns:

the inferred type

version

public abstract int version

Returns the type checker information protocol number. This is used if the format of the string used in inferredType() changes.

Returns:

the protocol version

Default:

0