com.ibm.wala.demandpa.alg.refinepolicy

Class SinglePassRefinementPolicy.Factory

java.lang.Object

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

All Implemented Interfaces:

RefinementPolicyFactory

Enclosing class:

SinglePassRefinementPolicy

public static class SinglePassRefinementPolicy.Factory
extends java.lang.Object
implements RefinementPolicyFactory

Constructor Summary

Constructors

Constructor and Description
Factory(FieldRefinePolicy fieldRefinePolicy, CallGraphRefinePolicy cgRefinePolicy)
Factory(FieldRefinePolicy fieldRefinePolicy, CallGraphRefinePolicy cgRefinePolicy, int budget)

Method Summary

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

Factory

public Factory(FieldRefinePolicy fieldRefinePolicy,
               CallGraphRefinePolicy cgRefinePolicy)

Factory

public Factory(FieldRefinePolicy fieldRefinePolicy,
               CallGraphRefinePolicy cgRefinePolicy,
               int budget)

Method Detail

make

public RefinementPolicy make()

Specified by:

make in interface RefinementPolicyFactory