com.ibm.wala.demandpa.alg.refinepolicy

Class TunedFieldRefinementPolicy

java.lang.Object

com.ibm.wala.demandpa.alg.refinepolicy.TunedFieldRefinementPolicy

All Implemented Interfaces:

FieldRefinePolicy

public class TunedFieldRefinementPolicy
extends Object
implements FieldRefinePolicy

Constructor Summary

Constructors

Constructor and Description
TunedFieldRefinementPolicy(IClassHierarchy cha)

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

TunedFieldRefinementPolicy

public TunedFieldRefinementPolicy(IClassHierarchy cha)

Method Detail

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

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.