soot.jimple.spark.pag
Class MethodPAG

java.lang.Object
  |
  +--soot.jimple.spark.pag.MethodPAG

public final class MethodPAG
extends java.lang.Object

Part of a pointer assignment graph for a single method.


Constructor Summary
protected MethodPAG(PAG pag, SootMethod m)
           
 
Method Summary
 void addEdge(Node src, Node dst)
           
protected  void addMiscEdges()
           
 void addToPAG(java.lang.Object varNodeParameter)
          Adds this method to the main PAG, with all VarNodes parameterized by varNodeParameter.
 void build()
           
protected  void buildNative()
           
protected  void buildNormal()
           
 SootMethod getMethod()
           
 Node parameterize(Node n, java.lang.Object varNodeParameter)
           
static MethodPAG v(PAG pag, SootMethod m)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MethodPAG

protected MethodPAG(PAG pag,
                    SootMethod m)
Method Detail

v

public static MethodPAG v(PAG pag,
                          SootMethod m)

build

public void build()

getMethod

public SootMethod getMethod()

parameterize

public Node parameterize(Node n,
                         java.lang.Object varNodeParameter)

addToPAG

public void addToPAG(java.lang.Object varNodeParameter)
Adds this method to the main PAG, with all VarNodes parameterized by varNodeParameter.

addEdge

public void addEdge(Node src,
                    Node dst)

buildNormal

protected void buildNormal()

buildNative

protected void buildNative()

addMiscEdges

protected void addMiscEdges()