Package soot.jimple.spark.ondemand

Class DemandCSPointsTo.IncomingEdgeHandler

java.lang.Object

soot.jimple.spark.ondemand.DemandCSPointsTo.IncomingEdgeHandler

Enclosing class:

DemandCSPointsTo

protected abstract static class DemandCSPointsTo.IncomingEdgeHandler
extends Object

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	IncomingEdgeHandler()

Method Summary

Modifier and Type	Method	Description
abstract void	handleAlloc(AllocNode allocNode, DemandCSPointsTo.VarAndContext origVarAndContext)
abstract void	handleMatchSrc(VarNode matchSrc, PointsToSetInternal intersection, VarNode loadBase, VarNode storeBase, DemandCSPointsTo.VarAndContext origVarAndContext, SparkField field, boolean refine)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

IncomingEdgeHandler

protected IncomingEdgeHandler()

Method Detail

handleAlloc

public abstract void handleAlloc(AllocNode allocNode,
                                 DemandCSPointsTo.VarAndContext origVarAndContext)

handleMatchSrc

public abstract void handleMatchSrc(VarNode matchSrc,
                                    PointsToSetInternal intersection,
                                    VarNode loadBase,
                                    VarNode storeBase,
                                    DemandCSPointsTo.VarAndContext origVarAndContext,
                                    SparkField field,
                                    boolean refine)