Package org.checkerframework.checker.formatter.qual

Annotation Type UnknownFormat

@Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@InvisibleQualifier
@SubtypeOf({})
@DefaultQualifierInHierarchy
@TargetLocations(ALL)
public @interface UnknownFormat

The top qualifier.

A type annotation indicating that the run-time value might or might not be a valid format string.

It is usually not necessary to write this annotation in source code. It is an implementation detail of the checker.

See the Checker Framework Manual:

Format String Checker