Predicate Private::isArgumentNode
Holds if arg is an ArgumentNode of c with position pos.
Import path
import semmle.go.dataflow.internal.DataFlowNodespredicate isArgumentNode(ArgumentNode arg, DataFlowCall c, ArgumentPosition pos)Holds if arg is an ArgumentNode of c with position pos.
import semmle.go.dataflow.internal.DataFlowNodespredicate isArgumentNode(ArgumentNode arg, DataFlowCall c, ArgumentPosition pos)