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
Element s. |
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
TypeKind s. |
TypesUtils |
A utility class that helps with
TypeMirror s. |
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.
|