Package 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.

Author:

Manu Sridharan

Nested Class Summary

Nested Classes

Modifier and Type	Class	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	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 Details

TunedRefinementPolicy

public TunedRefinementPolicy(IClassHierarchy cha)