Package com.ibm.wala.demandpa.alg.refinepolicy

Class AbstractRefinementPolicy

java.lang.Object

com.ibm.wala.demandpa.alg.refinepolicy.AbstractRefinementPolicy

All Implemented Interfaces:

RefinementPolicy

Direct Known Subclasses:

ManualRefinementPolicy, SinglePassRefinementPolicy, TunedRefinementPolicy

public abstract class AbstractRefinementPolicy
extends Object
implements RefinementPolicy

Default RefinementPolicy implementation, delegating to some provided FieldRefinePolicy and CallGraphRefinePolicy

Author:

manu

Field Summary

Fields

Modifier and Type	Field	Description
protected final int[]	budgetPerPass
protected final CallGraphRefinePolicy	cgRefinePolicy
protected static final int	DEFAULT_NUM_PASSES
protected final FieldRefinePolicy	fieldRefinePolicy
protected static final int	LONGER_PASS_BUDGET
protected final int	numPasses

Constructor Summary

Constructors

Constructor	Description
AbstractRefinementPolicy(FieldRefinePolicy fieldRefinePolicy, CallGraphRefinePolicy cgRefinePolicy)
AbstractRefinementPolicy(FieldRefinePolicy fieldRefinePolicy, CallGraphRefinePolicy cgRefinePolicy, int numPasses, int[] budgetPerPass)

Method Summary

Modifier and Type	Method	Description
int	getBudgetForPass(int passNum)
CallGraphRefinePolicy	getCallGraphRefinePolicy()
FieldRefinePolicy	getFieldRefinePolicy()
int	getNumPasses()
boolean	nextPass()

Methods inherited from class java.lang.Object

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

Field Details

DEFAULT_NUM_PASSES

protected static final int DEFAULT_NUM_PASSES

See Also:

• Constant Field Values

LONGER_PASS_BUDGET

protected static final int LONGER_PASS_BUDGET

See Also:

• Constant Field Values

fieldRefinePolicy

protected final FieldRefinePolicy fieldRefinePolicy

cgRefinePolicy

protected final CallGraphRefinePolicy cgRefinePolicy

numPasses

protected final int numPasses

budgetPerPass

protected final int[] budgetPerPass

Constructor Details

AbstractRefinementPolicy

public AbstractRefinementPolicy(FieldRefinePolicy fieldRefinePolicy,
 CallGraphRefinePolicy cgRefinePolicy,
 int numPasses,
 int[] budgetPerPass)

AbstractRefinementPolicy

public AbstractRefinementPolicy(FieldRefinePolicy fieldRefinePolicy,
 CallGraphRefinePolicy cgRefinePolicy)

Method Details

getBudgetForPass

public int getBudgetForPass(int passNum)

Specified by:

getBudgetForPass in interface RefinementPolicy

Returns:

the maximum number of nodes to traverse in pass passNum

getCallGraphRefinePolicy

public CallGraphRefinePolicy getCallGraphRefinePolicy()

Specified by:

getCallGraphRefinePolicy in interface RefinementPolicy

Returns:

the call graph refinement policy

getFieldRefinePolicy

public FieldRefinePolicy getFieldRefinePolicy()

Specified by:

getFieldRefinePolicy in interface RefinementPolicy

Returns:

the field refinement policy

getNumPasses

public int getNumPasses()

Specified by:

getNumPasses in interface RefinementPolicy

Returns:

the maximum number of refinement iterations for the query

nextPass

public boolean nextPass()

Specified by:

nextPass in interface RefinementPolicy

Returns:

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