FieldRefinePolicy (API Reference for wala 1.3.9)

All Known Implementing Classes:

AlwaysRefineFieldsPolicy, ContainersFieldPolicy, DelegatingFieldRefinePolicy, ManualFieldPolicy, NeverRefineFieldsPolicy, OnlyArraysPolicy, TunedFieldRefinementPolicy
```
public interface FieldRefinePolicy
```
Interface for specifying a policy for refinement of field access handling.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`boolean`	`nextPass()`
`boolean`	`shouldRefine(IField field, PointerKey basePtr, PointerKey val, IFlowLabel label, StateMachine.State state)`

- Method Detail
  - shouldRefine
```
boolean shouldRefine(IField field,
                     PointerKey basePtr,
                     PointerKey val,
                     IFlowLabel label,
                     StateMachine.State state)
```
    Parameters:
    
    field - the accessed field
    
    basePtr - the base pointer of the access
    
    val -
    
    state -
    
    Returns:
    
    true if match edges for the field access should be refined. Otherwise, false is returned, indicating that the field can be handled with match edges.
  - nextPass
```
boolean nextPass()
```
    Returns:
    
    true if more refinement can be done, and hence another pass can be attempted; false otherwise