com.ibm.wala.util.graph.impl
Class DelegatingNumberedGraph<T extends INodeWithNumberedEdges>

java.lang.Object
  com.ibm.wala.util.graph.AbstractGraph<T>
      com.ibm.wala.util.graph.AbstractNumberedGraph<T>
          com.ibm.wala.util.graph.impl.DelegatingNumberedGraph<T>

All Implemented Interfaces:

EdgeManager<T>, Graph<T>, NodeManager<T>, NumberedEdgeManager<T>, NumberedGraph<T>, NumberedNodeManager<T>, java.lang.Iterable<T>

public class DelegatingNumberedGraph<T extends INodeWithNumberedEdges>
extends AbstractNumberedGraph<T>

Basic functionality for a graph that delegates node and edge management, and tracks node numbers

Constructor Summary

DelegatingNumberedGraph()

Method Summary

protected NumberedEdgeManager<T>	getEdgeManager()
protected NumberedNodeManager<T>	getNodeManager()

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, getNumberOfNodes, getPredNodeCount, getPredNodes, getSuccNodeCount, getSuccNodes, hasEdge, iterator, removeAllIncidentEdges, removeEdge, removeIncomingEdges, removeNode, removeNodeAndEdges, removeOutgoingEdges, toString

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

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

addNode, containsNode, getNumberOfNodes, iterator, removeNode

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

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

Constructor Detail

DelegatingNumberedGraph

public DelegatingNumberedGraph()

Method Detail

getNodeManager

protected NumberedNodeManager<T> getNodeManager()

Specified by:

getNodeManager in class AbstractNumberedGraph<T extends INodeWithNumberedEdges>

Returns:

the object which manages nodes in the graph

getEdgeManager

protected NumberedEdgeManager<T> getEdgeManager()

Specified by:

getEdgeManager in class AbstractNumberedGraph<T extends INodeWithNumberedEdges>

Returns:

the object which manages edges in the graph