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