public class StmtLocalToField extends PointsToStmt
origin
Constructor and Description |
---|
StmtLocalToField(ReferenceVariable left,
polyglot.types.FieldInstance fi,
ReferenceVariable right,
polyglot.util.Position origin,
polyglot.types.CodeInstance code)
left.fi = right
|
StmtLocalToField(ReferenceVariable left,
java.lang.String fieldName,
polyglot.types.Type expectedFieldType,
ReferenceVariable right,
polyglot.util.Position origin,
polyglot.types.CodeInstance code)
left.fi = right
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 StmtLocalToField(ReferenceVariable left, polyglot.types.FieldInstance fi, ReferenceVariable right, polyglot.util.Position origin, polyglot.types.CodeInstance code)
public StmtLocalToField(ReferenceVariable left, java.lang.String fieldName, polyglot.types.Type expectedFieldType, 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