Member predicate ArgNode::argumentOf
Holds if this argument occurs at the given position in the given call.
predicate argumentOf(DataFlowCall call, ArgumentPosition pos)Holds if this argument occurs at the given position in the given call.
predicate argumentOf(DataFlowCall call, ArgumentPosition pos)