Class AlwaysRefineCGPolicy
- java.lang.Object
-
- com.ibm.wala.demandpa.alg.refinepolicy.AlwaysRefineCGPolicy
-
- All Implemented Interfaces:
CallGraphRefinePolicy
public class AlwaysRefineCGPolicy extends Object implements CallGraphRefinePolicy
A policy that always refines the call graph.
-
-
Constructor Summary
Constructors Constructor Description AlwaysRefineCGPolicy()
-
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)
- Specified by:
shouldRefinein interfaceCallGraphRefinePolicy- Returns:
trueif the analysis should attempt to determine targets for the virtual call on-the-fly, andfalseotherwise
-
nextPass
public boolean nextPass()
- Specified by:
nextPassin interfaceCallGraphRefinePolicy- Returns:
trueif more refinement can be done, and hence another pass can be attempted;falseotherwise
-
-