public class StmtFieldToLocal extends PointsToStmt
origin
Constructor and Description |
---|
StmtFieldToLocal(ReferenceVariable left,
ReferenceVariable right,
polyglot.types.FieldInstance fi,
polyglot.util.Position origin,
polyglot.types.CodeInstance code)
left = right.fi
|
StmtFieldToLocal(ReferenceVariable left,
ReferenceVariable right,
java.lang.String fieldName,
polyglot.types.Type expectedFieldType,
polyglot.util.Position origin,
polyglot.types.CodeInstance code)
left = right.fi
Only use for "special fields" that have no field instance (such as the
contents of an array)
|
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 StmtFieldToLocal(ReferenceVariable left, ReferenceVariable right, polyglot.types.FieldInstance fi, polyglot.util.Position origin, polyglot.types.CodeInstance code)
public StmtFieldToLocal(ReferenceVariable left, ReferenceVariable right, java.lang.String fieldName, polyglot.types.Type expectedFieldType, 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