Predicate Private :: External :: invalidIndexComponent
Holds if token part of specification spec has an invalid index.
E.g., Argument[-1].
Import path
import semmle.code.java.dataflow.internal.FlowSummaryImpl
predicate
invalidIndexComponent
(
AccessPath
spec
,
AccessPathToken
part
)