com.ibm.wala.ipa.callgraph.impl

Class UnionContextSelector

java.lang.Object

com.ibm.wala.ipa.callgraph.impl.UnionContextSelector

All Implemented Interfaces:

ContextSelector

public class UnionContextSelector
extends Object
implements ContextSelector

Checks ContextSelectors A and B, then returns the union of their findings. The returned Context contains the ContextKeys from A and B. If for a given key a value is generated by A as well as B the value generated by A has the precedence. As the UnionContextSelector optionally returns a DelegatingContext it cannot be used to anihilate ContextValues of B to null.

Author:

Tobias Blaschke

See Also:

DelegatingContextSelector

Constructor Summary

Constructors

Constructor and Description
UnionContextSelector(ContextSelector A, ContextSelector B)

Method Summary

Methods

Modifier and Type	Method and Description
Context	getCalleeTarget(CGNode caller, CallSiteReference site, IMethod callee, InstanceKey[] receiver) If only one Context exists return it, else return a DelegatingContext.
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.
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

UnionContextSelector

public UnionContextSelector(ContextSelector A,
                    ContextSelector B)

Method Detail

getCalleeTarget

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

If only one Context exists return it, else return a DelegatingContext.

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

toString

public String toString()

Overrides:

toString in class Object