CodeQL library for Java/Kotlin
codeql/java-all 0.8.9 (changelog, source)
Search

Predicate MakeImplCommon::argumentPositionMatch

Holds if arg is an argument of call with an argument position that matches parameter position ppos.

Import path

import codeql.dataflow.internal.DataFlowImplCommon
predicate argumentPositionMatch(DataFlowCall call, ArgNode arg, ParameterPosition ppos)