Package checkers.util

Interface Summary

Interface	Description
CheckerMain.CLibrary	Helper class to invoke the libc system() native call Using the system() native call, rather than Runtime.exec(), to handle IO "redirection"

Class Summary

Class	Description
AggregateChecker	An aggregate checker that packages multiple checkers together.
AnnotationUtils	A utility class for working with annotations.
AnnotationUtils.AnnotationBuilder	Builds an annotation mirror that may have some values.
CheckerMain	The main class for the Checkers when using the binary distribution, that delegates the compilation invocation to javac.
DependentTypes
ElementUtils	A Utility class for analyzing Elements
GraphQualifierHierarchy	Represents the type qualifier hierarchy of a type system.
GraphQualifierHierarchy.Factory	Factory used to create an instance of GraphQualifierHierarchy.
Heuristics	Utilities for determining tree-based heuristics.
Heuristics.Matcher	A convenience class for tree-matching algorithms.
Heuristics.Matchers
Heuristics.OfKind
Heuristics.OrMatcher
Heuristics.PreceededBy
Heuristics.WithIn
Heuristics.WithinTrueBranch
InternalUtils	Static utility methods used by annotation abstractions in this package.
QualifierDefaults	Determines the default qualifiers on a type.
QualifierPolymorphism	Implements framework support for type qualifier polymorphism.
TreeUtils	A utility class made for helping to analyze a given Tree.
TypesUtils	A Utilities class that helps with Elements.