| Interface | Description |
|---|---|
| AbstractValue<V extends AbstractValue<V>> |
An abstract value used in the org.checkerframework.dataflow analysis.
|
| Store<S extends Store<S>> |
A store is used to keep track of the information that the org.checkerframework.dataflow analysis
has accumulated at any given point in time.
|
| TransferFunction<A extends AbstractValue<A>,S extends Store<S>> |
Interface of a transfer function for the abstract interpretation used for the flow analysis.
|
| Class | Description |
|---|---|
| Analysis<A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>> |
An implementation of an iterative algorithm to solve a org.checkerframework.dataflow problem,
given a control flow graph and a transfer function.
|
| Analysis.Worklist |
A worklist is a priority queue of blocks in which the order is given by depth-first ordering
to place non-loop predecessors ahead of successors.
|
| AnalysisResult<A extends AbstractValue<A>,S extends Store<S>> |
An
AnalysisResult represents the result of a org.checkerframework.dataflow analysis by
providing the abstract values given a node or a tree. |
| ConditionalTransferResult<A extends AbstractValue<A>,S extends Store<S>> |
Implementation of a
TransferResult with two non-exceptional store; one for the 'then'
edge and one for 'else'. |
| FlowExpressions |
Collection of classes and helper functions to represent Java expressions about which the
org.checkerframework.dataflow analysis can possibly infer facts.
|
| FlowExpressions.ArrayAccess |
A deterministic method call.
|
| FlowExpressions.ArrayCreation | |
| FlowExpressions.ClassName |
A ClassName represents the occurrence of a class as part of a static field access or method
invocation.
|
| FlowExpressions.FieldAccess | |
| FlowExpressions.LocalVariable | |
| FlowExpressions.MethodCall |
A method call.
|
| FlowExpressions.Receiver | |
| FlowExpressions.ThisReference | |
| FlowExpressions.Unknown | |
| FlowExpressions.ValueLiteral | |
| RegularTransferResult<A extends AbstractValue<A>,S extends Store<S>> |
Implementation of a
TransferResult with just one non-exceptional store. |
| TransferInput<A extends AbstractValue<A>,S extends Store<S>> |
TransferInput is used as the input type of the individual transfer functions of a TransferFunction. |
| TransferResult<A extends AbstractValue<A>,S extends Store<S>> |
TransferResult is used as the result type of the individual transfer functions of a
TransferFunction. |
| Enum | Description |
|---|---|
| Store.FlowRule |
A flow rule describes how stores flow along one edge between basic blocks.
|
| Store.Kind |