Member predicate Private::FlowSummaryNode::isArgumentOf
Holds if this summary node is the i
th argument of call
.
predicate isArgumentOf(DataFlowCall call, int i)
Holds if this summary node is the i
th argument of call
.
predicate isArgumentOf(DataFlowCall call, int i)