Package org.checkerframework.checker.formatter.qual
package org.checkerframework.checker.formatter.qual
-
ClassDescriptionElements of this enumeration are used in a
Format
annotation to indicate the valid types that may be passed as a format parameter.This annotation, attached to a String type, indicates that the String may be passed toFormatter.format
and similar methods.The bottom type in the Format String type system.If this annotation is attached to aFormatter.format
-like method, then the first parameter of type String is treated as a format string for the following arguments.This annotation, attached to aString
type, indicates that the string is not a legal format string.Attach this annotation to a method with the following properties: The first parameter is a format string.The top qualifier.