protected class DemandRefinementPointsTo.FlowsToComputer extends DemandRefinementPointsTo.PointsToComputer
ikAndStates, pkToP2Set, pkToTrackedSet, queriedPkAndState
Constructor and Description |
---|
FlowsToComputer(InstanceKeyAndState ikAndState) |
Modifier and Type | Method and Description |
---|---|
protected void |
compute() |
Collection<PointerKeyAndState> |
getComputedFlowsToSet() |
protected boolean |
handleTrackedPred(MutableIntSet curTrackedSet,
PointerKeyAndState predPkAndState,
IFlowLabel label)
also update the flows-to set of interest if necessary
|
addAllToP2Set, addToTrackedPToWorklist, calleeSubGraphMissingAndShouldNotBeAdded, find, findOrCreate, getComputedP2Set, handleBackCopy, handleTrackedPointsToWorklist, makePassOverFieldStmts, matchingPToQueried, worklistLoop
public FlowsToComputer(InstanceKeyAndState ikAndState)
protected void compute()
compute
in class DemandRefinementPointsTo.PointsToComputer
public Collection<PointerKeyAndState> getComputedFlowsToSet()
protected boolean handleTrackedPred(MutableIntSet curTrackedSet, PointerKeyAndState predPkAndState, IFlowLabel label)
handleTrackedPred
in class DemandRefinementPointsTo.PointsToComputer
curTrackedSet
- the tracked locationspredPkAndState
- the predecessor