Package org.checkerframework.checker.formatter.qual

Annotation Interface InvalidFormat

@Documented @Retention(RUNTIME) @Target({TYPE_USE,TYPE_PARAMETER}) @SubtypeOf(UnknownFormat.class) public @interface InvalidFormat
This annotation, attached to a String type, indicates that the string is not a legal format string. Passing the string to Formatter.format or similar methods will lead to the exception message indicated in the annotation's value.
See the Checker Framework Manual:
Format String Checker

  • Required Element Summary

    Required Elements
    Modifier and Type
    Required Element
    Description
    String
    value
    Using a value of the annotated type as the first argument to Formatter.format or similar methods will lead to this exception message.

  • Element Details

    • value

      String value
      Using a value of the annotated type as the first argument to Formatter.format or similar methods will lead to this exception message.