Top Description Methods
org.checkerframework.checker.formatter.qual

public @Interface FormatMethod

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target:METHOD, CONSTRUCTOR
Imports
java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target

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.

Method Summary

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString