com.ibm.wala.cast.ipa.callgraph

Class OneLevelForLexicalAccessFunctions

java.lang.Object

com.ibm.wala.cast.ipa.callgraph.OneLevelForLexicalAccessFunctions

All Implemented Interfaces:

com.ibm.wala.ipa.callgraph.ContextSelector

public class OneLevelForLexicalAccessFunctions
extends java.lang.Object
implements com.ibm.wala.ipa.callgraph.ContextSelector

Adds one-level of ArgumentInstanceContext on the function argument for functions that perform lexical accesses (i.e., those functions represented by a ScopeMappingInstanceKeys.ScopeMappingInstanceKey). In essence, this guarantees that when a function is cloned according to some ContextSelector, its nested functions that may do lexical accesses if its variables have corresponding clones.

Constructor Summary

Constructors

Constructor and Description
OneLevelForLexicalAccessFunctions(com.ibm.wala.ipa.callgraph.ContextSelector baseSelector)

Method Summary

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

OneLevelForLexicalAccessFunctions

public OneLevelForLexicalAccessFunctions(com.ibm.wala.ipa.callgraph.ContextSelector baseSelector)

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

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