Name | Description | Type | Package | Framework |
AggregateChecker | An aggregate checker that packages multiple checkers together. | Class | org.checkerframework.framework.source | Checker |
Result | Represents the outcome of a type-checking operation (success, warning, or failure, plus a list of explanatory messages). | Class | org.checkerframework.framework.source | Checker |
Result .DiagMessage | A class that represents diagnostic messages. | Class | org.checkerframework.framework.source | Checker |
SourceChecker | An abstract annotation processor designed for implementing a source-file checker for a JSR-308 conforming compiler plug-in. | Class | org.checkerframework.framework.source | Checker |
SourceChecker .CheckerError | Exception type used only internally to abort Only public to allow tests. | Class | org.checkerframework.framework.source | Checker |
SourceVisitor | An AST visitor that provides a variety of compiler utilities and interfaces to facilitate type-checking. | Class | org.checkerframework.framework.source | Checker |
SupportedLintOptions | An annotation used to indicate what lint options a checker supports. | Class | org.checkerframework.framework.source | Checker |
SupportedOptions | An annotation used to indicate what Checker Framework options a checker supports. | Class | org.checkerframework.framework.source | Checker |
SuppressWarningsKeys | Specifies the argument(s) that this checker recognizes for suppressing warnings via the SuppressWarnings annotation. | Class | org.checkerframework.framework.source | Checker |