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.
DeepCopyable<T>	Deprecated. use org.plumelib.util.DeepCopyable
DefaultAnnotationFormatter	A utility for converting AnnotationMirrors to Strings.
ElementUtils	Utility methods for analyzing Elements.
InternalUtils	Miscellaneous static utility methods.
Pair<V1,V2>	Deprecated. use org.plumelib.util.IPair
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.
TreeUtils.MemberReferenceKind	This is a duplication of com.sun.tools.javac.tree.JCTree.JCMemberReference.ReferenceKind, which is not part of the supported javac API.
TreeUtilsAfterJava11	This class contains util methods for reflective accessing Tree classes and methods that were added after Java 11.
TreeUtilsAfterJava11.BindingPatternUtils	Utility methods for accessing BindingPatternTree methods.
TreeUtilsAfterJava11.CaseUtils	Utility methods for accessing CaseTree methods.
TreeUtilsAfterJava11.ConstantCaseLabelUtils	Utility methods for accessing ConstantCaseLabelTree methods.
TreeUtilsAfterJava11.DeconstructionPatternUtils	Utility methods for accessing DeconstructionPatternTree methods.
TreeUtilsAfterJava11.InstanceOfUtils	Utility methods for accessing InstanceOfTree methods.
TreeUtilsAfterJava11.PatternCaseLabelUtils	Utility methods for accessing PatternCaseLabelTree methods.
TreeUtilsAfterJava11.SwitchExpressionUtils	Utility methods for accessing SwitchExpressionTree methods.
TreeUtilsAfterJava11.YieldUtils	Utility methods for accessing YieldTree methods.
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.