Search Java Classes and Packages
#Org.checkerframework.checker.formatter.qual Classes and Interfaces - 7 results found.
| Name | Description | Type | Package | Framework |
| ConversionCategory | enum ConversionCategoryElements of this enumeration are used in a Format annotation | Class | org.checkerframework.checker.formatter.qual | Checker |
| Format | This annotation, attached to a String type, indicates that the String may be passed to | Class | org.checkerframework.checker.formatter.qual | Checker |
| FormatBottom | Class | org.checkerframework.checker.formatter.qual | Checker | |
| FormatMethod | Class | org.checkerframework.checker.formatter.qual | Checker | |
| InvalidFormat | This annotation, attached to a String type, indicates that the string is not a legal format string. | Class | org.checkerframework.checker.formatter.qual | Checker |
| ReturnsFormat | Attach this annotation to a method with the following properties: The first parameter is a format string. | Class | org.checkerframework.checker.formatter.qual | Checker |
| UnknownFormat | Class | org.checkerframework.checker.formatter.qual | Checker | |