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

Field Summary

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

Constructor Summary

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

Method Summary

All Methods Instance Methods Concrete Methods
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 Detail

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 Detail

AbstractRefinementPolicy

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

AbstractRefinementPolicy

public AbstractRefinementPolicy(FieldRefinePolicy fieldRefinePolicy,
                                CallGraphRefinePolicy cgRefinePolicy)

Method Detail
- 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

Class AbstractRefinementPolicy

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

DEFAULT_NUM_PASSES

LONGER_PASS_BUDGET

fieldRefinePolicy

cgRefinePolicy

numPasses

budgetPerPass

Constructor Detail

AbstractRefinementPolicy

AbstractRefinementPolicy

Method Detail

getBudgetForPass

getCallGraphRefinePolicy

getFieldRefinePolicy

getNumPasses

nextPass