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

Predicate TypeFlow::bestTypeFlow

Holds if the runtime type of n is bounded by t and if this bound is likely to be better than the static type of n. The flag exact indicates whether t is an exact bound or merely an upper bound.

Import path

import codeql.typeflow.internal.TypeFlowImpl
predicate bestTypeFlow(TypeFlowNode n, Type t, boolean exact)