Class ContainersFieldPolicy

java.lang.Object

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

com.ibm.wala.demandpa.alg.refinepolicy.ContainersFieldPolicy

All Implemented Interfaces:

FieldRefinePolicy

public class ContainersFieldPolicy
extends ManualFieldPolicy

Field Summary

Fields inherited from class ManualFieldPolicy

refinePattern

Modifier and Type	Field	Description
protected final Pattern	refinePattern

Constructor Summary

Constructors

Constructor	Description
ContainersFieldPolicy(IClassHierarchy cha)

Method Summary

Methods inherited from class ManualFieldPolicy

getHistory, nextPass, shouldRefine

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

Methods inherited from class Object

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

Constructor Details

ContainersFieldPolicy

public ContainersFieldPolicy(IClassHierarchy cha)