| Interface | Description |
|---|---|
| AnnotationFormatter |
Converts AnnotationMirrors to Strings For converting AnnotatedTypeMirrors.
|
| BaseContext |
A collection of references to javac components.
|
| CFContext |
A collection of references to various type checker components.
|
| OptionConfiguration |
Provides methods for querying the Checker's options.
|
| Class | Description |
|---|---|
| AnnotatedTypes |
Utility methods for operating on
AnnotatedTypeMirror. |
| 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.
|
| CheckerDevelMain | |
| CheckerMain |
This class behaves similarly to javac.
|
| Contract |
A contract represents an annotation on an expression.
|
| Contract.ConditionalPostcondition |
Represents a conditional postcondition that must be verified by
BaseTypeVisitor or
one of its subclasses. |
| Contract.Postcondition |
A postcondition contract.
|
| Contract.Precondition |
A precondition contract.
|
| ContractsUtils |
A utility class to handle pre- and postconditions.
|
| DefaultAnnotationFormatter |
A utility for converting AnnotationMirrors to Strings.
|
| ExecUtil | |
| ExecUtil.Redirection | |
| FieldInvariants |
Represents field invariants, which the user states by writing
@FieldInvariant. |
| FlowExpressionParseUtil |
A collection of helper methods to parse a string that represents a restricted Java expression.
|
| FlowExpressionParseUtil.FlowExpressionContext |
Context used to parse a flow expression.
|
| GraphQualifierHierarchy |
Represents the type qualifier hierarchy of a type system.
|
| Heuristics |
Utilities for determining tree-based heuristics.
|
| Heuristics.Matcher |
A base class for tree-matching algorithms.
|
| Heuristics.OfKind |
match() returns true if called on a path whose leaf has the given kind (supplied at
object initialization). |
| Heuristics.OrMatcher |
match() returns true if any of the given matchers returns true. |
| Heuristics.PreceededBy | |
| Heuristics.Within |
match() returns true if called on a path, any element of which matches the given
matcher (supplied at object initialization). |
| Heuristics.WithinTrueBranch |
match() returns true if called on a path whose leaf is within the "then" clause of an
if whose conditon matches the matcher (supplied at object initialization). |
| MultiGraphQualifierHierarchy |
Represents the type qualifier hierarchy of a type system that supports multiple separate subtype
hierarchies.
|
| MultiGraphQualifierHierarchy.MultiGraphFactory |
Factory used to create an instance of
GraphQualifierHierarchy. |
| PurityAnnotatedTypeFactory | |
| PurityChecker |
Perform purity checking only.
|
| TreePathCacher |
TreePathCacher is a TreeScanner that creates and caches a TreePath for a target Tree.
|
| TypeArgumentMapper |
Records any mapping between the type parameters of a subtype to the corresponding type parameters
of a supertype.
|
| Enum | Description |
|---|---|
| AtmCombo |
An enum representing the cartesian product of the set of AtmKinds with itself.
|
| Contract.Kind |
Enumerates the kinds of contracts.
|
| Exception | Description |
|---|---|
| FlowExpressionParseUtil.FlowExpressionParseException |
An exception that indicates a parse error.
|
| Annotation Type | Description |
|---|---|
| PurityUnqualified |
An annotation intended solely for representing an unqualified type in the qualifier hierarchy for
the Purity Checker.
|