Class SinglePassRefinementPolicy
java.lang.Object
com.ibm.wala.demandpa.alg.refinepolicy.AbstractRefinementPolicy
com.ibm.wala.demandpa.alg.refinepolicy.SinglePassRefinementPolicy
- All Implemented Interfaces:
RefinementPolicy
A policy for performing a single analysis pass, i.e., with no refinement.
- 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
-
Method Details
-
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
-