accrue.analysis.pointer

Class StmtLocalToField

java.lang.Object

accrue.analysis.pointer.PointsToStmt

accrue.analysis.pointer.StmtLocalToField

public class StmtLocalToField
extends PointsToStmt

Field Summary

Fields inherited from class accrue.analysis.pointer.PointsToStmt

origin

Constructor Summary

Constructors

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)

Method Summary

Methods

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()

Methods inherited from class accrue.analysis.pointer.PointsToStmt

equals, hashCode

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

StmtLocalToField

public StmtLocalToField(ReferenceVariable left,
                polyglot.types.FieldInstance fi,
                ReferenceVariable right,
                polyglot.util.Position origin,
                polyglot.types.CodeInstance code)

left.fi = right

StmtLocalToField

public 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)

Method Detail

toString

public java.lang.String toString()

Specified by:

toString in class PointsToStmt

process

public boolean process(CContext context,
              PointsToGraph g,
              StmtRegistrar registrar,
              HeapAbstractionFactory af,
              PointsToEngine.StmtAndContext sac)

Description copied from class: PointsToStmt

Add appropriate edges to the graph g given the context for the LocalNodes and ThisNode. Return true if and only if changes were made to the graph

Specified by:

process in class PointsToStmt