Search Java Classes and Packages
#Org.checkerframework.checker.formatter Classes and Interfaces - 18 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 | |
| FormatterAnalysis | Needed for flow analysis, to implement the FormatUtil. | Class | org.checkerframework.checker.formatter | Checker |
| FormatterAnnotatedTypeFactory | Adds Format to the type of tree, if it is a String or char literal that represents a satisfiable format. | Class | org.checkerframework.checker.formatter | Checker |
| FormatterChecker | A type-checker plug-in for the Format qualifier that finds syntactically invalid formatter calls. | Class | org.checkerframework.checker.formatter | Checker |
| FormatterTransfer | Class | org.checkerframework.checker.formatter | Checker | |
| FormatterTreeUtil | This class provides a collection of utilities to ease working with syntax trees that have something to do with Formatters. | Class | org.checkerframework.checker.formatter | Checker |
| FormatterTreeUtil .InvocationType | Describes the ways a format method may be invoked. | Class | org.checkerframework.checker.formatter | Checker |
| FormatterTreeUtil .Result | Interface | org.checkerframework.checker.formatter | Checker | |
| FormatterVisitor | Whenever a format method invocation is found in the syntax tree, the following checks happen, read the code, seriously! (otherwise see manual 12. | Class | org.checkerframework.checker.formatter | Checker |
| FormatUtil | This class provides a collection of utilities to ease working with format strings. | Class | org.checkerframework.checker.formatter | Checker |
| FormatUtil .ExcessiveOrMissingFormatArgumentException | Class | org.checkerframework.checker.formatter | Checker | |
| FormatUtil .IllegalFormatConversionCategoryException | Class | org.checkerframework.checker.formatter | 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 | |