public interface FieldRefinePolicy
Modifier and Type | Method and Description |
---|---|
boolean |
nextPass() |
boolean |
shouldRefine(IField field,
PointerKey basePtr,
PointerKey val,
IFlowLabel label,
StateMachine.State state) |
boolean shouldRefine(IField field, PointerKey basePtr, PointerKey val, IFlowLabel label, StateMachine.State state)
field
- the accessed fieldbasePtr
- the base pointer of the accessval
- state
- 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.boolean nextPass()
true
if more refinement can be done, and hence another pass can be attempted;
false
otherwise