public class TunedFieldRefinementPolicy extends Object implements FieldRefinePolicy
Constructor and Description |
---|
TunedFieldRefinementPolicy(IClassHierarchy cha) |
Modifier and Type | Method and Description |
---|---|
boolean |
nextPass() |
boolean |
shouldRefine(IField field,
PointerKey basePtr,
PointerKey val,
IFlowLabel label,
StateMachine.State state) |
public TunedFieldRefinementPolicy(IClassHierarchy cha)
public boolean nextPass()
nextPass
in interface FieldRefinePolicy
true
if more refinement can be done, and hence another pass can be attempted;
false
otherwisepublic boolean shouldRefine(IField field, PointerKey basePtr, PointerKey val, IFlowLabel label, StateMachine.State state)
shouldRefine
in interface FieldRefinePolicy
field
- the accessed fieldbasePtr
- the base pointer of the accesstrue
if match edges for the field access should be refined. Otherwise, false
is returned, indicating that the field can be handled with match edges.