Class ControlDependenceGraph<T>
java.lang.Object
com.ibm.wala.util.graph.AbstractGraph<T>
com.ibm.wala.util.graph.AbstractNumberedGraph<T>
com.ibm.wala.cfg.cdg.ControlDependenceGraph<T>
- All Implemented Interfaces:
EdgeManager<T>
,Graph<T>
,NodeManager<T>
,NumberedEdgeManager<T>
,NumberedGraph<T>
,NumberedNodeManager<T>
,Iterable<T>
Control Dependence Graph
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionboolean
controlEquivalent
(T bb1, T bb2) getEdgeLabels
(T from, T to) Return the set of edge labels for the control flow edges that cause the given edge in the CDG.protected Object
makeEdgeLabel
(T from, T to, T s) toString()
Methods inherited from class com.ibm.wala.util.graph.AbstractNumberedGraph
getMaxNumber, getNode, getNumber, getPredNodeNumbers, getSuccNodeNumbers, iterateNodes
Methods inherited from class com.ibm.wala.util.graph.AbstractGraph
addEdge, addNode, containsNode, edgeString, getNumberOfNodes, getPredNodeCount, getPredNodes, getSuccNodeCount, getSuccNodes, hasEdge, iterator, nodeString, removeAllIncidentEdges, removeEdge, removeIncomingEdges, removeNode, removeNodeAndEdges, removeOutgoingEdges, stream
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
Methods inherited from interface com.ibm.wala.util.graph.EdgeManager
addEdge, getPredNodeCount, getPredNodes, getSuccNodeCount, getSuccNodes, hasEdge, removeAllIncidentEdges, removeEdge, removeIncomingEdges, removeOutgoingEdges
Methods inherited from interface com.ibm.wala.util.graph.Graph
removeNodeAndEdges
Methods inherited from interface java.lang.Iterable
forEach, spliterator
Methods inherited from interface com.ibm.wala.util.graph.NodeManager
addNode, containsNode, getNumberOfNodes, iterator, removeNode, stream
-
Constructor Details
-
ControlDependenceGraph
- Parameters:
cfg
- governing control flow graphwantEdgeLabels
- whether to compute edge labels for CDG edges
-
ControlDependenceGraph
- Parameters:
cfg
- governing control flow graph
-
-
Method Details
-
makeEdgeLabel
-
toString
- Overrides:
toString
in classAbstractGraph<T>
-
getControlFlowGraph
-
getEdgeLabels
-
getNodeManager
- Specified by:
getNodeManager
in classAbstractNumberedGraph<T>
- Returns:
- the object which manages nodes in the graph
-
getEdgeManager
- Specified by:
getEdgeManager
in classAbstractNumberedGraph<T>
- Returns:
- the object which manages edges in the graph
-
controlEquivalent
-