Class Make::Public::SummarizedCallable
A callable with a flow summary.
Import path
import codeql.dataflow.internal.FlowSummaryImplDirect supertypes
Predicates
| 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. |
| 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 |
| propagatesFlow | Holds if data may flow from |