@Documented @Retention(value=RUNTIME) @Target(value=METHOD) public @interface ReturnsFormat
FormatUtil.asFormat(java.lang.String, org.checkerframework.checker.formatter.qual.ConversionCategory...)