com.ibm.wala.demandpa.alg.refinepolicy
Interface FieldRefinePolicy

All Known Implementing Classes:

AlwaysRefineFieldsPolicy, ManualFieldPolicy, NeverRefineFieldsPolicy

public interface FieldRefinePolicy

Interface for specifying a policy for refinement of field access handling.

Method Summary

boolean	nextPass()
boolean	shouldRefine(IField field)

Method Detail

shouldRefine

boolean shouldRefine(IField field)

Parameters:

field -

Returns:

true if accesses to field 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