public class StmtFilteredLocalToLocal extends PointsToStmt
origin
Constructor and Description |
---|
StmtFilteredLocalToLocal(ReferenceVariable left,
ReferenceVariable right,
polyglot.types.Type t,
java.util.Set<polyglot.types.Type> notT,
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 StmtFilteredLocalToLocal(ReferenceVariable left, ReferenceVariable right, polyglot.types.Type t, java.util.Set<polyglot.types.Type> notT, 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