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