FIR: Adjust testData for spec tests: statements

2020-04-16 12:23:53 +03:00
parent 0df6354896
commit 798fe9b7d1
6 changed files with 263 additions and 0 deletions
@@ -0,0 +1,32 @@
+// !LANGUAGE: +NewInference
+// !DIAGNOSTICS: -UNUSED_VARIABLE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE -UNUSED_VALUE -UNUSED_PARAMETER -UNUSED_EXPRESSION
+// SKIP_TXT
+
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
+ *
+ * SPEC VERSION: 0.1-253
+ * PLACE: statements, assignments, operator-assignments -> paragraph 2 -> sentence 1
+ * RELEVANT PLACES: statements, assignments, operator-assignments -> paragraph 2 -> sentence 2
+ * statements, assignments, operator-assignments -> paragraph 2 -> sentence 3
+ * statements, assignments, operator-assignments -> paragraph 3 -> sentence 1
+ * NUMBER: 1
+ * DESCRIPTION: An operator assignment A+=B
+ */
+
+
+class B(var a: Int) {
+    operator fun plus(value: Int): B {
+        a= a + value
+        return this
+    }
+    operator fun plusAssign(value: Int): Unit {
+        a= a + value
+    }
+}
+
+// TESTCASE NUMBER: 1
+fun case1() {
+    var b = B(1)
+    <!ASSIGN_OPERATOR_AMBIGUITY!>b += 1<!>
+}
@@ -0,0 +1,69 @@
+// !LANGUAGE: +NewInference
+// !DIAGNOSTICS: -UNUSED_VARIABLE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE -UNUSED_VALUE -UNUSED_PARAMETER -UNUSED_EXPRESSION
+// SKIP_TXT
+
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
+ *
+ * SPEC VERSION: 0.1-222
+ * PLACE: statements, assignments -> paragraph 1 -> sentence 2
+ * NUMBER: 1
+ * DESCRIPTION: Both left-hand and right-hand sides of an assignment must be expressions
+ */
+
+
+/*
+ * TESTCASE NUMBER: 1
+ * NOTE: right-hand side of an assignment must be expression
+ */
+fun case1() {
+    val x = <!AMBIGUITY, UNRESOLVED_REFERENCE!>for (<!SYNTAX!><!>) { }<!>
+    val y = for (x in 1..2) { }
+
+    val a = <!EXPRESSION_REQUIRED!>while (<!SYNTAX!><!>) { }<!>
+    val b = <!EXPRESSION_REQUIRED!>while (false) { }<!>
+    val c = <!EXPRESSION_REQUIRED!>while (<!SYNTAX!><!>) <!>;
+}
+
+/*
+ * TESTCASE NUMBER: 2
+ * NOTE: right-hand side of an assignment must be expression
+ */
+fun case2() {
+    var x = <!AMBIGUITY, UNRESOLVED_REFERENCE!>for (<!SYNTAX!><!>) { }<!>
+    var y = for (x in 1..2) { }
+
+    var a = <!EXPRESSION_REQUIRED!>while (<!SYNTAX!><!>) { }<!>
+    var b = <!EXPRESSION_REQUIRED!>while (false) { }<!>
+    var c = <!EXPRESSION_REQUIRED!>while (<!SYNTAX!><!>) <!>;
+}
+
+/*
+ * TESTCASE NUMBER: 3
+ * NOTE: right-hand side of an assignment must be expression
+ */
+fun case3() {
+    var x :Any?
+    var y :Any?
+
+    var a :Any?
+    var b :Any?
+    var c :Any?
+
+    x = <!AMBIGUITY, UNRESOLVED_REFERENCE!>for (<!SYNTAX!><!>) { }<!>
+    y = for (x in 1..2) { }
+
+    a = <!EXPRESSION_REQUIRED!>while (<!SYNTAX!><!>) { }<!>
+    b = <!EXPRESSION_REQUIRED!>while (false) { }<!>
+    c = <!EXPRESSION_REQUIRED!>while (<!SYNTAX!><!>) <!>;
+}
+
+/*
+ * TESTCASE NUMBER: 4
+ * NOTE: left-hand side of an assignment must be expression
+ */
+fun case4() {
+    <!VARIABLE_EXPECTED!>for (x in 1..2) {}<!>  = TODO();
+
+    <!VARIABLE_EXPECTED!>while (false) { }<!> = TODO()
+}
@@ -0,0 +1,41 @@
+// !LANGUAGE: +NewInference
+// !DIAGNOSTICS: -UNUSED_VARIABLE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE -UNUSED_VALUE -UNUSED_PARAMETER -UNUSED_EXPRESSION
+// SKIP_TXT
+
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
+ *
+ * SPEC VERSION: 0.1-222
+ * PLACE: statements, assignments -> paragraph 2 -> sentence 1
+ * RELEVANT PLACES: statements, assignments -> paragraph 3 -> sentence 1
+ * statements, assignments, simple-assignments -> paragraph 1 -> sentence 2
+ * NUMBER: 1
+ * DESCRIPTION: Check the expression is not assignable if an identifier referring to an unmutable property
+ */
+
+/*
+ * TESTCASE NUMBER: 1
+ * NOTE: an identifier referring to a unmutable property
+ */
+fun case1() {
+    val x : Any
+    x = "0"
+    x = 1
+    x = 2.0
+
+    val y : Any = 0
+    y = "0"
+    y = 1.0
+}
+
+/*
+ * TESTCASE NUMBER: 2
+ * NOTE: an identifier referring to a unmutable property
+ */
+fun case2() {
+    val x : Any
+    mutableListOf(0).forEach({ x = it })
+
+    val y : Any = 1
+    mutableListOf(1).forEach({ y = it })
+}
@@ -0,0 +1,59 @@
+// !LANGUAGE: +NewInference
+// !DIAGNOSTICS: -UNSAFE_CALL -UNREACHABLE_CODE -UNUSED_VARIABLE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE -UNUSED_VALUE -UNUSED_PARAMETER -UNUSED_EXPRESSION
+// SKIP_TXT
+
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
+ *
+ * SPEC VERSION: 0.1-222
+ * PLACE: statements, assignments -> paragraph 2 -> sentence 1
+ * RELEVANT PLACES: statements, assignments -> paragraph 3 -> sentence 2
+ * statements, assignments, simple-assignments -> paragraph 1 -> sentence 2
+ * NUMBER: 2
+ * DESCRIPTION: Check the expression is not assignable if a navigation expression referring to an unmutable property
+ */
+
+
+/*
+ * TESTCASE NUMBER: 1
+ * NOTE: a navigation expression referring to a unmutable property
+ */
+fun case1() {
+    val x : Case1? = Case1()
+    x.<!INAPPLICABLE_CANDIDATE!>x<!> = "0"
+    x?.x = "0"
+    <!VARIABLE_EXPECTED!>x::x<!> = TODO()
+}
+
+class Case1{
+    val x : Any?
+        get() { TODO() }
+}
+
+/*
+ * TESTCASE NUMBER: 2
+ * NOTE: an identifier referring to a ununmutable property
+ */
+fun case2() {
+    val x : Case2? = Case2(null)
+    x.<!INAPPLICABLE_CANDIDATE!>x<!> = "0"
+    x?.x = "0"
+    <!VARIABLE_EXPECTED!>x::x<!> = TODO()
+}
+
+class Case2(val x: Any?) {}
+
+/*
+ * TESTCASE NUMBER: 3
+ * NOTE: an identifier referring to a ununmutable property
+ */
+fun case3() {
+    val x : Case3? = Case3()
+    x.<!INAPPLICABLE_CANDIDATE!>x<!> = "0"
+    x?.x = "0"
+    <!VARIABLE_EXPECTED!>x::x<!> = TODO()
+}
+
+class Case3() {
+    val x: Any? = null
+}
@@ -0,0 +1,33 @@
+// !LANGUAGE: +NewInference
+// !DIAGNOSTICS: -UNUSED_VARIABLE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE -UNUSED_VALUE -UNUSED_PARAMETER -UNUSED_EXPRESSION
+// SKIP_TXT
+
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
+ *
+ * SPEC VERSION: 0.1-253
+ * PLACE: statements, loop-statements, do-while-loop-statement -> paragraph 3 -> sentence 1
+ * RELEVANT PLACES: statements, loop-statements, do-while-loop-statement -> paragraph 1 -> sentence 1
+ * NUMBER: 1
+ * DESCRIPTION: condition expression is not a subtype of kotlin.Boolean.
+ */
+
+// TESTCASE NUMBER: 1
+fun case1() {
+    do {
+    } while ("boo")
+}
+
+// TESTCASE NUMBER: 2
+fun case2() {
+    val condition: Any = true
+    do {
+    } while (condition)
+}
+
+// TESTCASE NUMBER: 3
+fun case3() {
+    val condition: Boolean? = true
+    do {
+    } while (condition)
+}
@@ -0,0 +1,29 @@
+// !LANGUAGE: +NewInference
+// !DIAGNOSTICS: -UNUSED_VARIABLE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE -UNUSED_VALUE -UNUSED_PARAMETER -UNUSED_EXPRESSION
+// SKIP_TXT
+
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
+ *
+ * SPEC VERSION: 0.1-253
+ * PLACE: statements, loop-statements, while-loop-statement -> paragraph 3 -> sentence 1
+ * RELEVANT PLACES: statements, loop-statements, while-loop-statement -> paragraph 1 -> sentence 1
+ * NUMBER: 1
+ * DESCRIPTION: condition expression is not a subtype of kotlin.Boolean.
+ * HELPERS: checkType
+ */
+
+// FILE: KotlinClass.kt
+// TESTCASE NUMBER: 1
+fun case1() {
+    val condition: Any = true
+    while (condition && "true") {
+    }
+}
+
+// TESTCASE NUMBER: 2
+fun case2() {
+    val condition: Boolean? = true
+    while (condition) {
+    }
+}