com.ibm.wala.cast.js.ipa.callgraph

Class RecursionBoundContextSelector

java.lang.Object

com.ibm.wala.cast.js.ipa.callgraph.RecursionBoundContextSelector

All Implemented Interfaces:

com.ibm.wala.ipa.callgraph.ContextSelector

public class RecursionBoundContextSelector
extends Object
implements com.ibm.wala.ipa.callgraph.ContextSelector

A context selector that attempts to detect recursion beyond some depth in a base selector. If such recursion is detected, the base selector's context is replaced with Everywhere.EVERYWHERE.

Constructor Summary

Constructors

Constructor and Description
RecursionBoundContextSelector(com.ibm.wala.ipa.callgraph.ContextSelector base, int recursionBound)

Method Summary

Methods

Modifier and Type	Method and Description
com.ibm.wala.ipa.callgraph.Context	getCalleeTarget(com.ibm.wala.ipa.callgraph.CGNode caller, com.ibm.wala.classLoader.CallSiteReference site, com.ibm.wala.classLoader.IMethod callee, com.ibm.wala.ipa.callgraph.propagation.InstanceKey[] actualParameters)
com.ibm.wala.util.intset.IntSet	getRelevantParameters(com.ibm.wala.ipa.callgraph.CGNode caller, com.ibm.wala.classLoader.CallSiteReference site)

Methods inherited from class java.lang.Object

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

Constructor Detail

RecursionBoundContextSelector

public RecursionBoundContextSelector(com.ibm.wala.ipa.callgraph.ContextSelector base,
                             int recursionBound)

Parameters:

base -

recursionBound - bound on recursion depth, with the top level of the context returned by the base selector being depth 0. The Everywhere.EVERYWHERE context is returned if the base context exceeds this bound.

Method Detail

getCalleeTarget

public com.ibm.wala.ipa.callgraph.Context getCalleeTarget(com.ibm.wala.ipa.callgraph.CGNode caller,
                                                 com.ibm.wala.classLoader.CallSiteReference site,
                                                 com.ibm.wala.classLoader.IMethod callee,
                                                 com.ibm.wala.ipa.callgraph.propagation.InstanceKey[] actualParameters)

Specified by:

getCalleeTarget in interface com.ibm.wala.ipa.callgraph.ContextSelector

getRelevantParameters

public com.ibm.wala.util.intset.IntSet getRelevantParameters(com.ibm.wala.ipa.callgraph.CGNode caller,
                                                    com.ibm.wala.classLoader.CallSiteReference site)

Specified by:

getRelevantParameters in interface com.ibm.wala.ipa.callgraph.ContextSelector