Class NeverRefineCGPolicy
- java.lang.Object
-
- com.ibm.wala.demandpa.alg.refinepolicy.NeverRefineCGPolicy
-
- All Implemented Interfaces:
CallGraphRefinePolicy
public class NeverRefineCGPolicy extends Object implements CallGraphRefinePolicy
-
-
Constructor Summary
Constructors Constructor Description NeverRefineCGPolicy()
-
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)
- Specified by:
shouldRefine
in interfaceCallGraphRefinePolicy
- Returns:
true
if the analysis should attempt to determine targets for the virtual call on-the-fly, andfalse
otherwise
-
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
-
-