Predicate Make::Private::Types::summaryNodeType
Gets the type of synthesized summary node n
.
The type is computed based on the language-specific predicates
getContentType()
, getReturnType()
, getCallbackParameterType()
, and
getCallbackReturnType()
.
Import path
import codeql.dataflow.internal.FlowSummaryImpl