Module DispatchImpl

Import path

import semmle.code.java.dataflow.internal.DataFlowDispatch

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`.
parameterMatch	Holds if arguments at position `apos` match parameters at position `ppos`.
viableCallable	Gets a viable implementation of the target of the given `Call`.
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.

ArgumentPosition	An argument position represented by an integer.
ParameterPosition	A parameter position represented by an integer.