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

[AA] Add diagnostics tests for sealed classes/interfaces

Browse Source 
- KT-62895 cannot be reproduced on the Analysis API side. Still, it is
  useful to add tests here for better coverage in the future.
- The reason is likely that Analysis API tests specifically use
  `SealedClassesInheritorsCaclulatorPreAnalysisHandler` to compute
  sealed class inheritors (which are usually the breaking point for
  problems in `when` exhaustiveness checking), so the tests do not use
  the production implementation. See KT-64505 for future work on this
  problem.

^KT-62895
This commit is contained in:
Marco Pennekamp
2023-12-21 11:21:17 +01:00
committed by Space Team
parent 51f1e31cce
commit eabbe21b66
31 changed files with 642 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
analysis/analysis-api-standalone/tests-gen/org/jetbrains/kotlin/analysis/api/standalone/fir/test/cases/generated/cases/components/diagnosticProvider/FirStandaloneNormalAnalysisSourceModuleCollectDiagnosticsTestGenerated.java
Generated
+82
View File
@@ -253,4 +253,86 @@ public class FirStandaloneNormalAnalysisSourceModuleCollectDiagnosticsTestGenera
runTest("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/suppression/deprecationAtTopLevel.kt");
}
}
@Nested
@TestMetadata("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/when")
@TestDataPath("$PROJECT_ROOT")
public class When {
@Test
public void testAllFilesPresentInWhen() throws Exception {
KtTestUtil.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/when"), Pattern.compile("^(.+)\\.kt$"), null, true);
}
@Test
@TestMetadata("sealedClassFromDependencyExhaustive.kt")
public void testSealedClassFromDependencyExhaustive() throws Exception {
runTest("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/when/sealedClassFromDependencyExhaustive.kt");
}
@Test
@TestMetadata("sealedClassFromDependencyMissingCase.kt")
public void testSealedClassFromDependencyMissingCase() throws Exception {
runTest("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/when/sealedClassFromDependencyMissingCase.kt");
}
@Test
@TestMetadata("sealedClassFromLibraryExhaustive.kt")
public void testSealedClassFromLibraryExhaustive() throws Exception {
runTest("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/when/sealedClassFromLibraryExhaustive.kt");
}
@Test
@TestMetadata("sealedClassFromLibraryMissingCase.kt")
public void testSealedClassFromLibraryMissingCase() throws Exception {
runTest("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/when/sealedClassFromLibraryMissingCase.kt");
}
@Test
@TestMetadata("sealedClassSameModuleExhaustive.kt")
public void testSealedClassSameModuleExhaustive() throws Exception {
runTest("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/when/sealedClassSameModuleExhaustive.kt");
}
@Test
@TestMetadata("sealedClassSameModuleMissingCase.kt")
public void testSealedClassSameModuleMissingCase() throws Exception {
runTest("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/when/sealedClassSameModuleMissingCase.kt");
}
@Test
@TestMetadata("sealedInterfaceFromDependencyExhaustive.kt")
public void testSealedInterfaceFromDependencyExhaustive() throws Exception {
runTest("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/when/sealedInterfaceFromDependencyExhaustive.kt");
}
@Test
@TestMetadata("sealedInterfaceFromDependencyMissingCase.kt")
public void testSealedInterfaceFromDependencyMissingCase() throws Exception {
runTest("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/when/sealedInterfaceFromDependencyMissingCase.kt");
}
@Test
@TestMetadata("sealedInterfaceFromLibraryExhaustive.kt")
public void testSealedInterfaceFromLibraryExhaustive() throws Exception {
runTest("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/when/sealedInterfaceFromLibraryExhaustive.kt");
}
@Test
@TestMetadata("sealedInterfaceFromLibraryMissingCase.kt")
public void testSealedInterfaceFromLibraryMissingCase() throws Exception {
runTest("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/when/sealedInterfaceFromLibraryMissingCase.kt");
}
@Test
@TestMetadata("sealedInterfaceSameModuleExhaustive.kt")
public void testSealedInterfaceSameModuleExhaustive() throws Exception {
runTest("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/when/sealedInterfaceSameModuleExhaustive.kt");
}
@Test
@TestMetadata("sealedInterfaceSameModuleMissingCase.kt")
public void testSealedInterfaceSameModuleMissingCase() throws Exception {
runTest("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/when/sealedInterfaceSameModuleMissingCase.kt");
}
}
}
analysis/analysis-api-standalone/tests-gen/org/jetbrains/kotlin/analysis/api/standalone/fir/test/cases/generated/cases/components/diagnosticProvider/FirStandaloneNormalAnalysisSourceModuleDanglingFileCollectDiagnosticsTestGenerated.java
Generated
+82
View File
@@ -253,4 +253,86 @@ public class FirStandaloneNormalAnalysisSourceModuleDanglingFileCollectDiagnosti
runTest("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/suppression/deprecationAtTopLevel.kt");
}
}
@Nested
@TestMetadata("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/when")
@TestDataPath("$PROJECT_ROOT")
public class When {
@Test
public void testAllFilesPresentInWhen() throws Exception {
KtTestUtil.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/when"), Pattern.compile("^(.+)\\.kt$"), null, true);
}
@Test
@TestMetadata("sealedClassFromDependencyExhaustive.kt")
public void testSealedClassFromDependencyExhaustive() throws Exception {
runTest("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/when/sealedClassFromDependencyExhaustive.kt");
}
@Test
@TestMetadata("sealedClassFromDependencyMissingCase.kt")
public void testSealedClassFromDependencyMissingCase() throws Exception {
runTest("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/when/sealedClassFromDependencyMissingCase.kt");
}
@Test
@TestMetadata("sealedClassFromLibraryExhaustive.kt")
public void testSealedClassFromLibraryExhaustive() throws Exception {
runTest("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/when/sealedClassFromLibraryExhaustive.kt");
}
@Test
@TestMetadata("sealedClassFromLibraryMissingCase.kt")
public void testSealedClassFromLibraryMissingCase() throws Exception {
runTest("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/when/sealedClassFromLibraryMissingCase.kt");
}
@Test
@TestMetadata("sealedClassSameModuleExhaustive.kt")
public void testSealedClassSameModuleExhaustive() throws Exception {
runTest("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/when/sealedClassSameModuleExhaustive.kt");
}
@Test
@TestMetadata("sealedClassSameModuleMissingCase.kt")
public void testSealedClassSameModuleMissingCase() throws Exception {
runTest("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/when/sealedClassSameModuleMissingCase.kt");
}
@Test
@TestMetadata("sealedInterfaceFromDependencyExhaustive.kt")
public void testSealedInterfaceFromDependencyExhaustive() throws Exception {
runTest("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/when/sealedInterfaceFromDependencyExhaustive.kt");
}
@Test
@TestMetadata("sealedInterfaceFromDependencyMissingCase.kt")
public void testSealedInterfaceFromDependencyMissingCase() throws Exception {
runTest("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/when/sealedInterfaceFromDependencyMissingCase.kt");
}
@Test
@TestMetadata("sealedInterfaceFromLibraryExhaustive.kt")
public void testSealedInterfaceFromLibraryExhaustive() throws Exception {
runTest("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/when/sealedInterfaceFromLibraryExhaustive.kt");
}
@Test
@TestMetadata("sealedInterfaceFromLibraryMissingCase.kt")
public void testSealedInterfaceFromLibraryMissingCase() throws Exception {
runTest("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/when/sealedInterfaceFromLibraryMissingCase.kt");
}
@Test
@TestMetadata("sealedInterfaceSameModuleExhaustive.kt")
public void testSealedInterfaceSameModuleExhaustive() throws Exception {
runTest("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/when/sealedInterfaceSameModuleExhaustive.kt");
}
@Test
@TestMetadata("sealedInterfaceSameModuleMissingCase.kt")
public void testSealedInterfaceSameModuleMissingCase() throws Exception {
runTest("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/when/sealedInterfaceSameModuleMissingCase.kt");
}
}
}