com.ibm.wala.ipa.callgraph.propagation.cfa

Class CallStringContextSelector

java.lang.Object

com.ibm.wala.ipa.callgraph.propagation.cfa.CallStringContextSelector

All Implemented Interfaces:

ContextSelector

Direct Known Subclasses:

nCFAContextSelector

public abstract class CallStringContextSelector
extends Object
implements ContextSelector

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	CallStringContextSelector.CallStringContextPair

Field Summary

Fields

Modifier and Type	Field and Description
static ContextKey	CALL_STRING

Constructor Summary

Constructors

Constructor and Description
CallStringContextSelector(ContextSelector base)

Method Summary

Methods

Modifier and Type	Method and Description
Context	getCalleeTarget(CGNode caller, CallSiteReference site, IMethod callee, InstanceKey[] receiver) Given a calling node and a call site, returns the Context in which the callee should be evaluated.
protected abstract int	getLength(CGNode caller, CallSiteReference site, IMethod target)
com.ibm.wala.util.intset.IntSet	getRelevantParameters(CGNode caller, CallSiteReference site) Given a calling node and a call site, return the set of parameters based on which this selector may choose to specialize contexts.

Methods inherited from class java.lang.Object

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

Field Detail

CALL_STRING

public static final ContextKey CALL_STRING

Constructor Detail

CallStringContextSelector

public CallStringContextSelector(ContextSelector base)

Method Detail

getLength

protected abstract int getLength(CGNode caller,
            CallSiteReference site,
            IMethod target)

getCalleeTarget

public Context getCalleeTarget(CGNode caller,
                      CallSiteReference site,
                      IMethod callee,
                      InstanceKey[] receiver)

Description copied from interface: ContextSelector

Given a calling node and a call site, returns the Context in which the callee should be evaluated.

Specified by:

getCalleeTarget in interface ContextSelector

Parameters:

caller - the node containing the call site

site - description of the call site

receiver - the abstract objects (InstanceKeys) of parameters of interest to the selector

Returns:

the Context in which the callee should be evaluated, or null if no information is available.

getRelevantParameters

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

Description copied from interface: ContextSelector

Given a calling node and a call site, return the set of parameters based on which this selector may choose to specialize contexts.

Specified by:

getRelevantParameters in interface ContextSelector

Parameters:

caller - the calling node

site - the specific call site

Returns:

the set of parameters of interest