Module Cached::DispatchWithCallContext

Import path

import semmle.code.java.dataflow.internal.DataFlowImplCommon

prunedViableImplInCallContext	Gets a viable run-time dispatch target for the call `call` in the context `ctx`. This is restricted to those calls for which a context makes a difference.
prunedViableImplInCallContextReverse	Gets a viable run-time dispatch target for the call `call` in the context `ctx`. This is restricted to those calls and results for which the return flow from the result to `call` restricts the possible context `ctx`.
reducedViableImplInCallContext	Holds if the call context `ctx` reduces the set of viable run-time dispatch targets of call `call` in `c`.
reducedViableImplInReturn	Holds if flow returning from callable `c` to call `call` might return further and if this path restricts the set of call sites that can be returned to.