azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[FIR]: sealed hierarchy processor for IDE

Browse Source 
From now on sealed declarations get resolved with the help of
FirIdeSealedHierarchyProcessor. This change entails correct IDE side
check for sealed when exhaustiveness.
This commit is contained in:
Andrei Klunnyi
2021-02-27 19:32:00 +01:00
parent 98b2c00083
commit 09f9489619
76 changed files with 389 additions and 117 deletions
Download Patch File Download Diff File Expand all files Collapse all files
idea/testData/findUsages/java/findConstructorUsages/javaConstructorInDelegationCall.0.java
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_IGNORE
// PSI_ELEMENT: com.intellij.psi.PsiMethod
// OPTIONS: usages
public class J {
idea/testData/findUsages/java/findConstructorUsages/javaDefaultConstructorInDelegationCall.0.java
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_IGNORE
// PSI_ELEMENT: com.intellij.psi.PsiMethod
// OPTIONS: usages
public class J {
idea/testData/findUsages/java/findJavaClassUsages/JKClassDerivedAnonymousObjects.0.java
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_IGNORE
// PSI_ELEMENT: com.intellij.psi.PsiClass
// OPTIONS: derivedClasses
public class <caret>A {
idea/testData/findUsages/java/findJavaClassUsages/JKClassDerivedInnerClasses.0.java
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_IGNORE
// PSI_ELEMENT: com.intellij.psi.PsiClass
// OPTIONS: derivedClasses
public class <caret>A {
idea/testData/findUsages/java/findJavaClassUsages/JKClassDerivedInnerObjects.0.java
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_IGNORE
// PSI_ELEMENT: com.intellij.psi.PsiClass
// OPTIONS: derivedClasses
public class <caret>A {
idea/testData/findUsages/java/findJavaClassUsages/JKDerivedInterfaces.0.java
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_COMPARISON
// PSI_ELEMENT: com.intellij.psi.PsiClass
// OPTIONS: derivedInterfaces
public interface <caret>A {
idea/testData/findUsages/java/findJavaClassUsages/JKInterfaceDerivedAnonymousObjects.0.java
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_IGNORE
// PSI_ELEMENT: com.intellij.psi.PsiClass
// OPTIONS: implementingClasses
public interface <caret>A {
idea/testData/findUsages/java/findJavaClassUsages/JKInterfaceDerivedClasses.0.java
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_COMPARISON
// PSI_ELEMENT: com.intellij.psi.PsiClass
// OPTIONS: implementingClasses
public interface <caret>A {
idea/testData/findUsages/java/findJavaClassUsages/JKInterfaceDerivedInnerClasses.0.java
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_IGNORE
// PSI_ELEMENT: com.intellij.psi.PsiClass
// OPTIONS: implementingClasses
public interface <caret>A {
idea/testData/findUsages/java/findJavaClassUsages/JKInterfaceDerivedInnerObjects.0.java
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_COMPARISON
// PSI_ELEMENT: com.intellij.psi.PsiClass
// OPTIONS: implementingClasses
public interface <caret>A {
idea/testData/findUsages/java/findJavaClassUsages/JKInterfaceDerivedLocalClasses.0.java
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_COMPARISON
// PSI_ELEMENT: com.intellij.psi.PsiClass
// OPTIONS: implementingClasses
public interface <caret>A {
idea/testData/findUsages/java/findJavaClassUsages/JKInterfaceDerivedLocalObjects.0.java
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_COMPARISON
// PSI_ELEMENT: com.intellij.psi.PsiClass
// OPTIONS: implementingClasses
public interface <caret>A {
idea/testData/findUsages/java/findJavaClassUsages/JKInterfaceDerivedLocalTraits.0.java
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_COMPARISON
// PSI_ELEMENT: com.intellij.psi.PsiClass
// OPTIONS: derivedInterfaces
public interface <caret>A {
idea/testData/findUsages/java/findJavaClassUsages/JKInterfaceDerivedObjects.0.java
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_COMPARISON
// PSI_ELEMENT: com.intellij.psi.PsiClass
// OPTIONS: implementingClasses
public interface <caret>A {
idea/testData/findUsages/java/findJavaMethodUsages/JKMethodOverrides.0.java
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_COMPARISON
// PSI_ELEMENT: com.intellij.psi.PsiMethod
// OPTIONS: overrides
public class A {
idea/testData/findUsages/java/findJavaMethodUsages/JKMethodOverrides.results.txt
Vendored
+1 -1
View File
@@ -1,4 +1,4 @@
[JKMethodOverrides.0.java] Unclassified usage 11 public void foo() {
[JKMethodOverrides.0.java] Unclassified usage 12 public void foo() {
[JKMethodOverrides.1.kt] Unclassified usage 14 public override fun foo() {
[JKMethodOverrides.1.kt] Unclassified usage 2 public override fun foo() {
[JKMethodOverrides.1.kt] Unclassified usage 8 public override fun foo() {
idea/testData/findUsages/kotlin/findClassUsages/javaDerivedClassUsages2.0.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_COMPARISON
// PSI_ELEMENT: org.jetbrains.kotlin.psi.KtClass
// OPTIONS: derivedClasses
interface <caret>X {
idea/testData/findUsages/kotlin/findClassUsages/javaDerivedClassUsages2.results.txt
Vendored
+2 -2
View File
@@ -1,3 +1,3 @@
[javaDerivedClassUsages2.0.kt] Unclassified usage 11 open class C: Y {
[javaDerivedClassUsages2.0.kt] Unclassified usage 7 open class A: X {
[javaDerivedClassUsages2.0.kt] Unclassified usage 12 open class C: Y {
[javaDerivedClassUsages2.0.kt] Unclassified usage 8 open class A: X {
[javaDerivedClassUsages2.1.java] Unclassified usage 1 class B extends A {
idea/testData/findUsages/kotlin/findClassUsages/javaDerivedInterfaceUsages1.0.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_COMPARISON
// PSI_ELEMENT: org.jetbrains.kotlin.psi.KtClass
// OPTIONS: derivedInterfaces
interface X {
idea/testData/findUsages/kotlin/findClassUsages/javaDerivedInterfaceUsages1.results.txt
Vendored
+1 -1
View File
@@ -1,2 +1,2 @@
[javaDerivedInterfaceUsages1.0.kt] Unclassified usage 15 interface Z: A {
[javaDerivedInterfaceUsages1.0.kt] Unclassified usage 16 interface Z: A {
[javaDerivedInterfaceUsages1.1.java] Unclassified usage 9 interface U extends Z {
idea/testData/findUsages/kotlin/findClassUsages/javaDerivedInterfaceUsages2.0.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_COMPARISON
// PSI_ELEMENT: org.jetbrains.kotlin.psi.KtClass
// OPTIONS: derivedInterfaces
interface <caret>X {
idea/testData/findUsages/kotlin/findClassUsages/javaDerivedInterfaceUsages2.results.txt
Vendored
+1 -1
View File
@@ -1,3 +1,3 @@
[javaDerivedInterfaceUsages2.0.kt] Unclassified usage 15 interface Z: A {
[javaDerivedInterfaceUsages2.0.kt] Unclassified usage 16 interface Z: A {
[javaDerivedInterfaceUsages2.1.java] Unclassified usage 5 interface Y extends X {
[javaDerivedInterfaceUsages2.1.java] Unclassified usage 9 interface U extends Z {
idea/testData/findUsages/kotlin/findClassUsages/kotlinClassDerivedAnonymousObjects.0.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_IGNORE
// PSI_ELEMENT: org.jetbrains.kotlin.psi.KtClass
// OPTIONS: derivedClasses
open class <caret>A {
idea/testData/findUsages/kotlin/findClassUsages/kotlinClassDerivedClasses.0.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_COMPARISON
// PSI_ELEMENT: org.jetbrains.kotlin.psi.KtClass
// OPTIONS: derivedClasses
interface X {
idea/testData/findUsages/kotlin/findClassUsages/kotlinClassDerivedInnerClasses.0.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_COMPARISON
// PSI_ELEMENT: org.jetbrains.kotlin.psi.KtClass
// OPTIONS: derivedClasses
interface X {
idea/testData/findUsages/kotlin/findClassUsages/kotlinClassDerivedInnerObjects.0.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_COMPARISON
// PSI_ELEMENT: org.jetbrains.kotlin.psi.KtClass
// OPTIONS: derivedClasses
open class <caret>A {
idea/testData/findUsages/kotlin/findClassUsages/kotlinClassDerivedLocalClasses.0.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_COMPARISON
// PSI_ELEMENT: org.jetbrains.kotlin.psi.KtClass
// OPTIONS: derivedClasses
interface X {
idea/testData/findUsages/kotlin/findClassUsages/kotlinClassDerivedLocalObjects.0.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_COMPARISON
// PSI_ELEMENT: org.jetbrains.kotlin.psi.KtClass
// OPTIONS: derivedClasses
open class <caret>A {
idea/testData/findUsages/kotlin/findClassUsages/kotlinClassDerivedLocalTraits.0.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_COMPARISON
// PSI_ELEMENT: org.jetbrains.kotlin.psi.KtClass
// OPTIONS: derivedInterfaces
interface X {
idea/testData/findUsages/kotlin/findClassUsages/kotlinClassDerivedObjects.0.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_COMPARISON
// PSI_ELEMENT: org.jetbrains.kotlin.psi.KtClass
// OPTIONS: derivedClasses
open class <caret>A {
idea/testData/findUsages/kotlin/findClassUsages/kotlinClassDerivedTraits.0.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_COMPARISON
// PSI_ELEMENT: org.jetbrains.kotlin.psi.KtClass
// OPTIONS: derivedInterfaces
interface X {
idea/testData/findUsages/kotlin/findClassUsages/kotlinLocalClassDerivedAnonymousObjects.0.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_IGNORE
// PSI_ELEMENT: org.jetbrains.kotlin.psi.KtClass
// OPTIONS: derivedClasses
fun foo() {
idea/testData/findUsages/kotlin/findClassUsages/kotlinLocalClassDerivedAnonymousObjects.results.txt
Vendored
+3 -3
View File
@@ -1,3 +1,3 @@
Unclassified usage 11 val c = object: A() {}
Unclassified usage 13 val d = object: T {}
Unclassified usage 6 val b = object: A() {}
Unclassified usage 12 val c = object: A() {}
Unclassified usage 14 val d = object: T {}
Unclassified usage 7 val b = object: A() {}
idea/testData/findUsages/kotlin/findClassUsages/kotlinLocalClassDerivedLocalClasses.0.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_COMPARISON
// PSI_ELEMENT: org.jetbrains.kotlin.psi.KtClass
// OPTIONS: derivedClasses
fun foo() {
idea/testData/findUsages/kotlin/findClassUsages/kotlinLocalClassDerivedLocalClasses.results.txt
Vendored
+3 -3
View File
@@ -1,3 +1,3 @@
Unclassified usage 11 class C: A()
Unclassified usage 13 class D: T
Unclassified usage 6 class B: A()
Unclassified usage 12 class C: A()
Unclassified usage 14 class D: T
Unclassified usage 7 class B: A()
idea/testData/findUsages/kotlin/findClassUsages/kotlinLocalClassDerivedLocalObjects.0.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_COMPARISON
// PSI_ELEMENT: org.jetbrains.kotlin.psi.KtClass
// OPTIONS: derivedClasses
fun foo() {
idea/testData/findUsages/kotlin/findClassUsages/kotlinLocalClassDerivedLocalObjects.results.txt
Vendored
+3 -3
View File
@@ -1,3 +1,3 @@
Unclassified usage 11 object C: A()
Unclassified usage 13 object D: T
Unclassified usage 6 object B: A()
Unclassified usage 12 object C: A()
Unclassified usage 14 object D: T
Unclassified usage 7 object B: A()
idea/testData/findUsages/kotlin/findClassUsages/kotlinLocalClassDerivedLocalTraits.0.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_COMPARISON
// PSI_ELEMENT: org.jetbrains.kotlin.psi.KtClass
// OPTIONS: derivedInterfaces
fun foo() {
idea/testData/findUsages/kotlin/findClassUsages/kotlinLocalClassDerivedLocalTraits.results.txt
Vendored
+2 -2
View File
@@ -1,2 +1,2 @@
Unclassified usage 6 interface T: A
Unclassified usage 9 interface U: T
Unclassified usage 10 interface U: T
Unclassified usage 7 interface T: A
idea/testData/findUsages/kotlin/findClassUsages/kotlinTraitDerivedAnonymousObjects.0.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_IGNORE
// PSI_ELEMENT: org.jetbrains.kotlin.psi.KtClass
// OPTIONS: derivedClasses
interface <caret>X {
idea/testData/findUsages/kotlin/findClassUsages/kotlinTraitDerivedAnonymousObjects.results.txt
Vendored
+2 -2
View File
@@ -1,4 +1,4 @@
[kotlinTraitDerivedAnonymousObjects.0.kt] Unclassified usage 7 open class A: X {
[kotlinTraitDerivedAnonymousObjects.0.kt] Unclassified usage 8 open class A: X {
[kotlinTraitDerivedAnonymousObjects.1.kt] Unclassified usage 12 val x = object : X {
[kotlinTraitDerivedAnonymousObjects.1.kt] Unclassified usage 9 doSomething(object : A() {}, object: X {})
[kotlinTraitDerivedAnonymousObjects.1.kt] Unclassified usage 9 doSomething(object : A() {}, object: X {})
[kotlinTraitDerivedAnonymousObjects.1.kt] Unclassified usage 9 doSomething(object : A() {}, object: X {})
idea/testData/findUsages/kotlin/findClassUsages/kotlinTraitDerivedClasses.0.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_COMPARISON
// PSI_ELEMENT: org.jetbrains.kotlin.psi.KtClass
// OPTIONS: derivedClasses
interface <caret>X {
idea/testData/findUsages/kotlin/findClassUsages/kotlinTraitDerivedClasses.results.txt
Vendored
+1 -1
View File
@@ -1,3 +1,3 @@
[kotlinTraitDerivedClasses.0.kt] Unclassified usage 7 open class A: X {
[kotlinTraitDerivedClasses.0.kt] Unclassified usage 8 open class A: X {
[kotlinTraitDerivedClasses.1.kt] Unclassified usage 3 open class B: A() {
[kotlinTraitDerivedClasses.1.kt] Unclassified usage 7 open class C: Y {
idea/testData/findUsages/kotlin/findClassUsages/kotlinTraitDerivedInnerClasses.0.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_COMPARISON
// PSI_ELEMENT: org.jetbrains.kotlin.psi.KtClass
// OPTIONS: derivedClasses
interface <caret>X {
idea/testData/findUsages/kotlin/findClassUsages/kotlinTraitDerivedInnerClasses.results.txt
Vendored
+1 -1
View File
@@ -1,3 +1,3 @@
[kotlinTraitDerivedInnerClasses.0.kt] Unclassified usage 7 open class A: X {
[kotlinTraitDerivedInnerClasses.0.kt] Unclassified usage 8 open class A: X {
[kotlinTraitDerivedInnerClasses.1.kt] Unclassified usage 4 open class B: A() {
[kotlinTraitDerivedInnerClasses.1.kt] Unclassified usage 8 open class C: Y {
idea/testData/findUsages/kotlin/findClassUsages/kotlinTraitDerivedInnerObjects.0.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_COMPARISON
// PSI_ELEMENT: org.jetbrains.kotlin.psi.KtClass
// OPTIONS: derivedClasses
interface <caret>X {
idea/testData/findUsages/kotlin/findClassUsages/kotlinTraitDerivedInnerObjects.results.txt
Vendored
+1 -1
View File
@@ -1,3 +1,3 @@
[kotlinTraitDerivedInnerObjects.0.kt] Unclassified usage 7 open class A: X {
[kotlinTraitDerivedInnerObjects.0.kt] Unclassified usage 8 open class A: X {
[kotlinTraitDerivedInnerObjects.1.kt] Unclassified usage 4 object O1: A() {
[kotlinTraitDerivedInnerObjects.1.kt] Unclassified usage 9 object O2: X {
idea/testData/findUsages/kotlin/findClassUsages/kotlinTraitDerivedLocalClasses.0.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_COMPARISON
// PSI_ELEMENT: org.jetbrains.kotlin.psi.KtClass
// OPTIONS: derivedClasses
interface <caret>X {
idea/testData/findUsages/kotlin/findClassUsages/kotlinTraitDerivedLocalClasses.results.txt
Vendored
+1 -1
View File
@@ -1,3 +1,3 @@
[kotlinTraitDerivedLocalClasses.0.kt] Unclassified usage 7 open class A: X {
[kotlinTraitDerivedLocalClasses.0.kt] Unclassified usage 8 open class A: X {
[kotlinTraitDerivedLocalClasses.1.kt] Unclassified usage 5 open class B: A() {
[kotlinTraitDerivedLocalClasses.1.kt] Unclassified usage 9 open class C: Y {
idea/testData/findUsages/kotlin/findClassUsages/kotlinTraitDerivedLocalObjects.0.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_COMPARISON
// PSI_ELEMENT: org.jetbrains.kotlin.psi.KtClass
// OPTIONS: derivedClasses
interface <caret>X {
idea/testData/findUsages/kotlin/findClassUsages/kotlinTraitDerivedLocalObjects.results.txt
Vendored
+1 -1
View File
@@ -1,3 +1,3 @@
[kotlinTraitDerivedLocalObjects.0.kt] Unclassified usage 7 open class A: X {
[kotlinTraitDerivedLocalObjects.0.kt] Unclassified usage 8 open class A: X {
[kotlinTraitDerivedLocalObjects.1.kt] Unclassified usage 10 object O2: X {
[kotlinTraitDerivedLocalObjects.1.kt] Unclassified usage 5 object O1: A() {
idea/testData/findUsages/kotlin/findClassUsages/kotlinTraitDerivedLocalTraits.0.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_COMPARISON
// PSI_ELEMENT: org.jetbrains.kotlin.psi.KtClass
// OPTIONS: derivedInterfaces
interface <caret>X {
idea/testData/findUsages/kotlin/findClassUsages/kotlinTraitDerivedObjects.0.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_COMPARISON
// PSI_ELEMENT: org.jetbrains.kotlin.psi.KtClass
// OPTIONS: derivedClasses
interface <caret>X {
idea/testData/findUsages/kotlin/findClassUsages/kotlinTraitDerivedObjects.results.txt
Vendored
+1 -1
View File
@@ -1,3 +1,3 @@
[kotlinTraitDerivedObjects.0.kt] Unclassified usage 7 open class A: X {
[kotlinTraitDerivedObjects.0.kt] Unclassified usage 8 open class A: X {
[kotlinTraitDerivedObjects.1.kt] Unclassified usage 3 object O1: A() {
[kotlinTraitDerivedObjects.1.kt] Unclassified usage 7 object O2: X {
idea/testData/findUsages/kotlin/findClassUsages/kotlinTraitDerivedTraits.0.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_COMPARISON
// PSI_ELEMENT: org.jetbrains.kotlin.psi.KtClass
// OPTIONS: derivedInterfaces
interface <caret>X {
idea/testData/findUsages/kotlin/findClassUsages/kotlinTraitDerivedTraits.results.txt
Vendored
+1 -1
View File
@@ -1,3 +1,3 @@
[kotlinTraitDerivedTraits.0.kt] Unclassified usage 11 interface Y: X {
[kotlinTraitDerivedTraits.0.kt] Unclassified usage 12 interface Y: X {
[kotlinTraitDerivedTraits.1.kt] Unclassified usage 11 interface Z: A {
[kotlinTraitDerivedTraits.1.kt] Unclassified usage 15 interface U: Z {