Predicate Private::isParameterNode
Holds if p is a ParameterNode of c with position pos.
Import path
import semmle.go.dataflow.internal.DataFlowNodespredicate isParameterNode(ParameterNode p, DataFlowCallable c, ParameterPosition pos)Holds if p is a ParameterNode of c with position pos.
import semmle.go.dataflow.internal.DataFlowNodespredicate isParameterNode(ParameterNode p, DataFlowCallable c, ParameterPosition pos)