Class ManualRefinementPolicy
- java.lang.Object
-
- com.ibm.wala.demandpa.alg.refinepolicy.AbstractRefinementPolicy
-
- com.ibm.wala.demandpa.alg.refinepolicy.ManualRefinementPolicy
-
- All Implemented Interfaces:
RefinementPolicy
public class ManualRefinementPolicy extends AbstractRefinementPolicy
A refinement policy specified manually with annotations.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
ManualRefinementPolicy.Factory
-
Field Summary
-
Fields inherited from class com.ibm.wala.demandpa.alg.refinepolicy.AbstractRefinementPolicy
budgetPerPass, cgRefinePolicy, DEFAULT_NUM_PASSES, fieldRefinePolicy, LONGER_PASS_BUDGET, numPasses
-
-
Method Summary
-
Methods inherited from class com.ibm.wala.demandpa.alg.refinepolicy.AbstractRefinementPolicy
getBudgetForPass, getCallGraphRefinePolicy, getFieldRefinePolicy, getNumPasses, nextPass
-
-