Top Description Methods
org.checkerframework.checker.formatter.qual

public @Interface InvalidFormat

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target:TYPE_USE, TYPE_PARAMETER
@SubtypeOf:UnknownFormat
Imports
java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.SubtypeOf
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.

Method Summary

Modifier and TypeMethod and Description
public 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.

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString

Method Detail

valueback to summary
public 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.