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 depthfirst ordering
to place nonloop 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 nonexceptional 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 
An array access.

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 call to a @Deterministic method.

FlowExpressions.Receiver 
The poorlynamed Receiver class is actually a Java AST.

FlowExpressions.ThisReference  
FlowExpressions.Unknown  
FlowExpressions.ValueLiteral  
RegularTransferResult<A extends AbstractValue<A>,S extends Store<S>> 
Implementation of a
TransferResult with just one nonexceptional 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 