Class ManualCGRefinePolicy

java.lang.Object

com.ibm.wala.demandpa.alg.refinepolicy.ManualCGRefinePolicy

All Implemented Interfaces:

CallGraphRefinePolicy

public class ManualCGRefinePolicy
extends Object
implements CallGraphRefinePolicy

A call graph refinement policy with manual annotations for which virtual call sites to refine.

Constructor Summary

Constructors

Constructor	Description
ManualCGRefinePolicy()

Method Summary

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

Methods inherited from class Object

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

Constructor Details

ManualCGRefinePolicy

public ManualCGRefinePolicy()

Method Details

shouldRefine

public boolean shouldRefine(CallerSiteContext callSiteAndCGNode)
                     throws IllegalArgumentException

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

Throws:

IllegalArgumentException

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