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.

Author:

Manu Sridharan

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	SinglePassRefinementPolicy.Factory

Field Summary

Fields inherited from class AbstractRefinementPolicy

budgetPerPass, cgRefinePolicy, DEFAULT_NUM_PASSES, fieldRefinePolicy, LONGER_PASS_BUDGET, numPasses

Method Summary

Modifier and Type	Method	Description
boolean	nextPass()

Methods inherited from class AbstractRefinementPolicy

getBudgetForPass, getCallGraphRefinePolicy, getFieldRefinePolicy, getNumPasses

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

nextPass

public boolean nextPass()

Specified by:

nextPass in interface RefinementPolicy

Overrides:

nextPass in class AbstractRefinementPolicy

Returns:

true if more refinement can be done, and hence another pass can be attempted; false otherwise