Package org.checkerframework.dataflow.analysis

Interface Summary

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 Summary

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	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 poorly-named 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 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 Summary

Enum	Description
Store.FlowRule	A flow rule describes how stores flow along one edge between basic blocks.
Store.Kind