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

boolean	shouldRefine(CallSiteAndCGNode callSiteAndCGNode)
boolean	startNewPass()

Method Detail

shouldRefine

boolean shouldRefine(CallSiteAndCGNode callSiteAndCGNode)

Parameters:

callSiteAndCGNode -

Returns:

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

startNewPass

boolean startNewPass()

Returns:

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