See: Description
| Class | Description |
|---|---|
| CFAbstractAnalysis<V extends CFAbstractValue<V>,S extends CFAbstractStore<V,S>,T extends CFAbstractTransfer<V,S,T>> |
CFAbstractAnalysis is an extensible org.checkerframework.dataflow analysis for the Checker
Framework that tracks the annotations using a flow-sensitive analysis. |
| CFAbstractStore<V extends CFAbstractValue<V>,S extends CFAbstractStore<V,S>> |
A store for the checker framework analysis tracks the annotations of memory
locations such as local variables and fields.
|
| CFAbstractTransfer<V extends CFAbstractValue<V>,S extends CFAbstractStore<V,S>,T extends CFAbstractTransfer<V,S,T>> |
The default analysis transfer function for the Checker Framework propagates
information through assignments and uses the
AnnotatedTypeFactory to
provide checker-specific logic how to combine types (e.g., what is the type
of a string concatenation, given the types of the two operands) and as an
abstraction function (e.g., determine the annotations on literals). |
| CFAbstractValue<V extends CFAbstractValue<V>> |
An implementation of an abstract value used by the Checker Framework org.checkerframework.dataflow
analysis.
|
| CFAnalysis |
The default org.checkerframework.dataflow analysis used in the Checker Framework.
|
| CFCFGBuilder |
A control-flow graph builder (see
CFGBuilder) that knows
about the Checker Framework annotations and their representation as
AnnotatedTypeMirrors. |
| CFStore |
The default store used in the Checker Framework.
|
| CFTransfer |
The default transfer function used in the Checker Framework.
|
| CFTreeBuilder |
The TreeBuilder permits the creation of new AST Trees using the
non-public Java compiler API TreeMaker.
|
| CFValue |
The default abstract value used in the Checker Framework.
|