com.ibm.wala.demandpa.alg.refinepolicy

Interface CallGraphRefinePolicy

All Known Implementing Classes:

AlwaysRefineCGPolicy, ManualCGRefinePolicy, NeverRefineCGPolicy

public interface CallGraphRefinePolicy

Interface for specifying a policy for refining the call graph.

Method Summary

Modifier and Type	Method and Description
boolean	nextPass()
boolean	shouldRefine(CallerSiteContext callSiteAndCGNode)

Method Detail

shouldRefine

boolean shouldRefine(CallerSiteContext callSiteAndCGNode)

Returns:

true if the analysis should attempt to determine targets for the virtual call on-the-fly, and false otherwise

nextPass

boolean nextPass()

Returns:

true if more refinement can be done, and hence another pass can be attempted; false otherwise