Module DispatchImpl
Import path
import semmle.code.java.dataflow.internal.DataFlowDispatch
Predicates
golangSpecificParamArgFilter |
Holds if flow from |
mayBenefitFromCallContext |
Holds if the set of viable implementations that can be called by |
parameterMatch |
Holds if arguments at position |
viableCallable |
Gets a viable implementation of the target of the given |
viableImplInCallContext |
Gets a viable dispatch target of |
Classes
ArgumentPosition |
An argument position represented by an integer. |
ParameterPosition |
A parameter position represented by an integer. |