Module Make::Private::External

Provides a means of translating externally (e.g., MaD) defined flow summaries into a SummarizedCallables.

Import path

import codeql.dataflow.internal.FlowSummaryImpl

interpretSpec	Holds if `spec` specifies summary component stack `stack`.
invalidIndexComponent	Holds if token `part` of specification `spec` has an invalid index. E.g., `Argument[-1]`.
invalidProvenance	Holds if `provenance` is not a valid provenance value.
invalidSpecComponent	Holds if component `c` of specification `spec` cannot be parsed.

Legacy interface for interpreting source/sink specifications in static languages.