Class CallStringContextSelector
java.lang.Object
com.ibm.wala.ipa.callgraph.propagation.cfa.CallStringContextSelector
- All Implemented Interfaces:
ContextSelector
- Direct Known Subclasses:
nCFAContextSelector
-
Nested Class Summary
Nested Classes -
Field Summary
FieldsModifier and TypeFieldDescriptionprotected final ContextSelectorstatic final ContextKeystatic final ContextKey -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptiongetCalleeTarget(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 CallStringgetCallString(CGNode caller, CallSiteReference site, IMethod target) protected abstract intgetLength(CGNode caller, CallSiteReference site, IMethod target) 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.
-
Field Details
-
CALL_STRING
-
BASE
-
base
-
-
Constructor Details
-
CallStringContextSelector
-
-
Method Details
-
getLength
-
getCallString
-
getCalleeTarget
public Context getCalleeTarget(CGNode caller, CallSiteReference site, IMethod callee, InstanceKey[] receiver) Description copied from interface:ContextSelectorGiven a calling node and a call site, returns the Context in which the callee should be evaluated.- Specified by:
getCalleeTargetin interfaceContextSelector- Parameters:
caller- the node containing the call sitesite- description of the call sitereceiver- 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
Description copied from interface:ContextSelectorGiven a calling node and a call site, return the set of parameters based on which this selector may choose to specialize contexts.- Specified by:
getRelevantParametersin interfaceContextSelector- Parameters:
caller- the calling nodesite- the specific call site- Returns:
- the set of parameters of interest
-