For other CodeQL resources, including tutorials and examples, see the CodeQL documentation

DispatchImpl

Module DataFlowDispatch


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

golangSpecificParamArgFilter	Holds if flow from `call`’s argument `arg` to parameter `p` is permissible.
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`.
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.