Class SinglePassRefinementPolicy
- java.lang.Object
-
- com.ibm.wala.demandpa.alg.refinepolicy.AbstractRefinementPolicy
-
- com.ibm.wala.demandpa.alg.refinepolicy.SinglePassRefinementPolicy
-
- All Implemented Interfaces:
RefinementPolicy
public class SinglePassRefinementPolicy extends AbstractRefinementPolicy
A policy for performing a single analysis pass, i.e., with no refinement.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
SinglePassRefinementPolicy.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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
nextPass()
-
Methods inherited from class com.ibm.wala.demandpa.alg.refinepolicy.AbstractRefinementPolicy
getBudgetForPass, getCallGraphRefinePolicy, getFieldRefinePolicy, getNumPasses
-
-
-
-
Method Detail
-
nextPass
public boolean nextPass()
- Specified by:
nextPass
in interfaceRefinementPolicy
- Overrides:
nextPass
in classAbstractRefinementPolicy
- Returns:
true
if more refinement can be done, and hence another pass can be attempted;false
otherwise
-
-