com.ibm.wala.demandpa.alg.refinepolicy

Interface RefinementPolicy

All Known Implementing Classes:

AbstractRefinementPolicy, ManualRefinementPolicy, SinglePassRefinementPolicy, TunedRefinementPolicy

public interface RefinementPolicy

A complete refinement policy for a points-to analysis. Specifies a FieldRefinePolicy, a CallGraphRefinePolicy, and budgets for analysis passes.

Author:

Manu Sridharan

Method Summary

Methods

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

Method Detail

getNumPasses

int getNumPasses()

Returns:

the maximum number of refinement iterations for the query

getBudgetForPass

int getBudgetForPass(int passNum)

Parameters:

passNum -

Returns:

the maximum number of nodes to traverse in pass passNum

getFieldRefinePolicy

FieldRefinePolicy getFieldRefinePolicy()

Returns:

the field refinement policy

getCallGraphRefinePolicy

CallGraphRefinePolicy getCallGraphRefinePolicy()

Returns:

the call graph refinement policy

nextPass

boolean nextPass()

Returns:

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