Modifier and Type | Field and Description |
---|---|
static int |
TRACE_MAX_LVL |
Constructor and Description |
---|
PagToDotDumper(PAG pag) |
Modifier and Type | Method and Description |
---|---|
void |
dumpP2SetsForLocals(String fName,
String mName)
dumps the points-to sets for all locals in a method in a
dot representation.
|
void |
dumpPAGForMethod(String fName,
String cName,
String mName)
Dump the PAG for some method in the program in
dot format
|
static String |
makeDotNodeLabel(Node n,
Predicate<Node> p)
Generate a node declaration for a dot file.
|
static String |
makeLabel(AllocNode n) |
static String |
makeLabel(FieldRefNode node) |
static String |
makeLabel(LocalVarNode n) |
static String |
makeLabel(VarNode base) |
static String |
makeNodeName(Node n) |
void |
traceLocalVarNode(String fName,
String cName,
String mName,
String varName) |
void |
traceNode(int id) |
void |
traceNode(String cName,
String mName,
String varName) |
public static final int TRACE_MAX_LVL
public PagToDotDumper(PAG pag)
public static String makeDotNodeLabel(Node n, Predicate<Node> p)
node
- the nodep
- a predicate over nodes, which, if true, will
cause the node to appear redString
for the dot filepublic void dumpP2SetsForLocals(String fName, String mName) throws FileNotFoundException
AllocNode
s in its points-to setfName
- a name for the output filemName
- the name of the method whose locals should
be dumpedFileNotFoundException
- if unable to output to specified
filepublic void dumpPAGForMethod(String fName, String cName, String mName) throws FileNotFoundException
fName
- The filename for the outputcName
- The name of the declaring class for the methodmName
- The name of the methodFileNotFoundException
- if output file cannot be writtenpublic void traceNode(int id)
public void traceLocalVarNode(String fName, String cName, String mName, String varName)
public static String makeLabel(LocalVarNode n)
public static String makeLabel(FieldRefNode node)
node
-