Class NeverRefineCGPolicy
java.lang.Object
com.ibm.wala.demandpa.alg.refinepolicy.NeverRefineCGPolicy
- All Implemented Interfaces:
CallGraphRefinePolicy
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionboolean
nextPass()
boolean
shouldRefine
(CallerSiteContext callSiteAndCGNode)
-
Constructor Details
-
NeverRefineCGPolicy
public NeverRefineCGPolicy()
-
-
Method Details
-
shouldRefine
- 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
-