Member predicate AbstractParameterNode::isParameterOf
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 isParameterOf(DataFlowCallable f, ParameterPosition pos)