Class ManualCGRefinePolicy
- java.lang.Object
-
- com.ibm.wala.demandpa.alg.refinepolicy.ManualCGRefinePolicy
-
- All Implemented Interfaces:
CallGraphRefinePolicy
public class ManualCGRefinePolicy extends Object implements CallGraphRefinePolicy
A call graph refinement policy with manual annotations for which virtual call sites to refine.
-
-
Constructor Summary
Constructors Constructor Description ManualCGRefinePolicy()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleannextPass()booleanshouldRefine(CallerSiteContext callSiteAndCGNode)
-
-
-
Method Detail
-
shouldRefine
public boolean shouldRefine(CallerSiteContext callSiteAndCGNode) throws IllegalArgumentException
- Specified by:
shouldRefinein interfaceCallGraphRefinePolicy- Returns:
trueif the analysis should attempt to determine targets for the virtual call on-the-fly, andfalseotherwise- Throws:
IllegalArgumentException
-
nextPass
public boolean nextPass()
- Specified by:
nextPassin interfaceCallGraphRefinePolicy- Returns:
trueif more refinement can be done, and hence another pass can be attempted;falseotherwise
-
-