@Retention(RetentionPolicy.RUNTIME) @Target(ElementType.METHOD) public @interface TypeChecked.TypeCheckingInfo
This annotation is added by
Type | Name and Description |
---|---|
String |
inferredType An encoded type information. |
Type | Name and Description |
---|---|
int |
version Returns the type checker information protocol number. |
An encoded type information.
Returns the type checker information protocol number. This is used if the format of the string used in inferredType() changes.