[Spec tests] Add tests for reference-equality-expressions (paragraph 3)

2019-12-19 18:33:28 +03:00
parent 15b561195f
commit 3bb5ddb224
5 changed files with 173 additions and 4 deletions
@@ -0,0 +1,24 @@
+// WITH_RUNTIME
+
+/*
+ * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
+ *
+ * SPEC VERSION: 0.1-218
+ * PLACE: expressions, equality-expressions, reference-equality-expressions -> paragraph 3 -> sentence 1
+ * NUMBER: 1
+ * DESCRIPTION: If these values are non-equal by value, they are also non-equal by reference;
+ */
+
+fun box(): String {
+    val a1 = A(false)
+    val a2 = A(true)
+
+    if (!a1.equals( a2)) {
+        if (a1 !== a2)
+            return "OK"
+        else throw Exception()
+    }
+    return "NOK"
+}
+
+data class A(val a: Boolean)
@@ -0,0 +1,36 @@
+// WITH_RUNTIME
+
+/*
+ * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
+ *
+ * SPEC VERSION: 0.1-218
+ * PLACE: expressions, equality-expressions, reference-equality-expressions -> paragraph 3 -> sentence 2
+ * NUMBER: 1
+ * DESCRIPTION: Any instance of the null reference null is equal by reference to any other instance of the null reference;
+ */
+
+// FILE: JavaClass.java
+public class JavaClass{
+    public static Object NULL_VALUE ;
+}
+
+// FILE: KotlinClass.kt
+fun box(): String {
+
+    var flag1 = false
+    if (null === JavaClass.NULL_VALUE) {
+        if (JavaClass.NULL_VALUE === null)
+            flag1 = true
+    }
+
+    var flag2 = false
+    val x = null
+    if (null === x) {
+        if (x === null)
+        flag2 = true
+    }
+
+    if (flag1 && flag2) return "OK"
+    else
+        return "NOK"
+}
@@ -0,0 +1,73 @@
+{
+  "1": {
+    "pos": {
+      "2": [
+        {
+          "specVersion": "0.1-213",
+          "casesNumber": 0,
+          "description": "check if two values are equal (\u003d\u003d\u003d) by reference",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-213",
+          "casesNumber": 0,
+          "description": "two values are equal (\u003d\u003d\u003d) or non-equal (!\u003d\u003d) by reference",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-213",
+          "casesNumber": 0,
+          "description": "check if values are non-equal (!\u003d\u003d) by reference",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-213",
+          "casesNumber": 0,
+          "description": "check if two values are non-equal (!\u003d\u003d) by reference",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-213",
+          "casesNumber": 0,
+          "description": "check if two values are equal (\u003d\u003d\u003d) by reference",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-213",
+          "casesNumber": 0,
+          "description": "todo",
+          "path": "compiler/tests-spec/testData/codegen/box/linked/expressions/built-in-types-and-their-semantics/kotlin.unit/p-1/pos/1.1.kt",
+          "unexpectedBehaviour": false
+        }
+      ],
+      "3": [
+        {
+          "specVersion": "0.1-213",
+          "casesNumber": 0,
+          "description": "check equallity by refference via constructor",
+          "unexpectedBehaviour": false
+        }
+      ]
+    }
+  },
+  "3": {
+    "pos": {
+      "2": [
+        {
+          "specVersion": "0.1-218",
+          "casesNumber": 0,
+          "description": "Any instance of the null reference null is equal by reference to any other instance of the null reference;",
+          "unexpectedBehaviour": false
+        }
+      ],
+      "1": [
+        {
+          "specVersion": "0.1-218",
+          "casesNumber": 0,
+          "description": "If these values are non-equal by value, they are also non-equal by reference;",
+          "unexpectedBehaviour": false
+        }
+      ]
+    }
+  }
+}