Member predicate Private::ArgumentNode::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, int 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, int pos)