public class StmtLocalToLocal extends PointsToStmt
origin
Constructor and Description |
---|
StmtLocalToLocal(ReferenceVariable left,
ReferenceVariable 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
public StmtLocalToLocal(ReferenceVariable left, ReferenceVariable 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