com.ibm.wala.demandpa.alg.refinepolicy

Class TunedRefinementPolicy

java.lang.Object

com.ibm.wala.demandpa.alg.refinepolicy.AbstractRefinementPolicy

com.ibm.wala.demandpa.alg.refinepolicy.TunedRefinementPolicy

All Implemented Interfaces:

RefinementPolicy

public class TunedRefinementPolicy
extends AbstractRefinementPolicy

A refinement policy that iteratively adds more types to refine, based on which type was encountered first in each analysis pass.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	TunedRefinementPolicy.Factory

Field Summary

Fields inherited from class com.ibm.wala.demandpa.alg.refinepolicy.AbstractRefinementPolicy

budgetPerPass, cgRefinePolicy, DEFAULT_NUM_PASSES, fieldRefinePolicy, LONGER_PASS_BUDGET, numPasses

Constructor Summary

Constructors

Constructor and Description
TunedRefinementPolicy(IClassHierarchy cha)

Method Summary

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

getBudgetForPass, getCallGraphRefinePolicy, getFieldRefinePolicy, getNumPasses, nextPass

Methods inherited from class java.lang.Object

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

Constructor Detail

TunedRefinementPolicy

public TunedRefinementPolicy(IClassHierarchy cha)