Uses of Class
com.ibm.wala.demandpa.alg.PointerKeyAndState

Packages that use PointerKeyAndState

Package	Description
com.ibm.wala.demandpa.alg

Uses of PointerKeyAndState in com.ibm.wala.demandpa.alg

Fields in com.ibm.wala.demandpa.alg declared as PointerKeyAndState

Modifier and Type	Field and Description
protected PointerKeyAndState	DemandRefinementPointsTo.PointsToComputer.queriedPkAndState

Fields in com.ibm.wala.demandpa.alg with type parameters of type PointerKeyAndState

Modifier and Type	Field and Description
protected Map<PointerKeyAndState,com.ibm.wala.util.intset.MutableIntSet>	DemandRefinementPointsTo.PointsToComputer.pkToP2Set
protected Map<PointerKeyAndState,com.ibm.wala.util.intset.MutableIntSet>	DemandRefinementPointsTo.PointsToComputer.pkToTrackedSet

Methods in com.ibm.wala.demandpa.alg that return types with arguments of type PointerKeyAndState

Modifier and Type	Method and Description
Collection<PointerKeyAndState>	DemandRefinementPointsTo.FlowsToComputer.getComputedFlowsToSet()
protected Collection<PointerKeyAndState>	DemandRefinementPointsTo.PointsToComputer.matchingPToQueried(PointerKeyAndState curPkAndState, PointerKey predPk, IFlowLabel label)

Methods in com.ibm.wala.demandpa.alg with parameters of type PointerKeyAndState

Modifier and Type	Method and Description
protected boolean	DemandRefinementPointsTo.PointsToComputer.addAllToP2Set(Map<PointerKeyAndState,com.ibm.wala.util.intset.MutableIntSet> p2setMap, PointerKeyAndState pkAndState, com.ibm.wala.util.intset.IntSet vals, IFlowLabel label)
protected void	DemandRefinementPointsTo.PointsToComputer.addToTrackedPToWorklist(PointerKeyAndState pkAndState)
protected boolean	DemandRefinementPointsTo.PointsToComputer.calleeSubGraphMissingAndShouldNotBeAdded(boolean addGraphs, CGNode callee, PointerKeyAndState pkAndState) when doing backward interprocedural propagation, is it true that we should not add a graph representation for a callee _and_ that the subgraph for the callee is missing?
Collection<InstanceKeyAndState>	DemandRefinementPointsTo.PointsToComputer.getComputedP2Set(PointerKeyAndState queried) get a points-to set that has already been computed via some previous call to DemandRefinementPointsTo.PointsToComputer.compute(); does _not_ do any fresh demand-driven computation.
protected void	DemandRefinementPointsTo.PointsToComputer.handleBackCopy(PointerKeyAndState curPkAndState, PointerKey predPk, IFlowLabel label)
protected boolean	DemandRefinementPointsTo.PointsToComputer.handleTrackedPred(com.ibm.wala.util.intset.MutableIntSet curTrackedSet, PointerKeyAndState predPkAndState, IFlowLabel label) Handle a predecessor when processing some tracked locations
protected boolean	DemandRefinementPointsTo.FlowsToComputer.handleTrackedPred(com.ibm.wala.util.intset.MutableIntSet curTrackedSet, PointerKeyAndState predPkAndState, IFlowLabel label) also update the flows-to set of interest if necessary
protected Collection<PointerKeyAndState>	DemandRefinementPointsTo.PointsToComputer.matchingPToQueried(PointerKeyAndState curPkAndState, PointerKey predPk, IFlowLabel label)

Method parameters in com.ibm.wala.demandpa.alg with type arguments of type PointerKeyAndState

Modifier and Type	Method and Description
protected boolean	DemandRefinementPointsTo.PointsToComputer.addAllToP2Set(Map<PointerKeyAndState,com.ibm.wala.util.intset.MutableIntSet> p2setMap, PointerKeyAndState pkAndState, com.ibm.wala.util.intset.IntSet vals, IFlowLabel label)

Constructors in com.ibm.wala.demandpa.alg with parameters of type PointerKeyAndState

Constructor and Description
DemandRefinementPointsTo.PointsToComputer(PointerKeyAndState pkAndState)