public class StmtAllocToLocal extends PointsToStmt
Modifier and Type | Field and Description |
---|---|
protected ReferenceVariable |
left |
protected AllocSiteNode |
right |
origin
Constructor and Description |
---|
StmtAllocToLocal(ReferenceVariable left,
AllocSiteNode right,
polyglot.util.Position origin,
polyglot.types.CodeInstance code) |
Modifier and Type | Method and Description |
---|---|
boolean |
process(CContext context,
PointsToGraph g,
StmtRegistrar registrar,
HeapAbstractionFactory af,
PointsToEngine.StmtAndContext sac)
Add appropriate edges to the graph g given the context for the LocalNodes and
ThisNode.
|
java.lang.String |
toString() |
equals, hashCode
protected final ReferenceVariable left
protected final AllocSiteNode right
public StmtAllocToLocal(ReferenceVariable left, AllocSiteNode right, polyglot.util.Position origin, polyglot.types.CodeInstance code)
public java.lang.String toString()
toString
in class PointsToStmt
public boolean process(CContext context, PointsToGraph g, StmtRegistrar registrar, HeapAbstractionFactory af, PointsToEngine.StmtAndContext sac)
PointsToStmt
process
in class PointsToStmt