Recompile subtypes when class member is changed

Original commit: a474165a8f

jps/jps-plugin/src/org/jetbrains/kotlin/jps/build/KotlinBuilder.kt

@@ -744,6 +744,7 @@ private fun CompilationResult.doProcessChangesUsingLookups(
         caches: Collection<IncrementalCacheImpl<*>>
 ) {
     val dirtyLookupSymbols = HashSet<LookupSymbol>()
+    val dirtyClassesFqNames = HashSet<FqName>()
     val lookupStorage = dataManager.getStorage(KotlinDataContainerTarget, JpsLookupStorageProvider)
     val allCaches: Sequence<IncrementalCacheImpl<*>> = caches.asSequence().flatMap { it.dependentsWithThis }
 
@@ -764,10 +765,12 @@ private fun CompilationResult.doProcessChangesUsingLookups(
             }
         }
         else if (change is ChangeInfo.MembersChanged) {
-            val scopes = withSubtypes(change.fqName, allCaches).map { it.asString() }
+            val fqNames = withSubtypes(change.fqName, allCaches)
+            // need to recompile subtypes because changed member might break override
+            dirtyClassesFqNames.addAll(fqNames)
 
-            change.names.forAllPairs(scopes) { name, scope ->
+            change.names.forAllPairs(fqNames) { name, fqName ->
-                dirtyLookupSymbols.add(LookupSymbol(name, scope))
+                dirtyLookupSymbols.add(LookupSymbol(name, fqName.asString()))
             }
         }
     }
@@ -782,6 +785,13 @@ private fun CompilationResult.doProcessChangesUsingLookups(
         dirtyFiles.addAll(affectedFiles)
     }
 
+    for (cache in allCaches) {
+        for (dirtyClassFqName in dirtyClassesFqNames) {
+            val srcFile = cache.getSourceFileIfClass(dirtyClassFqName) ?: continue
+            dirtyFiles.add(srcFile)
+        }
+    }
+
     fsOperations.markFiles(dirtyFiles.asIterable(), excludeFiles = compiledFiles)
     KotlinBuilder.LOG.debug("End of processing changes")
 }

jps/jps-plugin/test/org/jetbrains/kotlin/jps/build/ExperimentalIncrementalJpsTestGenerated.java

@@ -1213,6 +1213,18 @@ public class ExperimentalIncrementalJpsTestGenerated extends AbstractExperimenta
             doTest(fileName);
         }
 
+        @TestMetadata("overrideExplicit")
+        public void testOverrideExplicit() throws Exception {
+            String fileName = KotlinTestUtils.navigationMetadata("jps-plugin/testData/incremental/classHierarchyAffected/overrideExplicit/");
+            doTest(fileName);
+        }
+
+        @TestMetadata("overrideImplicit")
+        public void testOverrideImplicit() throws Exception {
+            String fileName = KotlinTestUtils.navigationMetadata("jps-plugin/testData/incremental/classHierarchyAffected/overrideImplicit/");
+            doTest(fileName);
+        }
+
         @TestMetadata("packageFacadeToClass")
         public void testPackageFacadeToClass() throws Exception {
             String fileName = KotlinTestUtils.navigationMetadata("jps-plugin/testData/incremental/classHierarchyAffected/packageFacadeToClass/");

jps/jps-plugin/testData/incremental/changeIncrementalOption/experimentalOn/expected-kotlin-caches.txt

@@ -7,12 +7,14 @@ kotlin-data-container
 Module 'module1' production
     experimental-format-version.txt
     format-version.txt
+    class-fq-name-to-source.tab
     proto.tab
     source-to-classes.tab
 Module 'module1' tests
 Module 'module2' production
     experimental-format-version.txt
     format-version.txt
+    class-fq-name-to-source.tab
     package-parts.tab
     proto.tab
     source-to-classes.tab
@@ -22,12 +24,14 @@ Module 'module2' tests
 Module 'module3' production
     experimental-format-version.txt
     format-version.txt
+    class-fq-name-to-source.tab
     proto.tab
     source-to-classes.tab
 Module 'module3' tests
 Module 'module4' production
     experimental-format-version.txt
     format-version.txt
+    class-fq-name-to-source.tab
     proto.tab
     source-to-classes.tab
 Module 'module4' tests

jps/jps-plugin/testData/incremental/classHierarchyAffected/companionObjectInheritedMemberChanged/build.log

@@ -5,6 +5,8 @@ Compiling files:
 src/B.kt
 End of files
 Cleaning output files:
+out/production/module/A$AA.class
+out/production/module/A.class
 out/production/module/CompanionExtensionKt.class
 out/production/module/CompanionReferenceExplicitKt.class
 out/production/module/CompanionReferenceImplicitKt.class
@@ -12,6 +14,7 @@ out/production/module/ImportedMemberKt.class
 out/production/module/META-INF/module.kotlin_module
 End of files
 Compiling files:
+src/A.kt
 src/companionExtension.kt
 src/companionReferenceExplicit.kt
 src/companionReferenceImplicit.kt
@@ -28,6 +31,7 @@ Cleaning output files:
 out/production/module/B.class
 End of files
 Compiling files:
+src/A.kt
 src/B.kt
 src/companionExtension.kt
 src/companionReferenceExplicit.kt

jps/jps-plugin/testData/incremental/classHierarchyAffected/methodAdded/build.log

@@ -6,8 +6,10 @@ src/A.kt
 End of files
 Cleaning output files:
 out/production/module/META-INF/module.kotlin_module
+out/production/module/foo/AChild.class
 out/production/module/foo/UseAChildKt.class
 End of files
 Compiling files:
+src/AChild.kt
 src/useAChild.kt
 End of files

jps/jps-plugin/testData/incremental/classHierarchyAffected/methodAnnotationAdded/build.log

@@ -6,8 +6,10 @@ src/A.kt
 End of files
 Cleaning output files:
 out/production/module/META-INF/module.kotlin_module
+out/production/module/foo/AChild.class
 out/production/module/foo/UseAChildKt.class
 End of files
 Compiling files:
+src/AChild.kt
 src/useAChild.kt
 End of files

jps/jps-plugin/testData/incremental/classHierarchyAffected/methodNullabilityChanged/build.log

@@ -6,9 +6,11 @@ src/A.kt
 End of files
 Cleaning output files:
 out/production/module/META-INF/module.kotlin_module
+out/production/module/foo/AChild.class
 out/production/module/foo/UseAChildKt.class
 End of files
 Compiling files:
+src/AChild.kt
 src/useAChild.kt
 End of files
 COMPILATION FAILED
@@ -20,5 +22,6 @@ out/production/module/foo/A.class
 End of files
 Compiling files:
 src/A.kt
+src/AChild.kt
 src/useAChild.kt
 End of files

jps/jps-plugin/testData/incremental/classHierarchyAffected/overrideExplicit/A.kt

@@ -0,0 +1,3 @@
+open class A {
+    open fun f(c: C<Any>) {}
+}

jps/jps-plugin/testData/incremental/classHierarchyAffected/overrideExplicit/A.kt.new.1

@@ -0,0 +1,3 @@
+open class A {
+    open fun f(c: C<Any?>) {}
+}

jps/jps-plugin/testData/incremental/classHierarchyAffected/overrideExplicit/A.kt.new.2

@@ -0,0 +1,3 @@
+open class A {
+    open fun f(c: C<Any>) {}
+}

jps/jps-plugin/testData/incremental/classHierarchyAffected/overrideExplicit/B.kt

@@ -0,0 +1,3 @@
+class B : A() {
+    override fun f(c: C<Any>) {}
+}

jps/jps-plugin/testData/incremental/classHierarchyAffected/overrideExplicit/C.kt

@@ -0,0 +1 @@
+class C<out T>

jps/jps-plugin/testData/incremental/classHierarchyAffected/overrideExplicit/build.log

@@ -0,0 +1,23 @@
+Cleaning output files:
+out/production/module/A.class
+End of files
+Compiling files:
+src/A.kt
+End of files
+Cleaning output files:
+out/production/module/B.class
+End of files
+Compiling files:
+src/B.kt
+End of files
+COMPILATION FAILED
+'f' overrides nothing
+
+
+Cleaning output files:
+out/production/module/A.class
+End of files
+Compiling files:
+src/A.kt
+src/B.kt
+End of files

jps/jps-plugin/testData/incremental/classHierarchyAffected/overrideImplicit/A.kt

@@ -0,0 +1,3 @@
+interface A {
+    fun f(c: C<Any>)
+}

jps/jps-plugin/testData/incremental/classHierarchyAffected/overrideImplicit/B.kt

@@ -0,0 +1,3 @@
+open class B {
+    fun f(c: C<Any>) {}
+}

jps/jps-plugin/testData/incremental/classHierarchyAffected/overrideImplicit/B.kt.new.1

@@ -0,0 +1,3 @@
+open class B {
+    fun f(c: C<Int>) {}
+}

jps/jps-plugin/testData/incremental/classHierarchyAffected/overrideImplicit/B.kt.new.2

@@ -0,0 +1,3 @@
+open class B {
+    fun f(c: C<Any>) {}
+}

jps/jps-plugin/testData/incremental/classHierarchyAffected/overrideImplicit/BA.kt

@@ -0,0 +1 @@
+open class BA : B(), A

jps/jps-plugin/testData/incremental/classHierarchyAffected/overrideImplicit/C.kt

@@ -0,0 +1 @@
+class C<out T>

jps/jps-plugin/testData/incremental/classHierarchyAffected/overrideImplicit/build.log

@@ -0,0 +1,23 @@
+Cleaning output files:
+out/production/module/B.class
+End of files
+Compiling files:
+src/B.kt
+End of files
+Cleaning output files:
+out/production/module/BA.class
+End of files
+Compiling files:
+src/BA.kt
+End of files
+COMPILATION FAILED
+Class 'BA' must be declared abstract or implement abstract member public abstract fun f(c: C<kotlin.Any>): kotlin.Unit defined in A
+
+
+Cleaning output files:
+out/production/module/B.class
+End of files
+Compiling files:
+src/B.kt
+src/BA.kt
+End of files

jps/jps-plugin/testData/incremental/classHierarchyAffected/propertyNullabilityChanged/build.log

@@ -7,9 +7,11 @@ src/A.kt
 End of files
 Cleaning output files:
 out/production/module/META-INF/module.kotlin_module
+out/production/module/foo/AChild.class
 out/production/module/foo/UseAChildKt.class
 End of files
 Compiling files:
+src/AChild.kt
 src/useAChild.kt
 End of files
 COMPILATION FAILED
@@ -21,5 +23,6 @@ out/production/module/foo/A.class
 End of files
 Compiling files:
 src/A.kt
+src/AChild.kt
 src/useAChild.kt
 End of files

jps/jps-plugin/testData/incremental/lazyKotlinCaches/class/experimental-expected-kotlin-caches.txt

@@ -7,6 +7,7 @@ kotlin-data-container
 Module 'module' production
     experimental-format-version.txt
     format-version.txt
+    class-fq-name-to-source.tab
     proto.tab
     source-to-classes.tab
-Module 'module' tests
+Module 'module' tests

jps/jps-plugin/testData/incremental/lazyKotlinCaches/classInheritance/experimental-expected-kotlin-caches.txt

@@ -7,8 +7,9 @@ kotlin-data-container
 Module 'module' production
     experimental-format-version.txt
     format-version.txt
+    class-fq-name-to-source.tab
     proto.tab
     source-to-classes.tab
     subtypes.tab
     supertypes.tab
-Module 'module' tests
+Module 'module' tests

jps/jps-plugin/testData/incremental/multiModule/circularDependencyClasses/experimental-ic-build.log

@@ -7,3 +7,10 @@ End of files
 Compiling files:
 module2/src/module2_b.kt
 End of files
+Cleaning output files:
+out/production/module1/a/A.class
+out/production/module1/a/AA.class
+End of files
+Compiling files:
+module1/src/module1_a.kt
+End of files