Predicate DispatchImpl :: mayBenefitFromCallContext
Holds if the set of viable implementations that can be called by call
might be improved by knowing the call context. This is the case if the
qualifier is a parameter of the enclosing callable c
.
Import path
import semmle.code.java.dataflow.internal.DataFlowDispatch
predicate
mayBenefitFromCallContext
(
DataFlowCall
call
,
DataFlowCallable
c
)