Predicate Private :: summaryParameterNodeRange
Holds if a parameter node at position pos is required for c.
Import path
import semmle.python.dataflow.new.internal.FlowSummaryImpl
predicate
summaryParameterNodeRange
(
SummarizedCallable
c
,
ParameterPosition
pos
)