Class ManualRefinementPolicy
java.lang.Object
com.ibm.wala.demandpa.alg.refinepolicy.AbstractRefinementPolicy
com.ibm.wala.demandpa.alg.refinepolicy.ManualRefinementPolicy
- All Implemented Interfaces:
RefinementPolicy
A refinement policy specified manually with annotations.
- Author:
- Manu Sridharan
-
Nested Class Summary
-
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