com.ibm.wala.cfg.cdg

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:

com.ibm.wala.util.graph.EdgeManager<T>, com.ibm.wala.util.graph.Graph<T>, com.ibm.wala.util.graph.NodeManager<T>, com.ibm.wala.util.graph.NumberedEdgeManager<T>, com.ibm.wala.util.graph.NumberedGraph<T>, com.ibm.wala.util.graph.NumberedNodeManager<T>, java.lang.Iterable<T>

public class ControlDependenceGraph<T>
extends com.ibm.wala.util.graph.AbstractNumberedGraph<T>

Control Dependence Graph

Constructor Summary

Constructors

Constructor and Description
ControlDependenceGraph(MinimalCFG<T> cfg)
ControlDependenceGraph(MinimalCFG<T> cfg, boolean wantEdgeLabels)

Method Summary

Modifier and Type	Method and Description
boolean	controlEquivalent(T bb1, T bb2)
MinimalCFG<T>	getControlFlowGraph()
java.util.Set<? extends java.lang.Object>	getEdgeLabels(T from, T to) Return the set of edge labels for the control flow edges that cause the given edge in the CDG.
com.ibm.wala.util.graph.NumberedEdgeManager<T>	getEdgeManager()
com.ibm.wala.util.graph.NumberedNodeManager<T>	getNodeManager()
protected java.lang.Object	makeEdgeLabel(T from, T to, T s)
java.lang.String	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, 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.Graph

removeNodeAndEdges

Methods inherited from interface com.ibm.wala.util.graph.NodeManager

addNode, containsNode, getNumberOfNodes, iterator, removeNode, stream

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface com.ibm.wala.util.graph.EdgeManager

addEdge, getPredNodeCount, getPredNodes, getSuccNodeCount, getSuccNodes, hasEdge, removeAllIncidentEdges, removeEdge, removeIncomingEdges, removeOutgoingEdges

Constructor Detail

ControlDependenceGraph

public ControlDependenceGraph(MinimalCFG<T> cfg,
                              boolean wantEdgeLabels)

Parameters:

cfg - governing control flow graph

wantEdgeLabels - whether to compute edge labels for CDG edges

ControlDependenceGraph

public ControlDependenceGraph(MinimalCFG<T> cfg)

Parameters:

cfg - governing control flow graph

Method Detail

makeEdgeLabel

protected java.lang.Object makeEdgeLabel(T from,
                                         T to,
                                         T s)

toString

public java.lang.String toString()

Overrides:

toString in class com.ibm.wala.util.graph.AbstractGraph<T>

getControlFlowGraph

public MinimalCFG<T> getControlFlowGraph()

getEdgeLabels

public java.util.Set<? extends java.lang.Object> getEdgeLabels(T from,
                                                               T to)

Return the set of edge labels for the control flow edges that cause the given edge in the CDG. Requires that the CDG be constructed with wantEdgeLabels being true.

getNodeManager

public com.ibm.wala.util.graph.NumberedNodeManager<T> getNodeManager()

Overrides:

getNodeManager in class com.ibm.wala.util.graph.AbstractNumberedGraph<T>

getEdgeManager

public com.ibm.wala.util.graph.NumberedEdgeManager<T> getEdgeManager()

Overrides:

getEdgeManager in class com.ibm.wala.util.graph.AbstractNumberedGraph<T>

controlEquivalent

public boolean controlEquivalent(T bb1,
                                 T bb2)