Class Make::Public::SummarizedCallable

A callable with a flow summary.

Import path

import codeql.dataflow.internal.FlowSummaryImpl

applyGeneratedModel	Holds if all the summaries that apply to this callable are auto generated and not manually created. That is, only apply generated models, when there are no manual models.
applyManualModel	Holds if there exists a manual summary that applies to this callable. Always apply manual models if they exist.
hasExactModel	Holds if there exists a model for which this callable is an exact match, that is, no overriding was used to identify this callable from the model.
hasGeneratedModel	Holds if there exists a generated summary that applies to this callable.
hasManualModel	Holds if there exists a manual summary that applies to this callable.
hasProvenance	Holds if there exists a summary that applies to this callable that has provenance `provenance`.
propagatesFlow	Holds if data may flow from `input` to `output` through this callable.