Package org.checkerframework.javacutil

Interface Summary

Interface	Description
AnnotationProvider	An implementation of AnnotationProvider returns annotations on Java AST elements.

Class Summary

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 (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 Summary

Enum	Description
PluginUtil.CheckerProp
TypeKindUtils.PrimitiveConversionKind	The type of primitive conversion: narrowing, widening, or same.

Exception Summary

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.