Package groovy.transform
Annotation Type TypeChecked.TypeCheckingInfo
- Enclosing class:
- TypeChecked
@Retention(RUNTIME)
@Target(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 Description java.lang.StringinferredTypeAn encoded type information. -
Optional Element Summary
Optional Elements Modifier and Type Optional Element Description intversionReturns the type checker information protocol number.
-
Element Details
-
inferredType
java.lang.String inferredTypeAn encoded type information.- Returns:
- the inferred type
-
-
-
version
int versionReturns the type checker information protocol number. This is used if the format of the string used ininferredType()changes.- Returns:
- the protocol version
- Default:
- 0
-