Annotation Interface UnknownFormat
@Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@InvisibleQualifier
@SubtypeOf({})
@DefaultQualifierInHierarchy
@TargetLocations({EXPLICIT_LOWER_BOUND,EXPLICIT_UPPER_BOUND})
public @interface UnknownFormat
The top qualifier.
A type annotation indicating that the run-time value might or might not be a valid format string.
This annotation may not be written in source code; it is an implementation detail of the checker.
- See the Checker Framework Manual:
- Format String Checker