Search Java Classes and Packages

Search Java Frameworks and Libraries

255581 classes and counting ...
Search Tips Index Status



#Org.checkerframework.framework.source Classes and Interfaces - 9 results found.
NameDescriptionTypePackageFramework
AggregateCheckerAn aggregate checker that packages multiple checkers together.Classorg.checkerframework.framework.sourceChecker
ResultRepresents the outcome of a type-checking operation (success, warning, or failure, plus a list of explanatory messages).Classorg.checkerframework.framework.sourceChecker
Result .DiagMessageA class that represents diagnostic messages.Classorg.checkerframework.framework.sourceChecker
SourceCheckerAn abstract annotation processor designed for implementing a source-file checker for a JSR-308 conforming compiler plug-in.Classorg.checkerframework.framework.sourceChecker
SourceChecker .CheckerErrorException type used only internally to abort Only public to allow tests.Classorg.checkerframework.framework.sourceChecker
SourceVisitorAn AST visitor that provides a variety of compiler utilities and interfaces to facilitate type-checking.Classorg.checkerframework.framework.sourceChecker
SupportedLintOptionsAn annotation used to indicate what lint options a checker supports.Classorg.checkerframework.framework.sourceChecker
SupportedOptionsAn annotation used to indicate what Checker Framework options a checker supports.Classorg.checkerframework.framework.sourceChecker
SuppressWarningsKeysSpecifies the argument(s) that this checker recognizes for suppressing warnings via the SuppressWarnings annotation.Classorg.checkerframework.framework.sourceChecker