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 boolean
nextPass()
boolean
shouldRefine(CallerSiteContext callSiteAndCGNode)
-
-
-
Method Detail
-
shouldRefine
public boolean shouldRefine(CallerSiteContext callSiteAndCGNode) throws IllegalArgumentException
- Specified by:
shouldRefine
in interfaceCallGraphRefinePolicy
- Returns:
true
if the analysis should attempt to determine targets for the virtual call on-the-fly, andfalse
otherwise- Throws:
IllegalArgumentException
-
nextPass
public boolean nextPass()
- Specified by:
nextPass
in interfaceCallGraphRefinePolicy
- Returns:
true
if more refinement can be done, and hence another pass can be attempted;false
otherwise
-
-