Name | Description | Type | Package | Framework |
AbstractTypeProcessor | This class is an abstract annotation processor designed to be a convenient superclass for concrete "type processors", processors that | Class | org.checkerframework.javacutil | Checker |
AnnotationProvider | Interface | org.checkerframework.javacutil | Checker | |
AnnotationUtils | A utility class for working with annotations. | Class | org.checkerframework.javacutil | Checker |
BasicAnnotationProvider | Class | org.checkerframework.javacutil | Checker | |
BasicTypeProcessor | Process the types in an AST in a trivial manner, with hooks for derived classes to actually do something. | Class | org.checkerframework.javacutil | Checker |
CollectionUtils | Class | org.checkerframework.javacutil | Checker | |
DetachedVarSymbol | A DetachedVarSymbol represents a variable that is not part of any AST Tree. | Class | org.checkerframework.javacutil.trees | Checker |
ElementUtils | A Utility class for analyzing Elements. | Class | org.checkerframework.javacutil | Checker |
ErrorHandler | An implementation of the ErrorHandler interface can be registered with the ErrorReporter class to change the default behavior on | Interface | org.checkerframework.javacutil | Checker |
ErrorReporter | Handle errors detected in utility classes. | Class | org.checkerframework.javacutil | Checker |
InternalUtils | Static utility methods used by annotation abstractions in this package. | Class | org.checkerframework.javacutil | Checker |
ManualTaglet | A taglet for processing the @checker_framework. | Class | org.checkerframework.javacutil.dist | Checker |
Pair | Simple pair class for multiple returns. | Class | org.checkerframework.javacutil | Checker |
Resolver | A Utility class to find symbols corresponding to string references. | Class | org.checkerframework.javacutil | Checker |
TreeBuilder | The TreeBuilder permits the creation of new AST Trees using the non-public Java compiler API TreeMaker. | Class | org.checkerframework.javacutil.trees | Checker |
TreeParser | A Utility class for parsing Java expression snippets, and converting them to proper Javac AST nodes. | Class | org.checkerframework.javacutil.trees | Checker |
TreeUtils | A utility class made for helping to analyze a given Tree. | Class | org.checkerframework.javacutil | Checker |
TypeAnnotationUtils | A collection of helper methods related to type annotation handling. | Class | org.checkerframework.javacutil | Checker |
TypesUtils | A utility class that helps with TypeMirrors. | Class | org.checkerframework.javacutil | Checker |