Member predicate ParamNode::isParameterOf
Holds if this node is the parameter of callable c at the specified
position.
predicate isParameterOf(DataFlowCallable c, ParameterPosition pos)Holds if this node is the parameter of callable c at the specified
position.
predicate isParameterOf(DataFlowCallable c, ParameterPosition pos)