Package com.ibm.wala.ipa.callgraph
Interface ContextSelector
-
- 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 sitesite
- description of the call siteactualParameters
- 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 nodesite
- the specific call site- Returns:
- the set of parameters of interest
-
-