groovy.transform
[Java] Annotation Type TypeChecked.TypeCheckingInfo
java.lang.Object
groovy.transform.TypeChecked.TypeCheckingInfo
@Retention(RetentionPolicy.RUNTIME)
@Target(ElementType.METHOD)
public @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 |
java.lang.String |
inferredType
An encoded type information.
|
Optional Element Summary |
int |
version
Returns the type checker information protocol number.
|
inferredType
public String inferredType
- An encoded type information.
- Returns:
- the inferred type
version
public int version
- Returns the type checker information protocol number. This is used if the format of the
string used in inferredType() changes.
@default 0
- Returns:
- the protocol version
Copyright © 2003-2013 The Codehaus. All rights reserved.