Package org.checkerframework.checker.formatter.qual

Enum Summary

Enum	Description
ConversionCategory	Elements of this enumeration are used in a Format annotation to indicate the valid types that may be passed as a format parameter.

Annotation Types Summary

Annotation Type	Description
Format	This annotation, attached to a String type, indicates that the String may be passed to Formatter.format and similar methods.
FormatBottom	The bottom type in the Format String type system.
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.
InvalidFormat	This annotation, attached to a String type, indicates that the string is not a legal format string.
ReturnsFormat	Attach this annotation to a method with the following properties: The first parameter is a format string.
UnknownFormat	The top qualifier.