diff --git a/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java b/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java index ba8d41255e8..ceeede47653 100644 --- a/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java +++ b/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java @@ -15,12 +15,15 @@ */ package org.jetbrains.jet.checkers; +import junit.framework.Assert; import junit.framework.Test; import junit.framework.TestSuite; + +import java.io.File; import org.jetbrains.jet.JetTestUtils; import org.jetbrains.jet.test.TestMetadata; -import java.io.File; +import org.jetbrains.jet.checkers.AbstractDiagnosticsTestWithEagerResolve; /** This class is generated by {@link org.jetbrains.jet.checkers.AbstractDiagnosticsTestWithEagerResolve}. DO NOT MODIFY MANUALLY */ public class JetDiagnosticsTestGenerated extends AbstractDiagnosticsTestWithEagerResolve { @@ -1241,16 +1244,120 @@ public class JetDiagnosticsTestGenerated extends AbstractDiagnosticsTestWithEage JetTestUtils.assertAllTestsPresentByMetadata(this.getClass(), "org.jetbrains.jet.checkers.AbstractDiagnosticsTestWithEagerResolve", new File("compiler/testData/diagnostics/tests/inference"), "kt", false); } + @TestMetadata("arrayConstructor.kt") + public void testArrayConstructor() throws Exception { + doTest("compiler/testData/diagnostics/tests/inference/arrayConstructor.kt"); + } + + @TestMetadata("conflictingSubstitutions.kt") + public void testConflictingSubstitutions() throws Exception { + doTest("compiler/testData/diagnostics/tests/inference/conflictingSubstitutions.kt"); + } + + @TestMetadata("dependOnExpectedType.kt") + public void testDependOnExpectedType() throws Exception { + doTest("compiler/testData/diagnostics/tests/inference/dependOnExpectedType.kt"); + } + + @TestMetadata("hasErrorInConstrainingTypes.kt") + public void testHasErrorInConstrainingTypes() throws Exception { + doTest("compiler/testData/diagnostics/tests/inference/hasErrorInConstrainingTypes.kt"); + } + + @TestMetadata("inferInFunctionLiterals.kt") + public void testInferInFunctionLiterals() throws Exception { + doTest("compiler/testData/diagnostics/tests/inference/inferInFunctionLiterals.kt"); + } + @TestMetadata("kt1293.kt") public void testKt1293() throws Exception { doTest("compiler/testData/diagnostics/tests/inference/kt1293.kt"); } + @TestMetadata("listConstructor.kt") + public void testListConstructor() throws Exception { + doTest("compiler/testData/diagnostics/tests/inference/listConstructor.kt"); + } + + @TestMetadata("mapFunction.kt") + public void testMapFunction() throws Exception { + doTest("compiler/testData/diagnostics/tests/inference/mapFunction.kt"); + } + @TestMetadata("NoInferenceFromDeclaredBounds.kt") public void testNoInferenceFromDeclaredBounds() throws Exception { doTest("compiler/testData/diagnostics/tests/inference/NoInferenceFromDeclaredBounds.kt"); } + @TestMetadata("noInformationForParameter.kt") + public void testNoInformationForParameter() throws Exception { + doTest("compiler/testData/diagnostics/tests/inference/noInformationForParameter.kt"); + } + + @TestMetadata("typeConstructorMismatch.kt") + public void testTypeConstructorMismatch() throws Exception { + doTest("compiler/testData/diagnostics/tests/inference/typeConstructorMismatch.kt"); + } + + @TestMetadata("typeInferenceExpectedTypeMismatch.kt") + public void testTypeInferenceExpectedTypeMismatch() throws Exception { + doTest("compiler/testData/diagnostics/tests/inference/typeInferenceExpectedTypeMismatch.kt"); + } + + @TestMetadata("compiler/testData/diagnostics/tests/inference/regressions") + public static class Regressions extends AbstractDiagnosticsTestWithEagerResolve { + public void testAllFilesPresentInRegressions() throws Exception { + JetTestUtils.assertAllTestsPresentByMetadata(this.getClass(), "org.jetbrains.jet.checkers.AbstractDiagnosticsTestWithEagerResolve", new File("compiler/testData/diagnostics/tests/inference/regressions"), "kt", false); + } + + @TestMetadata("kt1029.kt") + public void testKt1029() throws Exception { + doTest("compiler/testData/diagnostics/tests/inference/regressions/kt1029.kt"); + } + + @TestMetadata("kt1031.kt") + public void testKt1031() throws Exception { + doTest("compiler/testData/diagnostics/tests/inference/regressions/kt1031.kt"); + } + + @TestMetadata("kt1558.kt") + public void testKt1558() throws Exception { + doTest("compiler/testData/diagnostics/tests/inference/regressions/kt1558.kt"); + } + + @TestMetadata("kt1944.kt") + public void testKt1944() throws Exception { + doTest("compiler/testData/diagnostics/tests/inference/regressions/kt1944.kt"); + } + + @TestMetadata("kt2179.kt") + public void testKt2179() throws Exception { + doTest("compiler/testData/diagnostics/tests/inference/regressions/kt2179.kt"); + } + + @TestMetadata("kt2294.kt") + public void testKt2294() throws Exception { + doTest("compiler/testData/diagnostics/tests/inference/regressions/kt2294.kt"); + } + + @TestMetadata("kt2320.kt") + public void testKt2320() throws Exception { + doTest("compiler/testData/diagnostics/tests/inference/regressions/kt2320.kt"); + } + + @TestMetadata("kt2324.kt") + public void testKt2324() throws Exception { + doTest("compiler/testData/diagnostics/tests/inference/regressions/kt2324.kt"); + } + + } + + public static Test innerSuite() { + TestSuite suite = new TestSuite("Inference"); + suite.addTestSuite(Inference.class); + suite.addTestSuite(Regressions.class); + return suite; + } } @TestMetadata("compiler/testData/diagnostics/tests/infos") @@ -2644,7 +2751,7 @@ public class JetDiagnosticsTestGenerated extends AbstractDiagnosticsTestWithEage suite.addTestSuite(Extensions.class); suite.addTestSuite(Generics.class); suite.addTest(IncompleteCode.innerSuite()); - suite.addTestSuite(Inference.class); + suite.addTest(Inference.innerSuite()); suite.addTestSuite(Infos.class); suite.addTestSuite(J_k.class); suite.addTestSuite(Jdk_annotations.class);