CodeQL library for Java/Kotlin
codeql/java-all 1.1.0 (changelog, source)
Search

Module Make::Private::Types

Provides the predicate summaryNodeType for associating types with summary nodes.

Only relevant for typed languages.

Import path

import codeql.dataflow.internal.FlowSummaryImpl

Predicates

summaryNodeType

Gets the type of synthesized summary node n.

Parameters

TypesInputTypesInputSig