Predicate DispatchImpl :: viableImplInCallContext
Gets a viable dispatch target of call in the context ctx. This is
restricted to those calls for which a context might make a difference.
Import path
import semmle.code.java.dataflow.internal.DataFlowDispatch
DataFlowCallable
viableImplInCallContext
(
DataFlowCall
call
,
DataFlowCall
ctx
)