DelegatingFieldRefinePolicy (core 1.6.5 API)

java.lang.Object
- com.ibm.wala.demandpa.alg.refinepolicy.DelegatingFieldRefinePolicy

All Implemented Interfaces:

FieldRefinePolicy
```
public class DelegatingFieldRefinePolicy
extends java.lang.Object
implements FieldRefinePolicy
```
A field refine policy that first checks with A, then delegates to B

Constructor Summary

Constructors
Constructor Description

DelegatingFieldRefinePolicy(FieldRefinePolicy a, FieldRefinePolicy b)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`nextPass()`
`boolean`	`shouldRefine(IField field, PointerKey basePtr, PointerKey val, IFlowLabel label, StateMachine.State state)`	returns `true` if `A.shouldRefine(field) \|\| B.shouldRefine(field)`.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - DelegatingFieldRefinePolicy
```
public DelegatingFieldRefinePolicy(FieldRefinePolicy a,
                                   FieldRefinePolicy b)
```
- Method Detail
  - nextPass
```
public boolean nextPass()
```
    Specified by:
    
    nextPass in interface FieldRefinePolicy
    
    Returns:
    
    true if more refinement can be done, and hence another pass can be attempted; false otherwise
  - shouldRefine
```
public boolean shouldRefine(IField field,
                            PointerKey basePtr,
                            PointerKey val,
                            IFlowLabel label,
                            StateMachine.State state)
```
    returns true if A.shouldRefine(field) || B.shouldRefine(field). Note that if A.shouldRefine(field) is true, B.shouldRefine(field) is not called.
    
    Specified by:
    
    shouldRefine in interface FieldRefinePolicy
    
    Parameters:
    
    field - the accessed field
    
    basePtr - the base pointer of the access
    
    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.