com.ibm.wala.demandpa.alg.refinepolicy

Class NeverRefineFieldsPolicy

java.lang.Object

com.ibm.wala.demandpa.alg.refinepolicy.NeverRefineFieldsPolicy

All Implemented Interfaces:

FieldRefinePolicy

public class NeverRefineFieldsPolicy
extends Object
implements FieldRefinePolicy

Constructor Summary

Constructors

Constructor and Description
NeverRefineFieldsPolicy()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	nextPass()
boolean	shouldRefine(IField field, PointerKey basePtr, PointerKey val, IFlowLabel label, StateMachine.State state)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

NeverRefineFieldsPolicy

public NeverRefineFieldsPolicy()

Method Detail

shouldRefine

public boolean shouldRefine(IField field,
                   PointerKey basePtr,
                   PointerKey val,
                   IFlowLabel label,
                   StateMachine.State state)

Specified by:

shouldRefine in interface FieldRefinePolicy

Parameters:

field - the accessed field

basePtr - the base pointer of the access

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

public boolean nextPass()

Specified by:

nextPass in interface FieldRefinePolicy

Returns:

true if more refinement can be done, and hence another pass can be attempted; false otherwise