| AbstractRefinementPolicy |
|
| AlwaysRefineCGPolicy |
A policy that always refines the call graph.
|
| AlwaysRefineFieldsPolicy |
A policy that always refines handling of field accesses by checking for an
alias path corresponding to each match edge.
|
| ContainersFieldPolicy |
|
| DelegatingFieldRefinePolicy |
A field refine policy that first checks with A, then delegates to B
|
| ManualCGRefinePolicy |
A call graph refinement policy with manual annotations for which
virtual call sites to refine.
|
| ManualFieldPolicy |
Manually annotated policy for refining field accesses.
|
| ManualRefinementPolicy |
A refinement policy specified manually with annotations.
|
| ManualRefinementPolicy.Factory |
|
| NeverRefineCGPolicy |
|
| NeverRefineFieldsPolicy |
|
| OnlyArraysPolicy |
Only refines for the array contents pseudo-field.
|
| SinglePassRefinementPolicy |
A policy for performing a single analysis pass, i.e., with no refinement.
|
| SinglePassRefinementPolicy.Factory |
|
| TunedFieldRefinementPolicy |
|
| TunedRefinementPolicy |
A refinement policy that iteratively adds more types to refine, based on which type was encountered first in each
analysis pass.
|
| TunedRefinementPolicy.Factory |
|