soot.jimple.spark.pag
Class MethodPAG

java.lang.Object
  extended bysoot.jimple.spark.pag.AbstractMethodPAG
      extended bysoot.jimple.spark.pag.MethodPAG

public final class MethodPAG
extends AbstractMethodPAG

Part of a pointer assignment graph for a single method.

Author:
Ondrej Lhotak

Field Summary
 
Fields inherited from class soot.jimple.spark.pag.AbstractMethodPAG
hasBeenAdded, hasBeenBuilt, nodeFactory
 
Constructor Summary
protected MethodPAG(PAG pag, SootMethod m)
           
 
Method Summary
 void addInEdge(Node src, Node dst)
           
 void addInternalEdge(Node src, Node dst)
           
 void addOutEdge(Node src, Node dst)
           
 void addToPAG(java.lang.Object varNodeParameter)
          Adds this method to the main PAG, with all VarNodes parameterized by varNodeParameter.
 AbstractPAG pag()
           
 
Methods inherited from class soot.jimple.spark.pag.AbstractMethodPAG
addMiscEdges, build, buildNative, buildNormal, getMethod, nodeFactory, parameterize, parameterize, parameterize, v
 
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

pag

public AbstractPAG pag()
Specified by:
pag in class AbstractMethodPAG

addToPAG

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

Specified by:
addToPAG in class AbstractMethodPAG

addInternalEdge

public void addInternalEdge(Node src,
                            Node dst)
Specified by:
addInternalEdge in class AbstractMethodPAG

addInEdge

public void addInEdge(Node src,
                      Node dst)
Specified by:
addInEdge in class AbstractMethodPAG

addOutEdge

public void addOutEdge(Node src,
                       Node dst)
Specified by:
addOutEdge in class AbstractMethodPAG