|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Defines a DirectedGraph which is modifiable. Provides an interface to add/delete nodes and edges.
Method Summary | |
void |
addEdge(java.lang.Object from,
java.lang.Object to)
Adds an edge to the graph between 2 nodes. |
void |
addNode(java.lang.Object node)
Adds a node to the graph. |
boolean |
containsEdge(java.lang.Object from,
java.lang.Object to)
|
boolean |
containsNode(java.lang.Object node)
|
java.util.List |
getNodes()
|
void |
removeEdge(java.lang.Object from,
java.lang.Object to)
Removes an edge between 2 nodes in the graph. |
void |
removeNode(java.lang.Object node)
Removes a node from the graph. |
Methods inherited from interface soot.toolkits.graph.DirectedGraph |
getHeads, getPredsOf, getSuccsOf, getTails, iterator, size |
Method Detail |
public void addEdge(java.lang.Object from, java.lang.Object to)
from
- out node for the edge.to
- in node for the edge.public void removeEdge(java.lang.Object from, java.lang.Object to)
from
- out node for the edge to remove.to
- in node for the edge to remove.public boolean containsEdge(java.lang.Object from, java.lang.Object to)
public java.util.List getNodes()
public void addNode(java.lang.Object node)
node
- a node to add to the graph.DirectedGraph.getHeads()
,
DirectedGraph.getTails()
public void removeNode(java.lang.Object node)
node
- the node to be removed.public boolean containsNode(java.lang.Object node)
node
- node that we want to know if the graph constains.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |