FIR IDE: Begin implementing semantic highlighting via FIR

* Introduce frontend api module & implement api for FIR * Implement some basic declaration highlighting for FIR
2020-05-18 11:37:09 +03:00
parent 507fc34c22
commit f37e313705
23 changed files with 1055 additions and 16 deletions
@@ -0,0 +1,34 @@
+plugins {
+    kotlin("jvm")
+    id("jps-compatible")
+}
+
+dependencies {
+    compileOnly(project(":compiler:psi"))
+    compileOnly(project(":compiler:frontend"))
+    compileOnly(project(":core:type-system"))
+    compileOnly(project(":idea:idea-frontend-independent"))
+    compileOnly(project(":compiler:psi"))
+    compileOnly(intellijCoreDep())
+    compileOnly(intellijDep())
+
+    Platform[191].orLower {
+        compileOnly(intellijDep()) { includeJars("java-api", "java-impl") }
+    }
+
+    Platform[192].orHigher {
+        compileOnly(intellijPluginDep("java")) { includeJars("java-api", "java-impl") }
+    }
+}
+
+sourceSets {
+    "main" { projectDefault() }
+    "test" { projectDefault() }
+}
+
+testsJar()
+
+projectTest {
+    dependsOn(":dist")
+    workingDir = rootDir
+}
@@ -0,0 +1,54 @@
+/*
+ * Copyright 2010-2020 JetBrains s.r.o. and Kotlin Programming Language contributors.
+ * Use of this source code is governed by the Apache 2.0 license that can be found in the license/LICENSE.txt file.
+ */
+
+package org.jetbrains.kotlin.idea.frontend.api
+
+import com.intellij.psi.PsiElement
+import com.intellij.psi.PsiMethod
+import org.jetbrains.kotlin.lexer.KtTokens
+import org.jetbrains.kotlin.psi.KtNamedFunction
+
+sealed class CallInfo {
+    abstract val isSuspendCall: Boolean
+    abstract val targetFunction: PsiElement?
+}
+
+data class VariableAsFunctionCallInfo(val target: PsiElement, override val isSuspendCall: Boolean) : CallInfo() {
+    override val targetFunction: PsiElement? = null
+}
+
+data class VariableAsFunctionLikeCallInfo(val target: PsiElement, val invokeFunction: KtNamedFunction) : CallInfo() {
+    override val isSuspendCall: Boolean get() = invokeFunction.hasModifier(KtTokens.SUSPEND_KEYWORD)
+    override val targetFunction: PsiElement? get() = invokeFunction
+}
+
+// SimpleFunctionCallInfo
+
+sealed class SimpleFunctionCallInfo : CallInfo() {
+    abstract override val targetFunction: PsiElement
+}
+
+data class SimpleKtFunctionCallInfo(override val targetFunction: KtNamedFunction) : SimpleFunctionCallInfo() {
+    override val isSuspendCall: Boolean get() = targetFunction.hasModifier(KtTokens.SUSPEND_KEYWORD)
+}
+
+data class SimpleJavaFunctionCallInfo(override val targetFunction: PsiMethod) : SimpleFunctionCallInfo() {
+    override val isSuspendCall: Boolean = false
+}
+
+
+// ConstructorCallInfo
+
+//TODO
+object ConstructorCallInfo : CallInfo() {
+    //    abstract val targetConstructor: PsiElement?
+    final override val isSuspendCall: Boolean = false
+    override val targetFunction: PsiElement? = null
+}
+
+//data class SimpleKtConstructorCallInfo(override val targetConstructor: KtConstructor<*>) : ConstructorCallInfo()
+
+//data class SimpleJavaConstructorCallInfo(override val targetConstructor: PsiMethod) : ConstructorCallInfo()
+
@@ -0,0 +1,31 @@
+/*
+ * Copyright 2010-2020 JetBrains s.r.o. and Kotlin Programming Language contributors.
+ * Use of this source code is governed by the Apache 2.0 license that can be found in the license/LICENSE.txt file.
+ */
+
+package org.jetbrains.kotlin.idea.frontend.api
+
+import org.jetbrains.kotlin.diagnostics.Diagnostic
+import org.jetbrains.kotlin.name.ClassId
+import org.jetbrains.kotlin.psi.*
+import org.jetbrains.kotlin.types.model.KotlinTypeMarker
+
+abstract class FrontendAnalysisSession {
+    abstract fun getSmartCastedToTypes(expression: KtExpression): Collection<KotlinTypeMarker>?
+
+    abstract fun getImplicitReceiverSmartCasts(expression: KtExpression): Collection<ImplicitReceiverSmartCast>
+
+    abstract fun getReturnTypeForKtDeclaration(declaration: KtDeclaration): KotlinTypeMarker?
+
+    abstract fun renderType(type: KotlinTypeMarker): String
+
+    abstract fun getKtExpressionType(expression: KtExpression): KotlinTypeMarker?
+
+    abstract fun isSubclassOf(klass: KtClassOrObject, superClassId: ClassId): Boolean
+
+    abstract fun getDiagnosticsForElement(element: KtElement): Collection<Diagnostic>
+
+    abstract fun resolveCall(call: KtCallExpression): CallInfo?
+
+    abstract fun resolveCall(call: KtBinaryExpression): CallInfo?
+}
@@ -0,0 +1,14 @@
+/*
+ * Copyright 2010-2020 JetBrains s.r.o. and Kotlin Programming Language contributors.
+ * Use of this source code is governed by the Apache 2.0 license that can be found in the license/LICENSE.txt file.
+ */
+
+package org.jetbrains.kotlin.idea.frontend.api
+
+import org.jetbrains.kotlin.types.model.KotlinTypeMarker
+
+data class ImplicitReceiverSmartCast(val types: Collection<KotlinTypeMarker>, val kind: ImplicitReceiverSmartcastKind)
+
+enum class ImplicitReceiverSmartcastKind {
+    DISPATCH, EXTENSION
+}