accrue.analysis.pointer

Class StmtFieldToLocal

java.lang.Object

accrue.analysis.pointer.PointsToStmt

accrue.analysis.pointer.StmtFieldToLocal

public class StmtFieldToLocal
extends PointsToStmt

Field Summary

Fields inherited from class accrue.analysis.pointer.PointsToStmt

origin

Constructor Summary

Constructors

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)

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

StmtFieldToLocal

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

left = right.fi

StmtFieldToLocal

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

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