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)