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

Constructor Summary

Constructors

Constructor	Description
ContainersFieldPolicy(IClassHierarchy cha)

Method Summary

Methods inherited from class ManualFieldPolicy

getHistory, nextPass, shouldRefine

Methods inherited from class Object

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

Constructor Details

ContainersFieldPolicy

public ContainersFieldPolicy(IClassHierarchy cha)