| Package | Description |
|---|---|
| com.ibm.wala.demandpa.alg | |
| com.ibm.wala.demandpa.alg.refinepolicy |
| Modifier and Type | Field and Description |
|---|---|
protected RefinementPolicy |
DemandRefinementPointsTo.refinementPolicy |
| Modifier and Type | Method and Description |
|---|---|
RefinementPolicy |
DemandRefinementPointsTo.getRefinementPolicy() |
| Modifier and Type | Class and Description |
|---|---|
class |
AbstractRefinementPolicy
Default
RefinementPolicy implementation, delegating to some provided FieldRefinePolicy and
CallGraphRefinePolicy |
class |
ManualRefinementPolicy
A refinement policy specified manually with annotations.
|
class |
SinglePassRefinementPolicy
A policy for performing a single analysis pass, i.e., with no refinement.
|
class |
TunedRefinementPolicy
A refinement policy that iteratively adds more types to refine, based on which type was encountered first in each
analysis pass.
|
| Modifier and Type | Method and Description |
|---|---|
RefinementPolicy |
TunedRefinementPolicy.Factory.make() |
RefinementPolicy |
SinglePassRefinementPolicy.Factory.make() |
RefinementPolicy |
RefinementPolicyFactory.make() |
RefinementPolicy |
ManualRefinementPolicy.Factory.make() |
Copyright © 2015. All rights reserved.