public class OnlyArraysPolicy extends Object implements FieldRefinePolicy
Constructor and Description |
---|
OnlyArraysPolicy() |
Modifier and Type | Method and Description |
---|---|
boolean |
nextPass() |
boolean |
shouldRefine(IField field,
PointerKey basePtr,
PointerKey val,
IFlowLabel label,
StateMachine.State state) |
public 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.public boolean nextPass()
nextPass
in interface FieldRefinePolicy
true
if more refinement can be done, and hence another pass can be attempted;
false
otherwise