- Direct Known Subclasses:
- CopyPropagator.DataFlowItem, DeadCodeEliminator.DataFlowItem, DefiniteAssignmentChecker.FlowItem, ExitChecker.DataFlowItem, InitChecker.FlowItem, ReachChecker.DataFlowItem
- Enclosing class:
- DataFlow<FlowItem extends DataFlow.Item>
public abstract static class DataFlow.Item
extends java.lang.Object
An Item
contains the data which flows during dataflow
analysis. Each node in the flow graph has two items associated with it:
the input item, and the output item, which results from calling
flow
with the input item. The input item may itself be the
result of a call to the confluence method, if many paths flow into the
same node.
NOTE: the equals(Item)
method and hashCode()
methods must be implemented to ensure that the dataflow algorithm works
correctly.