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

Member predicate InstanceOfExpr::getCheckedType

Gets the type this instanceof expression checks for.

For a match against a record pattern, this is the type of the outermost record type, and only holds if the record pattern matches that type unconditionally, i.e. it does not restrict field types more tightly than the fields’ declared types and therefore match a subset of rpe.getType().

RefType getCheckedType()