public class DotPointerGraph extends Object
Constructor and Description |
---|
DotPointerGraph() |
Modifier and Type | Method and Description |
---|---|
void |
addAssign(VarNode from,
VarNode to) |
void |
addCall(VarNode from,
VarNode to,
Integer callSite) |
void |
addLoad(FieldRefNode from,
VarNode to) |
void |
addMatch(VarNode from,
VarNode to) |
void |
addNew(AllocNode from,
VarNode to) |
void |
addStore(VarNode from,
FieldRefNode to) |
void |
dump(String filename) |
int |
numEdges() |
public void addLoad(FieldRefNode from, VarNode to)
public void addStore(VarNode from, FieldRefNode to)
public int numEdges()
public void dump(String filename)