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

Add Contract tests for JS

Browse Source
This commit is contained in:
Roman Artemev
2018-11-01 17:43:36 +03:00
committed by romanart
parent caad0d5a74
commit b010d9eef8
17 changed files with 340 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/testData/codegen/box/arrays/inlineInitializer.kt
Vendored
+16
View File
@@ -0,0 +1,16 @@
class Foo(
val width: Int,
val height: Int,
// This function tells the constructor which cells are alive
// if init(i, j) is true, the cell (i, j) is alive
init: (Int, Int) -> String
) {
val live: Array<Array<String>> = Array(height) { i -> Array(width) { j -> init(i, j) } }
}
fun box(): String {
val foo = Foo(2, 2) { i, j -> if (i == j) (if (i == 0) "O" else "K") else "Fail@[$i, $j]" }
return foo.live[0][0] + foo.live[1][1]
}
compiler/testData/codegen/boxInline/contracts/cfgDependendValInitialization.kt
Vendored
+40
View File
@@ -0,0 +1,40 @@
// !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +ReadDeserializedContracts
// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
// IGNORE_BACKEND: JVM_IR
// IGNORE_BACKEND: NATIVE
// FILE: 1.kt
package test
import kotlin.contracts.*
@Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE")
public inline fun <R> myrun(block: () -> R): R {
contract {
callsInPlace(block, InvocationKind.EXACTLY_ONCE)
}
return block()
}
// FILE: 2.kt
import test.*
fun test(b: Boolean): Int {
val x: Int
if (b) {
x = 1
} else {
myrun {
x = -1
}
}
return x
}
fun box(): String {
if (test(true) != 1) return "Fail 1"
if (test(false) != -1) return "Fail 2"
return "OK"
}
compiler/testData/codegen/boxInline/contracts/definiteValInitInInitializer.kt
Vendored
+38
View File
@@ -0,0 +1,38 @@
// !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +ReadDeserializedContracts
// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
// IGNORE_BACKEND: JVM_IR
// IGNORE_BACKEND: NATIVE
// NO_CHECK_LAMBDA_INLINING
// FILE: 1.kt
package test
import kotlin.contracts.*
@Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE")
public inline fun <R> myrun(block: () -> R): R {
contract {
callsInPlace(block, InvocationKind.EXACTLY_ONCE)
}
return block()
}
// FILE: 2.kt
import test.*
class A {
val x: String
constructor() {
}
init {
val o: String
val k: String = "K"
myrun { o = "O" }
fun baz() = o + k
x = baz()
}
}
fun box() = A().x
compiler/testData/codegen/boxInline/contracts/propertyInitialization.kt
Vendored
+1
View File
@@ -1,6 +1,7 @@
// !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +ReadDeserializedContracts
// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
// IGNORE_BACKEND: JVM_IR
// IGNORE_BACKEND: JS_IR
// IGNORE_BACKEND: NATIVE
// FILE: 1.kt
package test
compiler/tests/org/jetbrains/kotlin/codegen/BlackBoxCodegenTestGenerated.java
Generated
+5
View File
@@ -430,6 +430,11 @@ public class BlackBoxCodegenTestGenerated extends AbstractBlackBoxCodegenTest {
runTest("compiler/testData/codegen/box/arrays/indicesChar.kt");
}
@TestMetadata("inlineInitializer.kt")
public void testInlineInitializer() throws Exception {
runTest("compiler/testData/codegen/box/arrays/inlineInitializer.kt");
}
@TestMetadata("iterator.kt")
public void testIterator() throws Exception {
runTest("compiler/testData/codegen/box/arrays/iterator.kt");
compiler/tests/org/jetbrains/kotlin/codegen/BlackBoxInlineCodegenTestGenerated.java
Generated
+10
View File
@@ -989,6 +989,11 @@ public class BlackBoxInlineCodegenTestGenerated extends AbstractBlackBoxInlineCo
KotlinTestUtils.assertAllTestsPresentByMetadata(this.getClass(), new File("compiler/testData/codegen/boxInline/contracts"), Pattern.compile("^(.+)\\.kt$"), TargetBackend.ANY, true);
}
@TestMetadata("cfgDependendValInitialization.kt")
public void testCfgDependendValInitialization() throws Exception {
runTest("compiler/testData/codegen/boxInline/contracts/cfgDependendValInitialization.kt");
}
@TestMetadata("complexInitializer.kt")
public void testComplexInitializer() throws Exception {
runTest("compiler/testData/codegen/boxInline/contracts/complexInitializer.kt");
@@ -1009,6 +1014,11 @@ public class BlackBoxInlineCodegenTestGenerated extends AbstractBlackBoxInlineCo
runTest("compiler/testData/codegen/boxInline/contracts/definiteNestedValInitialization.kt");
}
@TestMetadata("definiteValInitInInitializer.kt")
public void testDefiniteValInitInInitializer() throws Exception {
runTest("compiler/testData/codegen/boxInline/contracts/definiteValInitInInitializer.kt");
}
@TestMetadata("definiteValInitialization.kt")
public void testDefiniteValInitialization() throws Exception {
runTest("compiler/testData/codegen/boxInline/contracts/definiteValInitialization.kt");
compiler/tests/org/jetbrains/kotlin/codegen/CompileKotlinAgainstInlineKotlinTestGenerated.java
Generated
+10
View File
@@ -989,6 +989,11 @@ public class CompileKotlinAgainstInlineKotlinTestGenerated extends AbstractCompi
KotlinTestUtils.assertAllTestsPresentByMetadata(this.getClass(), new File("compiler/testData/codegen/boxInline/contracts"), Pattern.compile("^(.+)\\.kt$"), TargetBackend.ANY, true);
}
@TestMetadata("cfgDependendValInitialization.kt")
public void testCfgDependendValInitialization() throws Exception {
runTest("compiler/testData/codegen/boxInline/contracts/cfgDependendValInitialization.kt");
}
@TestMetadata("complexInitializer.kt")
public void testComplexInitializer() throws Exception {
runTest("compiler/testData/codegen/boxInline/contracts/complexInitializer.kt");
@@ -1009,6 +1014,11 @@ public class CompileKotlinAgainstInlineKotlinTestGenerated extends AbstractCompi
runTest("compiler/testData/codegen/boxInline/contracts/definiteNestedValInitialization.kt");
}
@TestMetadata("definiteValInitInInitializer.kt")
public void testDefiniteValInitInInitializer() throws Exception {
runTest("compiler/testData/codegen/boxInline/contracts/definiteValInitInInitializer.kt");
}
@TestMetadata("definiteValInitialization.kt")
public void testDefiniteValInitialization() throws Exception {
runTest("compiler/testData/codegen/boxInline/contracts/definiteValInitialization.kt");
compiler/tests/org/jetbrains/kotlin/codegen/LightAnalysisModeTestGenerated.java
Generated
+5
View File
@@ -430,6 +430,11 @@ public class LightAnalysisModeTestGenerated extends AbstractLightAnalysisModeTes
runTest("compiler/testData/codegen/box/arrays/indicesChar.kt");
}
@TestMetadata("inlineInitializer.kt")
public void testInlineInitializer() throws Exception {
runTest("compiler/testData/codegen/box/arrays/inlineInitializer.kt");
}
@TestMetadata("iterator.kt")
public void testIterator() throws Exception {
runTest("compiler/testData/codegen/box/arrays/iterator.kt");
compiler/tests/org/jetbrains/kotlin/codegen/ir/IrBlackBoxCodegenTestGenerated.java
Generated
+5
View File
@@ -430,6 +430,11 @@ public class IrBlackBoxCodegenTestGenerated extends AbstractIrBlackBoxCodegenTes
runTest("compiler/testData/codegen/box/arrays/indicesChar.kt");
}
@TestMetadata("inlineInitializer.kt")
public void testInlineInitializer() throws Exception {
runTest("compiler/testData/codegen/box/arrays/inlineInitializer.kt");
}
@TestMetadata("iterator.kt")
public void testIterator() throws Exception {
runTest("compiler/testData/codegen/box/arrays/iterator.kt");
compiler/tests/org/jetbrains/kotlin/codegen/ir/IrBlackBoxInlineCodegenTestGenerated.java
Generated
+10
View File
@@ -989,6 +989,11 @@ public class IrBlackBoxInlineCodegenTestGenerated extends AbstractIrBlackBoxInli
KotlinTestUtils.assertAllTestsPresentByMetadata(this.getClass(), new File("compiler/testData/codegen/boxInline/contracts"), Pattern.compile("^(.+)\\.kt$"), TargetBackend.JVM_IR, true);
}
@TestMetadata("cfgDependendValInitialization.kt")
public void testCfgDependendValInitialization() throws Exception {
runTest("compiler/testData/codegen/boxInline/contracts/cfgDependendValInitialization.kt");
}
@TestMetadata("complexInitializer.kt")
public void testComplexInitializer() throws Exception {
runTest("compiler/testData/codegen/boxInline/contracts/complexInitializer.kt");
@@ -1009,6 +1014,11 @@ public class IrBlackBoxInlineCodegenTestGenerated extends AbstractIrBlackBoxInli
runTest("compiler/testData/codegen/boxInline/contracts/definiteNestedValInitialization.kt");
}
@TestMetadata("definiteValInitInInitializer.kt")
public void testDefiniteValInitInInitializer() throws Exception {
runTest("compiler/testData/codegen/boxInline/contracts/definiteValInitInInitializer.kt");
}
@TestMetadata("definiteValInitialization.kt")
public void testDefiniteValInitialization() throws Exception {
runTest("compiler/testData/codegen/boxInline/contracts/definiteValInitialization.kt");
js/js.tests/test/org/jetbrains/kotlin/generators/tests/GenerateJsTests.kt
+8
View File
@@ -108,6 +108,14 @@ fun main(args: Array<String>) {
model("codegen/boxInline/suspend/", targetBackend = TargetBackend.JS_IR)
}
testClass<AbstractJsInlineContractsTests> {
model("codegen/boxInline/contracts/", targetBackend = TargetBackend.JS)
}
testClass<AbstractIrJsInlineContractsTests> {
model("codegen/boxInline/contracts/", targetBackend = TargetBackend.JS_IR)
}
testClass<AbstractJsLegacyPrimitiveArraysBoxTest> {
model("codegen/box/arrays", targetBackend = TargetBackend.JS)
}
js/js.tests/test/org/jetbrains/kotlin/js/test/semantics/IrJsCodegenBoxTestGenerated.java
Generated
+5
View File
@@ -400,6 +400,11 @@ public class IrJsCodegenBoxTestGenerated extends AbstractIrJsCodegenBoxTest {
runTest("compiler/testData/codegen/box/arrays/indicesChar.kt");
}
@TestMetadata("inlineInitializer.kt")
public void testInlineInitializer() throws Exception {
runTest("compiler/testData/codegen/box/arrays/inlineInitializer.kt");
}
@TestMetadata("iterator.kt")
public void testIterator() throws Exception {
runTest("compiler/testData/codegen/box/arrays/iterator.kt");
js/js.tests/test/org/jetbrains/kotlin/js/test/semantics/IrJsInlineContractsTestsGenerated.java
Generated
+86
View File
@@ -0,0 +1,86 @@
/*
* Copyright 2010-2018 JetBrains s.r.o. 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.js.test.semantics;
import com.intellij.testFramework.TestDataPath;
import org.jetbrains.kotlin.test.JUnit3RunnerWithInners;
import org.jetbrains.kotlin.test.KotlinTestUtils;
import org.jetbrains.kotlin.test.TargetBackend;
import org.jetbrains.kotlin.test.TestMetadata;
import org.junit.runner.RunWith;
import java.io.File;
import java.util.regex.Pattern;
/** This class is generated by {@link org.jetbrains.kotlin.generators.tests.TestsPackage}. DO NOT MODIFY MANUALLY */
@SuppressWarnings("all")
@TestMetadata("compiler/testData/codegen/boxInline/contracts")
@TestDataPath("$PROJECT_ROOT")
@RunWith(JUnit3RunnerWithInners.class)
public class IrJsInlineContractsTestsGenerated extends AbstractIrJsInlineContractsTests {
private void runTest(String testDataFilePath) throws Exception {
KotlinTestUtils.runTest0(this::doTest, TargetBackend.JS_IR, testDataFilePath);
}
public void testAllFilesPresentInContracts() throws Exception {
KotlinTestUtils.assertAllTestsPresentByMetadata(this.getClass(), new File("compiler/testData/codegen/boxInline/contracts"), Pattern.compile("^(.+)\\.kt$"), TargetBackend.JS_IR, true);
}
@TestMetadata("cfgDependendValInitialization.kt")
public void testCfgDependendValInitialization() throws Exception {
runTest("compiler/testData/codegen/boxInline/contracts/cfgDependendValInitialization.kt");
}
@TestMetadata("complexInitializer.kt")
public void testComplexInitializer() throws Exception {
runTest("compiler/testData/codegen/boxInline/contracts/complexInitializer.kt");
}
@TestMetadata("complexInitializerWithStackTransformation.kt")
public void testComplexInitializerWithStackTransformation() throws Exception {
runTest("compiler/testData/codegen/boxInline/contracts/complexInitializerWithStackTransformation.kt");
}
@TestMetadata("definiteLongValInitialization.kt")
public void testDefiniteLongValInitialization() throws Exception {
runTest("compiler/testData/codegen/boxInline/contracts/definiteLongValInitialization.kt");
}
@TestMetadata("definiteNestedValInitialization.kt")
public void testDefiniteNestedValInitialization() throws Exception {
runTest("compiler/testData/codegen/boxInline/contracts/definiteNestedValInitialization.kt");
}
@TestMetadata("definiteValInitInInitializer.kt")
public void testDefiniteValInitInInitializer() throws Exception {
runTest("compiler/testData/codegen/boxInline/contracts/definiteValInitInInitializer.kt");
}
@TestMetadata("definiteValInitialization.kt")
public void testDefiniteValInitialization() throws Exception {
runTest("compiler/testData/codegen/boxInline/contracts/definiteValInitialization.kt");
}
@TestMetadata("nonLocalReturn.kt")
public void testNonLocalReturn() throws Exception {
runTest("compiler/testData/codegen/boxInline/contracts/nonLocalReturn.kt");
}
@TestMetadata("nonLocalReturnWithCycle.kt")
public void testNonLocalReturnWithCycle() throws Exception {
runTest("compiler/testData/codegen/boxInline/contracts/nonLocalReturnWithCycle.kt");
}
@TestMetadata("propertyInitialization.kt")
public void testPropertyInitialization() throws Exception {
runTest("compiler/testData/codegen/boxInline/contracts/propertyInitialization.kt");
}
@TestMetadata("valInitializationAndUsageInNestedLambda.kt")
public void testValInitializationAndUsageInNestedLambda() throws Exception {
runTest("compiler/testData/codegen/boxInline/contracts/valInitializationAndUsageInNestedLambda.kt");
}
}
js/js.tests/test/org/jetbrains/kotlin/js/test/semantics/JsCodegenBoxTestGenerated.java
Generated
+5
View File
@@ -400,6 +400,11 @@ public class JsCodegenBoxTestGenerated extends AbstractJsCodegenBoxTest {
runTest("compiler/testData/codegen/box/arrays/indicesChar.kt");
}
@TestMetadata("inlineInitializer.kt")
public void testInlineInitializer() throws Exception {
runTest("compiler/testData/codegen/box/arrays/inlineInitializer.kt");
}
@TestMetadata("iterator.kt")
public void testIterator() throws Exception {
runTest("compiler/testData/codegen/box/arrays/iterator.kt");
js/js.tests/test/org/jetbrains/kotlin/js/test/semantics/JsInlineContractsTestsGenerated.java
Generated
+86
View File
@@ -0,0 +1,86 @@
/*
* Copyright 2010-2018 JetBrains s.r.o. 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.js.test.semantics;
import com.intellij.testFramework.TestDataPath;
import org.jetbrains.kotlin.test.JUnit3RunnerWithInners;
import org.jetbrains.kotlin.test.KotlinTestUtils;
import org.jetbrains.kotlin.test.TargetBackend;
import org.jetbrains.kotlin.test.TestMetadata;
import org.junit.runner.RunWith;
import java.io.File;
import java.util.regex.Pattern;
/** This class is generated by {@link org.jetbrains.kotlin.generators.tests.TestsPackage}. DO NOT MODIFY MANUALLY */
@SuppressWarnings("all")
@TestMetadata("compiler/testData/codegen/boxInline/contracts")
@TestDataPath("$PROJECT_ROOT")
@RunWith(JUnit3RunnerWithInners.class)
public class JsInlineContractsTestsGenerated extends AbstractJsInlineContractsTests {
private void runTest(String testDataFilePath) throws Exception {
KotlinTestUtils.runTest0(this::doTest, TargetBackend.JS, testDataFilePath);
}
public void testAllFilesPresentInContracts() throws Exception {
KotlinTestUtils.assertAllTestsPresentByMetadata(this.getClass(), new File("compiler/testData/codegen/boxInline/contracts"), Pattern.compile("^(.+)\\.kt$"), TargetBackend.JS, true);
}
@TestMetadata("cfgDependendValInitialization.kt")
public void testCfgDependendValInitialization() throws Exception {
runTest("compiler/testData/codegen/boxInline/contracts/cfgDependendValInitialization.kt");
}
@TestMetadata("complexInitializer.kt")
public void testComplexInitializer() throws Exception {
runTest("compiler/testData/codegen/boxInline/contracts/complexInitializer.kt");
}
@TestMetadata("complexInitializerWithStackTransformation.kt")
public void testComplexInitializerWithStackTransformation() throws Exception {
runTest("compiler/testData/codegen/boxInline/contracts/complexInitializerWithStackTransformation.kt");
}
@TestMetadata("definiteLongValInitialization.kt")
public void testDefiniteLongValInitialization() throws Exception {
runTest("compiler/testData/codegen/boxInline/contracts/definiteLongValInitialization.kt");
}
@TestMetadata("definiteNestedValInitialization.kt")
public void testDefiniteNestedValInitialization() throws Exception {
runTest("compiler/testData/codegen/boxInline/contracts/definiteNestedValInitialization.kt");
}
@TestMetadata("definiteValInitInInitializer.kt")
public void testDefiniteValInitInInitializer() throws Exception {
runTest("compiler/testData/codegen/boxInline/contracts/definiteValInitInInitializer.kt");
}
@TestMetadata("definiteValInitialization.kt")
public void testDefiniteValInitialization() throws Exception {
runTest("compiler/testData/codegen/boxInline/contracts/definiteValInitialization.kt");
}
@TestMetadata("nonLocalReturn.kt")
public void testNonLocalReturn() throws Exception {
runTest("compiler/testData/codegen/boxInline/contracts/nonLocalReturn.kt");
}
@TestMetadata("nonLocalReturnWithCycle.kt")
public void testNonLocalReturnWithCycle() throws Exception {
runTest("compiler/testData/codegen/boxInline/contracts/nonLocalReturnWithCycle.kt");
}
@TestMetadata("propertyInitialization.kt")
public void testPropertyInitialization() throws Exception {
runTest("compiler/testData/codegen/boxInline/contracts/propertyInitialization.kt");
}
@TestMetadata("valInitializationAndUsageInNestedLambda.kt")
public void testValInitializationAndUsageInNestedLambda() throws Exception {
runTest("compiler/testData/codegen/boxInline/contracts/valInitializationAndUsageInNestedLambda.kt");
}
}
js/js.tests/test/org/jetbrains/kotlin/js/test/semantics/JsLegacyPrimitiveArraysBoxTestGenerated.java
Generated
+5
View File
@@ -154,6 +154,11 @@ public class JsLegacyPrimitiveArraysBoxTestGenerated extends AbstractJsLegacyPri
runTest("compiler/testData/codegen/box/arrays/indicesChar.kt");
}
@TestMetadata("inlineInitializer.kt")
public void testInlineInitializer() throws Exception {
runTest("compiler/testData/codegen/box/arrays/inlineInitializer.kt");
}
@TestMetadata("iterator.kt")
public void testIterator() throws Exception {
runTest("compiler/testData/codegen/box/arrays/iterator.kt");
js/js.tests/test/org/jetbrains/kotlin/js/test/semantics/abstractClassesForGeneratedTests.kt
+5 -1
View File
@@ -31,6 +31,8 @@ abstract class AbstractInlineDefaultValuesTests : BorrowedInlineTest("defaultVal
abstract class AbstractInlineSuspendTests : BorrowedInlineTest("suspend/")
abstract class AbstractJsInlineContractsTests : BorrowedInlineTest("contracts/")
abstract class AbstractBoxJsTest : BasicBoxTest(
BasicBoxTest.TEST_DATA_DIR_PATH + "box/",
"box/"
@@ -84,4 +86,6 @@ abstract class AbstractIrEnumValuesInlineTests : BorrowedIrInlineTest("enum/")
abstract class AbstractIrInlineDefaultValuesTests : BorrowedIrInlineTest("defaultValues/")
abstract class AbstractIrInlineSuspendTests : BorrowedIrInlineTest("suspend/")
abstract class AbstractIrInlineSuspendTests : BorrowedIrInlineTest("suspend/")
abstract class AbstractIrJsInlineContractsTests : BorrowedIrInlineTest("contracts/")