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

Predicate MakeImplCommon::TypeFlow::getStrongestType

Gets the strongest of the two types t1 and t2. If neither type is stronger then compatibility is checked and t1 is returned.

Import path

import codeql.dataflow.internal.DataFlowImplCommon
DataFlowType getStrongestType(DataFlowType t1, DataFlowType t2)