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