|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--soot.toolkits.graph.HashMutableDirectedGraph | +--soot.jimple.toolkits.invoke.VTATypeGraph
A graph where the nodes are types in the analysed program; edges indicate that there is assignment between two types.
Constructor Summary | |
VTATypeGraph(InvokeGraph ig)
|
Method Summary | |
void |
addNode(java.lang.Object o)
Adds a node to the graph. |
Methods inherited from class soot.toolkits.graph.HashMutableDirectedGraph |
addEdge,
containsEdge,
containsNode,
getHeads,
getNodes,
getPredsOf,
getSuccsOf,
getTails,
iterator,
removeEdge,
removeNode,
size |
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
Constructor Detail |
public VTATypeGraph(InvokeGraph ig)
Method Detail |
public void addNode(java.lang.Object o)
node
- a node to add to the graph.DirectedGraph.getHeads()
,
DirectedGraph.getTails()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |