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 and Description
NeverRefineCGPolicy()

Method Summary

Methods

Modifier and Type	Method and 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 Detail

NeverRefineCGPolicy

public NeverRefineCGPolicy()

Method Detail

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