Class ExplicitCallGraph.ExplicitEdgeManager

java.lang.Object
com.ibm.wala.ipa.callgraph.impl.ExplicitPredecessorsEdgeManager
com.ibm.wala.ipa.callgraph.impl.ExplicitCallGraph.ExplicitEdgeManager
All Implemented Interfaces:
EdgeManager<CGNode>, NumberedEdgeManager<CGNode>
Enclosing class:
ExplicitCallGraph

protected class ExplicitCallGraph.ExplicitEdgeManager extends ExplicitPredecessorsEdgeManager
  • Constructor Details

    • ExplicitEdgeManager

      protected ExplicitEdgeManager()
  • Method Details

    • getSuccNodeNumbers

      public IntSet getSuccNodeNumbers(CGNode node)
      Returns:
      the numbers identifying the immediate successors of node
    • getSuccNodes

      public Iterator<CGNode> getSuccNodes(CGNode N)
      Description copied from interface: EdgeManager
      Return an Iterator over the immediate successor nodes of n

      This method never returns null.

      Returns:
      an Iterator over the immediate successor nodes of n
    • getSuccNodeCount

      public int getSuccNodeCount(CGNode N)
      Description copied from interface: EdgeManager
      Return the number of immediate successor nodes of this Node in the Graph
      Returns:
      the number of immediate successor Nodes of this Node in the Graph.
    • addEdge

      public void addEdge(CGNode src, CGNode dst)
    • removeEdge

      public void removeEdge(CGNode src, CGNode dst)
    • addEdge

      protected void addEdge(int x, int y)
    • removeAllIncidentEdges

      public void removeAllIncidentEdges(CGNode node)
    • removeIncomingEdges

      public void removeIncomingEdges(CGNode node)
    • removeOutgoingEdges

      public void removeOutgoingEdges(CGNode node)
    • hasEdge

      public boolean hasEdge(CGNode src, CGNode dst)