| 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.
|
| PluginUtil | Deprecated
Renamed to
SystemUtil and deleted some unused methods. |
| Resolver |
A utility class to find symbols corresponding to string references.
|
| SystemUtil |
This file contains basic utility functions.
|
| ToStringComparator |
A comparator that orders values based on the lexicographic ordering of their toString().
|
| TreeUtils |
A utility class made for helping to analyze a given
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 |
|---|---|
| PluginUtil.CheckerProp | |
| TypeKindUtils.PrimitiveConversionKind |
The type of primitive conversion: narrowing, widening, or same.
|
| Exception | Description |
|---|---|
| BugInCF |
Exception type indicating a bug in the framework or in a checker implementation.
|
| 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.
|