com.ibm.wala.demandpa.alg.refinepolicy

Class ManualFieldPolicy

java.lang.Object

com.ibm.wala.demandpa.alg.refinepolicy.ManualFieldPolicy

All Implemented Interfaces:

FieldRefinePolicy

Direct Known Subclasses:

ContainersFieldPolicy

public class ManualFieldPolicy
extends java.lang.Object
implements FieldRefinePolicy

Manually annotated policy for refining field accesses.

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.regex.Pattern	refinePattern

Constructor Summary

Constructors

Constructor and Description
ManualFieldPolicy(IClassHierarchy cha, java.util.regex.Pattern refinePattern)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getHistory()
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

Field Detail

refinePattern

protected final java.util.regex.Pattern refinePattern

Constructor Detail

ManualFieldPolicy

public ManualFieldPolicy(IClassHierarchy cha,
                         java.util.regex.Pattern refinePattern)

Parameters:

refinePattern - a pattern for detecting which match edges to refine. If the declaring class of the field related to the match edge matches the pattern, the match edge will be refined. For example, the pattern Pattern.compile("Ljava/util") will cause all fields of classes in the java.util package to be refined.

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

getHistory

public java.lang.String getHistory()

Returns:

a String representation of the decisions made by this