| Interface | Description |
|---|---|
| AnnotationProvider |
An implementation of AnnotationProvider returns annotations on Java AST elements.
|
| Class | Description |
|---|---|
| AbstractTypeProcessor |
This class is an abstract annotation processor designed to be a convenient superclass for
concrete "type processors", processors that require the type information in the processed source.
|
| AnnotationBuilder |
Builds an annotation mirror that may have some values.
|
| AnnotationUtils |
A utility class for working with annotations.
|
| BasicAnnotationProvider |
An AnnotationProvider that is independent of any type hierarchy.
|
| BasicTypeProcessor |
Process the types in an AST in a trivial manner, with hooks for derived classes to actually do
something.
|
| CollectionUtils |
Utility methods related to Java Collections.
|
| ElementUtils |
Utility methods for analyzing
Elements. |
| InternalUtils |
Miscellaneous static utility methods.
|
| Pair<V1,V2> |
Simple pair class for multiple returns.
|
| Resolver |
A utility class to find symbols corresponding to string references (identifiers).
|
| SystemUtil |
This file contains basic utility functions.
|
| TreePathUtil |
Utility methods for obtaining or analyzing a javac
TreePath. |
| TreeUtils |
Utility methods for analyzing a javac
Tree. |
| TypeAnnotationUtils |
A collection of helper methods related to type annotation handling.
|
| TypeKindUtils |
A utility class that helps with
TypeKinds. |
| TypesUtils |
A utility class that helps with
TypeMirrors. |
| Enum | Description |
|---|---|
| TypeKindUtils.PrimitiveConversionKind |
The type of primitive conversion: narrowing, widening, or same.
|
| Exception | Description |
|---|---|
| BugInCF |
Exception type indicating a bug in the framework.
|
| TypeSystemError |
Exception type indicating a mistake by a type system built using the Checker Framework.
|
| UserError |
Exception type indicating a mistake by an end user in using the Checker Framework, such as
incorrect command-line arguments.
|