Module Private::External

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

Import path

import semmle.code.csharp.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.
isSinkNode	Holds if `node` is specified as a sink with the given kind in a MaD flow model.
isSourceNode	Holds if `node` is specified as a source with the given kind in a MaD flow model.
parseArg	Holds if specification component `token` parses as argument `pos`.
parseParam	Holds if specification component `token` parses as parameter `pos`.
parseSynthGlobal	Holds if specification component `token` parses as synthetic global `sg`.