accrue.analysis.pointer

Class StmtFilteredLocalToLocal

java.lang.Object

accrue.analysis.pointer.PointsToStmt

accrue.analysis.pointer.StmtFilteredLocalToLocal

public class StmtFilteredLocalToLocal
extends PointsToStmt

left = right, but only allow left to point to objects that are subtypes ot t and are not subtypes of any element of notT.

Field Summary

Fields inherited from class accrue.analysis.pointer.PointsToStmt

origin

Constructor Summary

Constructors

Constructor and Description
StmtFilteredLocalToLocal(ReferenceVariable left, ReferenceVariable right, polyglot.types.Type t, java.util.Set<polyglot.types.Type> notT, polyglot.util.Position origin, polyglot.types.CodeInstance code)

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

StmtFilteredLocalToLocal

public StmtFilteredLocalToLocal(ReferenceVariable left,
                        ReferenceVariable right,
                        polyglot.types.Type t,
                        java.util.Set<polyglot.types.Type> notT,
                        polyglot.util.Position origin,
                        polyglot.types.CodeInstance code)

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