CodeQL library for Go
codeql/go-all 0.7.15-dev (changelog, source)
Search

Member predicate Public::ArgumentNode::argumentOf

Holds if this argument occurs at the given position in the given call.

The receiver argument is considered to have index -1.

Note that we currently do not track receiver arguments into calls to interface methods.

predicate argumentOf(CallExpr call, int pos)