@Retention(RUNTIME)
@Target(METHOD)
public static @interface TypeChecked.TypeCheckingInfo
Modifier and Type | Required Element | Description |
---|---|---|
java.lang.String |
inferredType |
An encoded type information.
|
Modifier and Type | Optional Element | Description |
---|---|---|
int |
version |
Returns the type checker information protocol number.
|
java.lang.String inferredType
int version
inferredType()
changes.