com.ibm.wala.analysis.reflection

Class GetMethodContextSelector

java.lang.Object

com.ibm.wala.analysis.reflection.GetMethodContextSelector

All Implemented Interfaces:

ContextSelector

public class GetMethodContextSelector
extends java.lang.Object
implements ContextSelector

Produces GetMethodContext if appropriate.

See Also:

GetMethodContext, GetMethodContextInterpreter

Field Summary

Fields

Modifier and Type	Field and Description
protected static boolean	DEBUG If true, debug information is emitted.

Constructor Summary

Constructors

Constructor and Description
GetMethodContextSelector(boolean applicationClassesOnly)

Method Summary

Modifier and Type	Method and Description
Context	getCalleeTarget(CGNode caller, CallSiteReference site, IMethod callee, InstanceKey[] receiver) If the CallSiteReference invokes either Class.getMethod(java.lang.String, java.lang.Class<?>...) or Class.getDeclaredMethod(java.lang.String, java.lang.Class<?>...), and the receiver is a type constant and the first argument is a constant, then return a GetMethodContextSelector.
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.
protected static ConstantKey<java.lang.String>	makeConstantKey(IClassHierarchy cha, java.lang.String str) Create a constant key for a string.

Methods inherited from class java.lang.Object

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

Field Detail

DEBUG

protected static final boolean DEBUG

If true, debug information is emitted.

See Also:

Constant Field Values

Constructor Detail

GetMethodContextSelector

public GetMethodContextSelector(boolean applicationClassesOnly)

Method Detail

getCalleeTarget

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

If

• the CallSiteReference invokes either Class.getMethod(java.lang.String, java.lang.Class<?>...) or Class.getDeclaredMethod(java.lang.String, java.lang.Class<?>...),
• and the receiver is a type constant and
• the first argument is a constant,

then return a GetMethodContextSelector.

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.

makeConstantKey

protected static ConstantKey<java.lang.String> makeConstantKey(IClassHierarchy cha,
                                                               java.lang.String str)

Create a constant key for a string.

Parameters:

cha - the class hierarchy

str - the string

Returns:

the constant key

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