| 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. |
| AnnotationBuilder | Deprecated |
| 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.
|
| ComboLog |
Created by jburke on 6/12/14.
|
| ContractsUtils |
A utility class to handle pre- and postconditions.
|
| ContractsUtils.ConditionalPostcondition |
Represents a conditional postcondition that must be verified by
BaseTypeVisitor or
one of its subclasses. |
| ContractsUtils.Contract |
A contract represents an annotation on an expression, along with the kind: precondition,
postcondition, or conditional postcondition.
|
| ContractsUtils.Postcondition | |
| ContractsUtils.Precondition | |
| DefaultAnnotationFormatter |
A utility for converting AnnotationMirrors to Strings.
|
| DependentTypes | |
| ExecUtil | |
| ExecUtil.Redirection | |
| FieldInvariants |
Represents field invariants.
|
| 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 convenience class for tree-matching algorithms.
|
| Heuristics.Matchers | |
| Heuristics.OfKind | |
| Heuristics.OrMatcher | |
| Heuristics.PreceededBy | |
| Heuristics.WithIn | |
| Heuristics.WithinTrueBranch | |
| 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. |
| PluginUtil |
This file contains basic utility functions that should be reused to create a command-line call to
CheckerMain. |
| PurityAnnotatedTypeFactory | |
| PurityChecker |
Perform purity checking only.
|
| QualifierPolymorphism |
Implements framework support for type qualifier polymorphism.
|
| 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.
|
| ContractsUtils.Contract.Kind | |
| PluginUtil.CheckerProp |
| 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
|