Class OnlyArraysPolicy

java.lang.Object

com.ibm.wala.demandpa.alg.refinepolicy.OnlyArraysPolicy

All Implemented Interfaces:

FieldRefinePolicy

public class OnlyArraysPolicy
extends Object
implements FieldRefinePolicy

Only refines for the array contents pseudo-field.

Author:

manu

Constructor Summary

Constructors

Constructor	Description
OnlyArraysPolicy()

Method Summary

Modifier and Type	Method	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 Details

OnlyArraysPolicy

public OnlyArraysPolicy()

Method Details

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