E
- public class PointsToGraphSync extends PointsToGraph
af, solved
Constructor and Description |
---|
PointsToGraphSync(StmtRegistrar registrar,
PointsToEngineMultiThread engine) |
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) |
boolean |
addEdges(PointsToEngine.StmtAndContext sac,
PointsToGraphNode src,
java.util.Set<HContext> trgs,
polyglot.util.Position origin) |
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<PointsToGraphNode> |
getNodes() |
java.util.Set<HContext> |
pointsTo(PointsToEngine.StmtAndContext sac,
PointsToGraphNode r) |
java.lang.String |
toString() |
equals, hashCode, nodeSize, pointsTo, pointsToFiltered, pointsToFiltered
public PointsToGraphSync(StmtRegistrar registrar, PointsToEngineMultiThread engine)
public java.util.Set<CContext> getContexts(polyglot.types.CodeInstance pi)
getContexts
in class PointsToGraph
public java.util.Set<PointsToGraphNode> getNodes()
public accrue.analysis.pointer.CallGraph callGraph()
callGraph
in class PointsToGraph
public void dump(java.io.PrintStream out)
PointsToGraph
dump
in class PointsToGraph
public long edgeSize()
edgeSize
in class PointsToGraph
public java.lang.String toString()
toString
in class java.lang.Object
public void dumpPointsToGraph(int level)
PointsToGraph
dumpPointsToGraph
in class PointsToGraph
public boolean addEdge(PointsToEngine.StmtAndContext sac, PointsToGraphNode src, HContext trg, polyglot.util.Position origin)
addEdge
in class PointsToGraph
public boolean addEdges(PointsToEngine.StmtAndContext sac, PointsToGraphNode src, java.util.Set<HContext> trgs, polyglot.util.Position origin)
addEdges
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 java.util.Set<HContext> pointsTo(PointsToEngine.StmtAndContext sac, PointsToGraphNode r)
pointsTo
in class PointsToGraph