soot.jimple.spark.pag
Class PAGDumper

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

public class PAGDumper
extends java.lang.Object

Dumps a pointer assignment graph to a file.


Field Summary
protected  java.util.HashMap fieldMap
           
protected  int fieldNum
           
protected  PAG pag
           
protected  soot.jimple.spark.pag.PAGDumper.ObjectNumberer root
           
 
Constructor Summary
PAGDumper(PAG pag)
           
 
Method Summary
 void dump()
           
protected  void dumpNode(Node n, java.io.PrintWriter out)
           
 void dumpPointsToSets()
           
protected  void dumpTypes(java.io.PrintWriter file)
           
protected  int fieldToNum(SparkField f)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

pag

protected PAG pag

fieldNum

protected int fieldNum

fieldMap

protected java.util.HashMap fieldMap

root

protected soot.jimple.spark.pag.PAGDumper.ObjectNumberer root
Constructor Detail

PAGDumper

public PAGDumper(PAG pag)
Method Detail

dumpPointsToSets

public void dumpPointsToSets()

dump

public void dump()

dumpTypes

protected void dumpTypes(java.io.PrintWriter file)
                  throws java.io.IOException

fieldToNum

protected int fieldToNum(SparkField f)

dumpNode

protected void dumpNode(Node n,
                        java.io.PrintWriter out)
                 throws java.io.IOException