Annotation Type TypeChecked.TypeCheckingInfo
- Enclosing class:
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 pre-compiled classes.
Required Element Summary
Optional Element SummaryModifier and TypeOptional ElementDescription
intReturns the type checker information protocol number.