Package com.ibm.wala.demandpa.alg.refinepolicy

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 com.ibm.wala.demandpa.alg.refinepolicy.ManualFieldPolicy

refinePattern

Constructor Summary

Constructors

Constructor	Description
ContainersFieldPolicy(IClassHierarchy cha)

Method Summary

Methods inherited from class com.ibm.wala.demandpa.alg.refinepolicy.ManualFieldPolicy

getHistory, nextPass, shouldRefine

Methods inherited from class java.lang.Object

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

Constructor Details

ContainersFieldPolicy

public ContainersFieldPolicy(IClassHierarchy cha)