Predicate Private :: External :: interpretSpec
Holds if spec
specifies summary component stack stack
.
Import path
import semmle.code.java.dataflow.internal.FlowSummaryImpl
predicate
interpretSpec
(
AccessPath
spec
,
SummaryComponentStack
stack
)