public class ReachingTypeDumper extends Object
Modifier and Type | Field and Description |
---|---|
protected String |
output_dir |
protected PointsToAnalysis |
pa |
Constructor and Description |
---|
ReachingTypeDumper(PointsToAnalysis pa,
String output_dir) |
Modifier and Type | Method and Description |
---|---|
void |
dump() |
protected void |
handleClass(PrintWriter out,
SootClass c) |
protected PointsToAnalysis pa
protected String output_dir
public ReachingTypeDumper(PointsToAnalysis pa, String output_dir)
public void dump()
protected void handleClass(PrintWriter out, SootClass c)