Member predicate AbstractParameterNode::isParameterOf
Holds if this node is the parameter of c
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 c, ParameterPosition pos)