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)