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

Module signature Make::Private::TypesInputSig

Import path

import codeql.dataflow.internal.FlowSummaryImpl

Predicates

getCallbackParameterType

Gets the type of the ith parameter in a synthesized call that targets a callback of type t.

getCallbackReturnType

Gets the return type of kind rk in a synthesized call that targets a callback of type t.

getContentType

Gets the type of content c.

getParameterType

Gets the type of the parameter at the given position.

getReturnType

Gets the return type of kind rk for callable c.

getSyntheticGlobalType