Predicate Private::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 semmle.code.java.dataflow.internal.FlowSummaryImpl