Uses of Class
com.ibm.wala.demandpa.alg.DemandRefinementPointsTo.PointsToResult

Packages that use DemandRefinementPointsTo.PointsToResult

Package	Description
com.ibm.wala.demandpa.alg

Uses of DemandRefinementPointsTo.PointsToResult in com.ibm.wala.demandpa.alg

Methods in com.ibm.wala.demandpa.alg that return DemandRefinementPointsTo.PointsToResult

Modifier and Type	Method and Description
DemandRefinementPointsTo.PointsToResult	DemandRefinementPointsTo.pointsToPassesPred(PointerKey pk, com.ibm.wala.util.Predicate<InstanceKey> ikeyPred, PointerAnalysis<InstanceKey> pa) check if the points-to set of a variable passes some predicate, without necessarily computing the whole points-to set
static DemandRefinementPointsTo.PointsToResult	DemandRefinementPointsTo.PointsToResult.valueOf(String name) Returns the enum constant of this type with the specified name.
static DemandRefinementPointsTo.PointsToResult[]	DemandRefinementPointsTo.PointsToResult.values() Returns an array containing the constants of this enum type, in the order they are declared.

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

Modifier and Type	Method and Description
com.ibm.wala.util.collections.Pair<DemandRefinementPointsTo.PointsToResult,Collection<PointerKey>>	DemandRefinementPointsTo.getFlowsTo(InstanceKey ik) get all the pointer keys that some instance key can flow to
com.ibm.wala.util.collections.Pair<DemandRefinementPointsTo.PointsToResult,Collection<PointerKey>>	DemandRefinementPointsTo.getFlowsTo(InstanceKeyAndState ikAndState) get all the pointer keys that some instance key with state can flow to
com.ibm.wala.util.collections.Pair<DemandRefinementPointsTo.PointsToResult,Collection<InstanceKey>>	DemandRefinementPointsTo.getPointsTo(PointerKey pk, com.ibm.wala.util.Predicate<InstanceKey> ikeyPred) compute a points-to set for a pointer key, aiming to satisfy some predicate