Class DemandValueFlowGraph

All Implemented Interfaces:
IFlowGraph, EdgeManager<Object>, Graph<Object>, LabeledEdgeManager<Object,IFlowLabel>, LabeledGraph<Object,IFlowLabel>, NumberedLabeledEdgeManager<Object,IFlowLabel>, NumberedLabeledGraph<Object,IFlowLabel>, NodeManager<Object>, NumberedEdgeManager<Object>, NumberedGraph<Object>, NumberedNodeManager<Object>, Serializable, Iterable<Object>

public class DemandValueFlowGraph extends AbstractDemandFlowGraph
A flow graph including both pointer and primitive values.

TODO share more code with DemandPointerFlowGraph

Author:
Manu Sridharan
See Also: