soot.jimple.toolkits.invoke
Class VTATypeGraph
java.lang.Object
|
+--soot.toolkits.graph.HashMutableDirectedGraph
|
+--soot.jimple.toolkits.invoke.VTATypeGraph
- All Implemented Interfaces:
- DirectedGraph, MutableDirectedGraph, TypeGraph
- public class VTATypeGraph
- extends HashMutableDirectedGraph
- implements TypeGraph
A graph where the nodes are types in the analysed program;
edges indicate that there is assignment between two types.
Method Summary |
void |
addEdge(java.lang.Object o,
java.lang.Object p)
Adds an edge to the graph between 2 nodes. |
void |
addNode(java.lang.Object o)
Adds a node to the graph. |
static boolean |
isRefLikeType(Type t)
Returns true if t is RefType or ArrayType. |
int |
numEdges()
|
Methods inherited from class soot.toolkits.graph.HashMutableDirectedGraph |
clearAll, clone, containsEdge, containsNode, getHeads, getNodes, getPredsOf, getSuccsOf, getTails, iterator, removeEdge, removeNode, size |
Methods inherited from class java.lang.Object |
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
VTATypeGraph
public VTATypeGraph(InvokeGraph ig)
addNode
public void addNode(java.lang.Object o)
- Description copied from interface:
MutableDirectedGraph
- Adds a node to the graph. Initially the added node has no successors or predecessors.
; as a consequence it is considered both a head and tail for the graph.
- Specified by:
addNode
in interface MutableDirectedGraph
- Overrides:
addNode
in class HashMutableDirectedGraph
- Following copied from interface:
soot.toolkits.graph.MutableDirectedGraph
- Parameters:
node
- a node to add to the graph.- See Also:
DirectedGraph.getHeads()
,
DirectedGraph.getTails()
addEdge
public void addEdge(java.lang.Object o,
java.lang.Object p)
- Description copied from interface:
MutableDirectedGraph
- Adds an edge to the graph between 2 nodes.
If the edge is already present no change is made.
- Specified by:
addEdge
in interface MutableDirectedGraph
- Overrides:
addEdge
in class HashMutableDirectedGraph
- Following copied from interface:
soot.toolkits.graph.MutableDirectedGraph
- Parameters:
from
- out node for the edge.to
- in node for the edge.
numEdges
public int numEdges()
isRefLikeType
public static boolean isRefLikeType(Type t)
- Returns true if t is RefType or ArrayType.