Package org.checkerframework.checker.formatter.qual

Annotation Type 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
      java.lang.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 Detail

      • value

        java.lang.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.