public abstract class PointsToStmt
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
polyglot.util.Position |
origin |
Constructor and Description |
---|
PointsToStmt(polyglot.util.Position origin,
polyglot.types.CodeInstance code,
polyglot.types.Type leftType,
polyglot.types.Type rightType,
boolean isRightTypePrecise) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
int |
hashCode() |
abstract 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.
|
abstract java.lang.String |
toString() |
public PointsToStmt(polyglot.util.Position origin, polyglot.types.CodeInstance code, polyglot.types.Type leftType, polyglot.types.Type rightType, boolean isRightTypePrecise)
public abstract boolean process(CContext context, PointsToGraph g, StmtRegistrar registrar, HeapAbstractionFactory af, PointsToEngine.StmtAndContext sac)
public abstract java.lang.String toString()
toString
in class java.lang.Object
public final boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public final int hashCode()
hashCode
in class java.lang.Object