Interface FieldRefinePolicy
-
- 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 fieldbasePtr
- the base pointer of the accessval
-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
-
-