org.checkerframework.checker.formatter.qual

Annotation Type ReturnsFormat

@Documented
 @Retention(value=RUNTIME)
 @Target(value=METHOD)
public @interface ReturnsFormat

Attach this annotation to a method with the following properties:

• The first parameter is a format string.
• The second parameter is a vararg that takes conversion categories.
• The method throws an exception if the format string's format specifiers do not match the passed conversion categories.
• On success, the method returns the passed format string unmodified.

See the Checker Framework Manual:

Format String Checker