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

Class ObjectSensitivityContextSelector

java.lang.Object

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

All Implemented Interfaces:

com.ibm.wala.ipa.callgraph.ContextSelector

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

Constructor Summary

Constructors

Constructor and Description
ObjectSensitivityContextSelector(com.ibm.wala.ipa.callgraph.ContextSelector base)

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[] arguments)
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

ObjectSensitivityContextSelector

public ObjectSensitivityContextSelector(com.ibm.wala.ipa.callgraph.ContextSelector base)

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[] arguments)

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