Merge pull request github#14622 from igfoo/igfoo/JavaBinarySourceElement

Kotlin: Add support for JavaBinarySourceElement sources

Author: igfoo

java/kotlin-extractor/src/main/kotlin/utils/ClassNames.kt

@@ -3,6 +3,7 @@ package com.github.codeql
 import com.github.codeql.utils.getJvmName
 import com.github.codeql.utils.versions.*
 import com.intellij.openapi.vfs.StandardFileSystems
+import org.jetbrains.kotlin.fir.java.JavaBinarySourceElement
 import org.jetbrains.kotlin.load.java.sources.JavaSourceElement
 import org.jetbrains.kotlin.load.java.structure.impl.classFiles.BinaryJavaClass
 import org.jetbrains.kotlin.load.kotlin.VirtualFileKotlinClass
@@ -80,6 +81,9 @@ fun getIrClassVirtualFile(irClass: IrClass): VirtualFile? {
                 is BinaryJavaClass -> return element.virtualFile
             }
         }
+        is JavaBinarySourceElement -> {
+            return cSource.javaClass.virtualFile
+        }
         is KotlinJvmBinarySourceElement -> {
             val binaryClass = cSource.binaryClass
             when(binaryClass) {

java/kotlin-extractor/src/main/kotlin/utils/versions/v_1_5_0/JavaBinarySourceElement.kt

@@ -0,0 +1,11 @@
+package org.jetbrains.kotlin.fir.java
+
+import org.jetbrains.kotlin.descriptors.SourceElement
+import org.jetbrains.kotlin.load.java.structure.impl.classFiles.BinaryJavaClass
+
+/*
+We need this class to exist, but the compiler will never give us an
+instance of it.
+*/
+abstract class JavaBinarySourceElement private constructor(val javaClass: BinaryJavaClass): SourceElement {
+}

java/kotlin-extractor/src/main/kotlin/utils/versions/v_1_9_255-SNAPSHOT/JavaBinarySourceElement.kt

@@ -0,0 +1,3 @@
+/*
+The compiler provides this class, so we don't have to do anything.
+*/