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	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	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