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.DataFlowDispatchpredicate mayBenefitFromCallContext(DataFlowCall call, DataFlowCallable c)