DelegatingNumberedGraph (com.ibm.wala.util 1.5.2 API)

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>, 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

Constructors

Constructor

Description

DelegatingNumberedGraph()
Method Summary

Modifier and Type

Method

Description

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, edgeString, 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.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

Constructor Details
- DelegatingNumberedGraph
  
  public DelegatingNumberedGraph()
Method Details
- 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