Class SummarizedCallable
A summarized callable, that is, a function synthesized from one or more
models-as-data models as a place to contain the corresponding
FlowSummaryNode
s.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowPrivate
Direct supertypes
Indirect supertypes
Fields
Predicates
getLocation | Gets the location of this callable. |
toString | Gets a textual representation of this callable. |
Inherited predicates
asSourceCallable | Gets the | from DataFlowCallable |
asSummarizedCallable | Gets the underlying summarized callable, if this callable is generated from a models-as-data model. | from DataFlowCallable |
getUnderlyingCallable | Gets the underlying | from DataFlowCallable |