Member predicate SummaryArgumentNode::argumentOf
Holds if this argument occurs at the given position in the given call.
The instance argument is considered to have index -1.
predicate argumentOf(DataFlowCall call, ArgumentPosition pos)Holds if this argument occurs at the given position in the given call.
The instance argument is considered to have index -1.
predicate argumentOf(DataFlowCall call, ArgumentPosition pos)