Package com.ibm.wala.demandpa.alg.refinepolicy

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

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

NeverRefineCGPolicy

public NeverRefineCGPolicy()

Method Details

shouldRefine

public boolean shouldRefine(CallerSiteContext callSiteAndCGNode)

Specified by:

shouldRefine in interface CallGraphRefinePolicy

Returns:

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

nextPass

public boolean nextPass()

Specified by:

nextPass in interface CallGraphRefinePolicy

Returns:

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