Package org.checkerframework.javacutil

package org.checkerframework.javacutil

Related Packages

Package	Description
org.checkerframework.javacutil.trees

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.
AnnotationFormatter	Converts AnnotationMirrors to Strings.
AnnotationMirrorMap<V>	The Map interface defines some of its methods with respect to the equals method.
AnnotationMirrorSet	The Set interface defines many methods with respect to the equals method.
AnnotationProvider	An implementation of AnnotationProvider returns annotations on Java AST elements.
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.
BugInCF	Exception type indicating a bug in the framework.
CollectionUtils	Utility methods related to Java Collections.
DefaultAnnotationFormatter	A utility for converting AnnotationMirrors to Strings.
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).
SwitchExpressionScanner<R,P>	A class that visits each result expression of a switch expression and calls SwitchExpressionScanner.visitSwitchResultExpression(ExpressionTree, Object) on each result expression.
SwitchExpressionScanner.FunctionalSwitchExpressionScanner<R1,P1>	An implementation of SwitchExpressionScanner that uses functions passed to the constructor for SwitchExpressionScanner.FunctionalSwitchExpressionScanner.visitSwitchResultExpression(ExpressionTree, Object) and SwitchExpressionScanner.FunctionalSwitchExpressionScanner.combineResults(Object, Object).
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.
TypeKindUtils.PrimitiveConversionKind	The type of primitive conversion: narrowing, widening, or same.
TypesUtils	A utility class that helps with TypeMirrors.
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.