Annotation Interface FormatMethod
If this annotation is attached to a
Formatter.format
-like method, then the first parameter of type String is treated as a format
string for the following arguments. The Format String Checker ensures that the arguments passed
as varargs are compatible with the format string argument, and also permits them to be passed to
Formatter.format
-like methods within the
body.- See the Checker Framework Manual:
- Format String Checker