Member predicate Public::SummarizedParameterNode::isParameterOf
Holds if this node initializes the i
th parameter of c
.
predicate isParameterOf(DataFlowCallable call, int idx)
Holds if this node initializes the i
th parameter of c
.
predicate isParameterOf(DataFlowCallable call, int idx)