ContextSelector (API Reference for wala 1.3.9)

All Known Implementing Classes:

CallStringContextSelector, CloneContextSelector, ContainerContextSelector, ContextInsensitiveSelector, CrossLanguageContextSelector, DefaultContextSelector, DelegatingContextSelector, GetClassContextSelector, GetMethodContextSelector, IntentContextSelector, MethodHandles.ContextSelectorImpl, MiscellaneousHacksContextSelector, nCFAContextSelector, OneLevelForLexicalAccessFunctions, OneLevelSiteContextSelector, ReceiverTypeContextSelector, TargetMethodContextSelector, UnionContextSelector
```
public interface ContextSelector
```
An interface to an object which helps control context-sensitivity.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`Context`	`getCalleeTarget(CGNode caller, CallSiteReference site, IMethod callee, InstanceKey[] actualParameters)`	Given a calling node and a call site, returns the Context in which the callee should be evaluated.
`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.

- Method Detail
  - getCalleeTarget
```
Context getCalleeTarget(CGNode caller,
                        CallSiteReference site,
                        IMethod callee,
                        InstanceKey[] actualParameters)
```
    Given a calling node and a call site, returns the Context in which the callee should be evaluated.
    
    Parameters:
    
    caller - the node containing the call site
    
    site - description of the call site
    
    actualParameters - 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
```
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.
    
    Parameters:
    
    caller - the calling node
    
    site - the specific call site
    
    Returns:
    
    the set of parameters of interest