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 of call
.
Import path
import semmle.code.java.dataflow.internal.DataFlowDispatch
predicate mayBenefitFromCallContext(DataFlowCall call)