| 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 | Description |
|---|---|
| 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.
|
| 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.
|
| MultiGraphQualifierHierarchy |
Represents the type qualifier hierarchy of a type system.
|
| MultiGraphQualifierHierarchy.MultiGraphFactory |
Factory used to create an instance of
GraphQualifierHierarchy. |
| Pair<V1 extends @NonNull Object,V2 extends @NonNull Object> |
Simple pair class for multiple returns.
|
| QualifierDefaults |
Determines the default qualifiers on a type.
|
| QualifierPolymorphism |
Implements framework support for type qualifier polymorphism.
|
| Resolver |
A Utility class to find symbols corresponding to string references
|
| TreeUtils |
A utility class made for helping to analyze a given
Tree. |
| TypesUtils |
A utility class that helps with
TypeMirrors. |