Member predicate AbstractParameterNode::isSourceParameterOf
Holds if this node is the parameter of f
at the specified position. The
implicit this
parameter is considered to have position -1
, and
pointer-indirection parameters are at further negative positions.
predicate isSourceParameterOf(Function f, ParameterPosition pos)