| Package | Description |
|---|---|
| com.ibm.wala.demandpa.alg.refinepolicy |
| Modifier and Type | Class and Description |
|---|---|
class |
AlwaysRefineFieldsPolicy
A policy that always refines handling of field accesses by checking for an
alias path corresponding to each match edge.
|
class |
ContainersFieldPolicy |
class |
DelegatingFieldRefinePolicy
A field refine policy that first checks with A, then delegates to B
|
class |
ManualFieldPolicy
Manually annotated policy for refining field accesses.
|
class |
NeverRefineFieldsPolicy |
class |
OnlyArraysPolicy
Only refines for the array contents pseudo-field.
|
class |
TunedFieldRefinementPolicy |
| Modifier and Type | Field and Description |
|---|---|
protected FieldRefinePolicy |
AbstractRefinementPolicy.fieldRefinePolicy |
| Modifier and Type | Method and Description |
|---|---|
FieldRefinePolicy |
RefinementPolicy.getFieldRefinePolicy() |
FieldRefinePolicy |
AbstractRefinementPolicy.getFieldRefinePolicy() |
| Constructor and Description |
|---|
AbstractRefinementPolicy(FieldRefinePolicy fieldRefinePolicy,
CallGraphRefinePolicy cgRefinePolicy) |
AbstractRefinementPolicy(FieldRefinePolicy fieldRefinePolicy,
CallGraphRefinePolicy cgRefinePolicy,
int numPasses,
int[] budgetPerPass) |
DelegatingFieldRefinePolicy(FieldRefinePolicy a,
FieldRefinePolicy b) |
SinglePassRefinementPolicy.Factory(FieldRefinePolicy fieldRefinePolicy,
CallGraphRefinePolicy cgRefinePolicy) |
SinglePassRefinementPolicy.Factory(FieldRefinePolicy fieldRefinePolicy,
CallGraphRefinePolicy cgRefinePolicy,
int budget) |
Copyright © 2015. All rights reserved.