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