com.ibm.wala.demandpa.alg.refinepolicy

Class ManualRefinementPolicy.Factory

java.lang.Object

com.ibm.wala.demandpa.alg.refinepolicy.ManualRefinementPolicy.Factory

All Implemented Interfaces:

RefinementPolicyFactory

Enclosing class:

ManualRefinementPolicy

public static class ManualRefinementPolicy.Factory
extends Object
implements RefinementPolicyFactory

Constructor Summary

Constructors

Constructor and Description
ManualRefinementPolicy.Factory(IClassHierarchy cha)

Method Summary

Methods

Modifier and Type	Method and Description
RefinementPolicy	make()

Methods inherited from class java.lang.Object

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

Constructor Detail

ManualRefinementPolicy.Factory

public ManualRefinementPolicy.Factory(IClassHierarchy cha)

Method Detail

make

public RefinementPolicy make()

Specified by:

make in interface RefinementPolicyFactory