com.ibm.wala.demandpa.alg.refinepolicy

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

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

ManualCGRefinePolicy

public ManualCGRefinePolicy()

Method Detail

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