public interface RefinementPolicy
FieldRefinePolicy
, a CallGraphRefinePolicy
, and budgets for
analysis passes.Modifier and Type | Method and Description |
---|---|
int |
getBudgetForPass(int passNum) |
CallGraphRefinePolicy |
getCallGraphRefinePolicy() |
FieldRefinePolicy |
getFieldRefinePolicy() |
int |
getNumPasses() |
boolean |
nextPass() |
int getNumPasses()
int getBudgetForPass(int passNum)
passNum
- passNum
FieldRefinePolicy getFieldRefinePolicy()
CallGraphRefinePolicy getCallGraphRefinePolicy()
boolean nextPass()
true
if more refinement can be done, and hence
another pass can be attempted; false
otherwise