public class PointsToGraphSerial extends PointsToGraph
af, engine, solved
Constructor and Description |
---|
PointsToGraphSerial(HeapAbstractionFactory af,
StmtRegistrar registrar) |
Modifier and Type | Method and Description |
---|---|
boolean |
addCall(PointsToEngine.StmtAndContext sac,
polyglot.types.CodeInstance caller,
CContext callerContext,
polyglot.types.ProcedureInstance callee,
CContext calleeContext,
polyglot.util.Position origin) |
boolean |
addEdge(PointsToEngine.StmtAndContext sac,
PointsToGraphNode src,
HContext trg,
polyglot.util.Position origin)
Returns true iff changes were made to the graph.
|
boolean |
addEdges(PointsToEngine.StmtAndContext sac,
PointsToGraphNode src,
java.util.Set<HContext> trgs,
polyglot.util.Position origin)
Returns true iff changes were made to the graph.
|
accrue.analysis.pointer.CallGraph |
callGraph() |
void |
dump(java.io.PrintStream out)
Dump the graph in a human readable form.
|
void |
dumpPointsToGraph(int level)
Dump the graph in GraphViz dot format.
|
long |
edgeSize() |
java.util.Set<CContext> |
getContexts(polyglot.types.CodeInstance pi) |
java.util.Set<HContext> |
pointsTo(PointsToEngine.StmtAndContext sac,
PointsToGraphNode r) |
java.lang.String |
toString() |
equals, hashCode, nodeSize, pointsTo, pointsToFiltered, pointsToFiltered
public PointsToGraphSerial(HeapAbstractionFactory af, StmtRegistrar registrar)
public boolean addEdges(PointsToEngine.StmtAndContext sac, PointsToGraphNode src, java.util.Set<HContext> trgs, polyglot.util.Position origin)
addEdges
in class PointsToGraph
src
- trgs
- public boolean addEdge(PointsToEngine.StmtAndContext sac, PointsToGraphNode src, HContext trg, polyglot.util.Position origin)
addEdge
in class PointsToGraph
src
- trgs
- public java.util.Set<HContext> pointsTo(PointsToEngine.StmtAndContext sac, PointsToGraphNode r)
pointsTo
in class PointsToGraph
public java.util.Set<CContext> getContexts(polyglot.types.CodeInstance pi)
getContexts
in class PointsToGraph
public boolean addCall(PointsToEngine.StmtAndContext sac, polyglot.types.CodeInstance caller, CContext callerContext, polyglot.types.ProcedureInstance callee, CContext calleeContext, polyglot.util.Position origin)
addCall
in class PointsToGraph
public void dump(java.io.PrintStream out)
PointsToGraph
dump
in class PointsToGraph
public long edgeSize()
edgeSize
in class PointsToGraph
public accrue.analysis.pointer.CallGraph callGraph()
callGraph
in class PointsToGraph
public java.lang.String toString()
toString
in class java.lang.Object
public void dumpPointsToGraph(int level)
PointsToGraph
dumpPointsToGraph
in class PointsToGraph