soot.jimple.toolkits.invoke
Class VTATypeGraph

java.lang.Object
  |
  +--soot.toolkits.graph.HashMutableDirectedGraph
        |
        +--soot.jimple.toolkits.invoke.VTATypeGraph

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.


Constructor Summary
VTATypeGraph(InvokeGraph ig)
           
 
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
 

Constructor Detail

VTATypeGraph

public VTATypeGraph(InvokeGraph ig)
Method Detail

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.
Overrides:
addNode in class HashMutableDirectedGraph
Tags copied from interface: 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.
Overrides:
addEdge in class HashMutableDirectedGraph
Tags copied from interface: 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.