|
|||||||||||
| 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(Object from,
Object to)
Adds an edge to the graph between 2 nodes. |
void |
addNode(Object node)
Adds a node to the graph. |
boolean |
containsEdge(Object from,
Object to)
|
boolean |
containsNode(Object node)
|
List |
getNodes()
|
void |
removeEdge(Object from,
Object to)
Removes an edge between 2 nodes in the graph. |
void |
removeNode(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(Object from,
Object to)
from - out node for the edge.to - in node for the edge.
public void removeEdge(Object from,
Object to)
from - out node for the edge to remove.to - in node for the edge to remove.
public boolean containsEdge(Object from,
Object to)
public List getNodes()
public void addNode(Object node)
node - a node to add to the graph.DirectedGraph.getHeads(),
DirectedGraph.getTails()public void removeNode(Object node)
node - the node to be removed.public boolean containsNode(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 | ||||||||||