Uses of Interface
com.ibm.wala.demandpa.alg.refinepolicy.RefinementPolicy

Packages that use RefinementPolicy

Package	Description
com.ibm.wala.demandpa.alg
com.ibm.wala.demandpa.alg.refinepolicy

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

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

Modifier and Type	Field and Description
protected RefinementPolicy	DemandRefinementPointsTo.refinementPolicy

Methods in com.ibm.wala.demandpa.alg that return RefinementPolicy

Modifier and Type	Method and Description
RefinementPolicy	DemandRefinementPointsTo.getRefinementPolicy()

Uses of RefinementPolicy in com.ibm.wala.demandpa.alg.refinepolicy

Classes in com.ibm.wala.demandpa.alg.refinepolicy that implement RefinementPolicy

Modifier and Type	Class and Description
class	AbstractRefinementPolicy Default RefinementPolicy implementation, delegating to some provided FieldRefinePolicy and CallGraphRefinePolicy
class	ManualRefinementPolicy A refinement policy specified manually with annotations.
class	SinglePassRefinementPolicy A policy for performing a single analysis pass, i.e., with no refinement.
class	TunedRefinementPolicy A refinement policy that iteratively adds more types to refine, based on which type was encountered first in each analysis pass.

Methods in com.ibm.wala.demandpa.alg.refinepolicy that return RefinementPolicy

Modifier and Type	Method and Description
RefinementPolicy	TunedRefinementPolicy.Factory.make()
RefinementPolicy	SinglePassRefinementPolicy.Factory.make()
RefinementPolicy	RefinementPolicyFactory.make()
RefinementPolicy	ManualRefinementPolicy.Factory.make()