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

[Spec tests] Update spec tests metadata

Browse Source
This commit is contained in:
anastasiia.spaseeva
2020-03-18 15:58:03 +03:00
committed by Victor Petukhov
parent 8b307c0a2a
commit 509036b08b
76 changed files with 303 additions and 280 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/tests-spec/testData/diagnostics/linked/control--and-data-flow-analysis/control-flow-graph/expressions-1/conditional-expressions/p-1/neg/1.1.kt
Vendored
+1 -1
View File
@@ -5,7 +5,7 @@
/*
* KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
*
* SPEC VERSION: 0.1-213
* SPEC VERSION: 0.1-296
* PLACE: control--and-data-flow-analysis, control-flow-graph, expressions-1, conditional-expressions -> paragraph 1 -> sentence 1
* NUMBER: 1
* DESCRIPTION: check if-expressions must have both branches.
compiler/tests-spec/testData/diagnostics/linked/control--and-data-flow-analysis/control-flow-graph/expressions-1/conditional-expressions/p-1/neg/1.2.kt
Vendored
+1 -1
View File
@@ -5,7 +5,7 @@
/*
* KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
*
* SPEC VERSION: 0.1-213
* SPEC VERSION: 0.1-296
* PLACE: control--and-data-flow-analysis, control-flow-graph, expressions-1, conditional-expressions -> paragraph 1 -> sentence 1
* NUMBER: 2
* DESCRIPTION: check if-expressions must have both branches.
compiler/tests-spec/testData/diagnostics/linked/control--and-data-flow-analysis/control-flow-graph/expressions-1/conditional-expressions/p-1/neg/1.3.kt
Vendored
+1 -1
View File
@@ -5,7 +5,7 @@
/*
* KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
*
* SPEC VERSION: 0.1-213
* SPEC VERSION: 0.1-296
* PLACE: control--and-data-flow-analysis, control-flow-graph, expressions-1, conditional-expressions -> paragraph 1 -> sentence 1
* NUMBER: 3
* DESCRIPTION: check if-expressions must have both branches. (attempt to pass Nothing to if-condition without 'else' key word)
compiler/tests-spec/testData/diagnostics/linked/control--and-data-flow-analysis/control-flow-graph/expressions-1/conditional-expressions/p-1/neg/1.4.kt
Vendored
+1 -1
View File
@@ -5,7 +5,7 @@
/*
* KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
*
* SPEC VERSION: 0.1-213
* SPEC VERSION: 0.1-296
* PLACE: control--and-data-flow-analysis, control-flow-graph, expressions-1, conditional-expressions -> paragraph 1 -> sentence 1
* NUMBER: 4
* DESCRIPTION: check if-expressions must have both branches. (attempt to pass Nothing to if-condition with 'else' key word)
compiler/tests-spec/testData/diagnostics/linked/control--and-data-flow-analysis/control-flow-graph/expressions-1/conditional-expressions/p-1/neg/2.1.kt
Vendored
+1 -1
View File
@@ -5,7 +5,7 @@
/*
* KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
*
* SPEC VERSION: 0.1-213
* SPEC VERSION: 0.1-296
* PLACE: control--and-data-flow-analysis, control-flow-graph, expressions-1, conditional-expressions -> paragraph 1 -> sentence 2
* NUMBER: 1
* DESCRIPTION: check any if-statement in kotlin may be trivially turned into such an expression by replacing the missing branch with a kotlin.Unit object expression.
compiler/tests-spec/testData/diagnostics/linked/control--and-data-flow-analysis/control-flow-graph/expressions-1/conditional-expressions/p-1/pos/1.1.kt
Vendored
+1 -1
View File
@@ -5,7 +5,7 @@
/*
* KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
*
* SPEC VERSION: 0.1-213
* SPEC VERSION: 0.1-296
* PLACE: control--and-data-flow-analysis, control-flow-graph, expressions-1, conditional-expressions -> paragraph 1 -> sentence 1
* NUMBER: 1
* DESCRIPTION: check if-expressions must have both branches.
compiler/tests-spec/testData/diagnostics/linked/control--and-data-flow-analysis/control-flow-graph/expressions-1/conditional-expressions/p-1/pos/1.2.kt
Vendored
+1 -1
View File
@@ -5,7 +5,7 @@
/*
* KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
*
* SPEC VERSION: 0.1-213
* SPEC VERSION: 0.1-296
* PLACE: control--and-data-flow-analysis, control-flow-graph, expressions-1, conditional-expressions -> paragraph 1 -> sentence 1
* NUMBER: 2
* DESCRIPTION: check if-expressions must have both branches.
compiler/tests-spec/testData/diagnostics/linked/control--and-data-flow-analysis/control-flow-graph/expressions-1/conditional-expressions/p-1/pos/2.1.kt
Vendored
+1 -1
View File
@@ -5,7 +5,7 @@
/*
* KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
*
* SPEC VERSION: 0.1-213
* SPEC VERSION: 0.1-296
* PLACE: control--and-data-flow-analysis, control-flow-graph, expressions-1, conditional-expressions -> paragraph 1 -> sentence 2
* NUMBER: 1
* DESCRIPTION: check any if-statement in kotlin may be trivially turned into such an expression by replacing the missing branch with a kotlin.Unit object expression.
compiler/tests-spec/testData/diagnostics/linked/control--and-data-flow-analysis/control-flow-graph/expressions-1/conditional-expressions/testsMap.json
Vendored
+8 -8
View File
@@ -3,7 +3,7 @@
"neg": {
"2": [
{
"specVersion": "0.1-213",
"specVersion": "0.1-296",
"casesNumber": 2,
"description": "check any if-statement in kotlin may be trivially turned into such an expression by replacing the missing branch with a kotlin.Unit object expression.",
"unexpectedBehaviour": false
@@ -11,25 +11,25 @@
],
"1": [
{
"specVersion": "0.1-213",
"specVersion": "0.1-296",
"casesNumber": 2,
"description": "check if-expressions must have both branches.",
"unexpectedBehaviour": false
},
{
"specVersion": "0.1-213",
"specVersion": "0.1-296",
"casesNumber": 8,
"description": "check if-expressions must have both branches. (attempt to pass Nothing to if-condition without \u0027else\u0027 key word)",
"unexpectedBehaviour": true
},
{
"specVersion": "0.1-213",
"specVersion": "0.1-296",
"casesNumber": 5,
"description": "check if-expressions must have both branches. (attempt to pass Nothing to if-condition with \u0027else\u0027 key word)",
"unexpectedBehaviour": true
},
{
"specVersion": "0.1-213",
"specVersion": "0.1-296",
"casesNumber": 2,
"description": "check if-expressions must have both branches.",
"unexpectedBehaviour": false
@@ -39,7 +39,7 @@
"pos": {
"2": [
{
"specVersion": "0.1-213",
"specVersion": "0.1-296",
"casesNumber": 2,
"description": "check any if-statement in kotlin may be trivially turned into such an expression by replacing the missing branch with a kotlin.Unit object expression.",
"unexpectedBehaviour": false
@@ -47,13 +47,13 @@
],
"1": [
{
"specVersion": "0.1-213",
"specVersion": "0.1-296",
"casesNumber": 2,
"description": "check if-expressions must have both branches.",
"unexpectedBehaviour": false
},
{
"specVersion": "0.1-213",
"specVersion": "0.1-296",
"casesNumber": 3,
"description": "check if-expressions must have both branches.",
"unexpectedBehaviour": false
compiler/tests-spec/testData/diagnostics/linked/expressions/constant-literals/boolean-literals/p-1/neg/2.1.kt
Vendored
+1 -1
View File
@@ -5,7 +5,7 @@
/*
* KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
*
* SPEC VERSION: 0.1-218
* SPEC VERSION: 0.1-300
* PLACE: expressions, constant-literals, boolean-literals -> paragraph 1 -> sentence 2
* NUMBER: 1
* DESCRIPTION: checking of type for Boolean values: impossible to use as identifiers
compiler/tests-spec/testData/diagnostics/linked/expressions/constant-literals/boolean-literals/p-1/pos/2.1.kt
Vendored
+1 -1
View File
@@ -5,7 +5,7 @@
/*
* KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
*
* SPEC VERSION: 0.1-218
* SPEC VERSION: 0.1-300
* PLACE: expressions, constant-literals, boolean-literals -> paragraph 1 -> sentence 2
* NUMBER: 1
* DESCRIPTION: checking of type for Boolean values: possible to use as identifiers if surround with backticks
compiler/tests-spec/testData/diagnostics/linked/expressions/constant-literals/boolean-literals/testsMap.json
Vendored
+2 -2
View File
@@ -3,7 +3,7 @@
"neg": {
"2": [
{
"specVersion": "0.1-218",
"specVersion": "0.1-300",
"casesNumber": 7,
"description": "checking of type for Boolean values: impossible to use as identifiers",
"unexpectedBehaviour": false
@@ -21,7 +21,7 @@
"pos": {
"2": [
{
"specVersion": "0.1-218",
"specVersion": "0.1-300",
"casesNumber": 7,
"description": "checking of type for Boolean values: possible to use as identifiers if surround with backticks",
"unexpectedBehaviour": false
compiler/tests-spec/testData/diagnostics/linked/expressions/not-null-assertion-expression/p-2/pos/1.1.kt
Vendored
+54
View File
@@ -0,0 +1,54 @@
// !LANGUAGE: +NewInference
// !DIAGNOSTICS: -UNREACHABLE_CODE -UNUSED_VARIABLE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE -UNUSED_VALUE -UNUSED_PARAMETER -UNUSED_EXPRESSION
// SKIP_TXT
/*
* KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
*
* SPEC VERSION: 0.1-296
* PLACE: expressions, not-null-assertion-expression -> paragraph 2 -> sentence 1
* NUMBER: 1
* DESCRIPTION: If the type of e is non-nullable, not-null assertion expression e!! has no effect.
*/
// MODULE: libModule
// FILE: libModule/JavaClass.java
package libModule;
public class JavaClass {
public static final boolean FALSE = false;
public static int obj = 5;
}
// MODULE: mainModule(libModule)
// FILE: KotlinClass.kt
package mainModule
import libModule.*
// TESTCASE NUMBER: 1
fun case1() {
val res = JavaClass.FALSE<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>
}
// TESTCASE NUMBER: 2
fun case2() {
val x = JavaClass.obj<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>
}
// TESTCASE NUMBER: 3
fun case3() {
val a = false
val x = a<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>
}
// TESTCASE NUMBER: 4
fun case4() {
val x = "weds"<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>
}
// TESTCASE NUMBER: 5
fun case5(nothing: Nothing) {
val y = nothing<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>
}
compiler/tests-spec/testData/diagnostics/linked/expressions/not-null-assertion-expression/p-3/pos/1.1.kt
Vendored
+27 -11
View File
@@ -5,19 +5,21 @@
/*
* KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
*
* SPEC VERSION: 0.1-220
* SPEC VERSION: 0.1-296
* PLACE: expressions, not-null-assertion-expression -> paragraph 3 -> sentence 1
* NUMBER: 1
* DESCRIPTION: If the type of e is non-nullable, not-null assertion expression e!! has no effect.
* DESCRIPTION: The type of non-null assertion e!! expression is the non-nullable variant of the type of e.
* HELPERS: checkType
*/
// MODULE: libModule
// FILE: libModule/JavaClass.java
package libModule;
public class JavaClass {
public static final boolean FALSE = false;
public static int obj = 5;
public static final String STR;
public static Object obj;
}
@@ -25,30 +27,44 @@ public class JavaClass {
// FILE: KotlinClass.kt
package mainModule
import libModule.*
import checkSubtype
// TESTCASE NUMBER: 1
fun case1() {
val res = JavaClass.FALSE<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>
val a = JavaClass.STR
<!DEBUG_INFO_EXPRESSION_TYPE("(kotlin.String..kotlin.String?)")!>a<!>
val res = a!!
<!DEBUG_INFO_EXPRESSION_TYPE("kotlin.String")!>res<!>
}
// TESTCASE NUMBER: 2
fun case2() {
val x = JavaClass.obj<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>
val a = JavaClass.obj
<!DEBUG_INFO_EXPRESSION_TYPE("(kotlin.Any..kotlin.Any?)")!>a<!>
val x = a!!
<!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any")!>x<!>
}
// TESTCASE NUMBER: 3
fun case3() {
val a = false
val x = a<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>
val a : Any? = false
<!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any?")!>a<!>
val x = a!!
<!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any")!>x<!>
}
// TESTCASE NUMBER: 4
fun case4() {
val x = "weds"<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>
val a : String? = "weds"
<!DEBUG_INFO_EXPRESSION_TYPE("kotlin.String?")!>a<!>
val x = a!!
<!DEBUG_INFO_EXPRESSION_TYPE("kotlin.String")!>x<!>
}
// TESTCASE NUMBER: 5
fun case5(nothing: Nothing) {
val y = nothing<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>
fun case5(nothing: Nothing?) {
<!DEBUG_INFO_CONSTANT, DEBUG_INFO_EXPRESSION_TYPE("kotlin.Nothing?")!>nothing<!>
val y = <!ALWAYS_NULL!>nothing<!>!!
<!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Nothing")!>y<!>
}
compiler/tests-spec/testData/diagnostics/linked/expressions/not-null-assertion-expression/p-4/pos/1.1.kt
Vendored
-70
View File
@@ -1,70 +0,0 @@
// !LANGUAGE: +NewInference
// !DIAGNOSTICS: -UNREACHABLE_CODE -UNUSED_VARIABLE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE -UNUSED_VALUE -UNUSED_PARAMETER -UNUSED_EXPRESSION
// SKIP_TXT
/*
* KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
*
* SPEC VERSION: 0.1-220
* PLACE: expressions, not-null-assertion-expression -> paragraph 4 -> sentence 1
* NUMBER: 1
* DESCRIPTION: The type of non-null assertion e!! expression is the non-nullable variant of the type of e.
* HELPERS: checkType
*/
// MODULE: libModule
// FILE: libModule/JavaClass.java
package libModule;
public class JavaClass {
public static final String STR;
public static Object obj;
}
// MODULE: mainModule(libModule)
// FILE: KotlinClass.kt
package mainModule
import libModule.*
import checkSubtype
// TESTCASE NUMBER: 1
fun case1() {
val a = JavaClass.STR
<!DEBUG_INFO_EXPRESSION_TYPE("(kotlin.String..kotlin.String?)")!>a<!>
val res = a!!
<!DEBUG_INFO_EXPRESSION_TYPE("kotlin.String")!>res<!>
}
// TESTCASE NUMBER: 2
fun case2() {
val a = JavaClass.obj
<!DEBUG_INFO_EXPRESSION_TYPE("(kotlin.Any..kotlin.Any?)")!>a<!>
val x = a!!
<!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any")!>x<!>
}
// TESTCASE NUMBER: 3
fun case3() {
val a : Any? = false
<!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any?")!>a<!>
val x = a!!
<!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any")!>x<!>
}
// TESTCASE NUMBER: 4
fun case4() {
val a : String? = "weds"
<!DEBUG_INFO_EXPRESSION_TYPE("kotlin.String?")!>a<!>
val x = a!!
<!DEBUG_INFO_EXPRESSION_TYPE("kotlin.String")!>x<!>
}
// TESTCASE NUMBER: 5
fun case5(nothing: Nothing?) {
<!DEBUG_INFO_CONSTANT, DEBUG_INFO_EXPRESSION_TYPE("kotlin.Nothing?")!>nothing<!>
val y = <!ALWAYS_NULL!>nothing<!>!!
<!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Nothing")!>y<!>
}
compiler/tests-spec/testData/diagnostics/linked/expressions/not-null-assertion-expression/testsMap.json
Vendored
+4 -4
View File
@@ -1,9 +1,9 @@
{
"4": {
"3": {
"pos": {
"1": [
{
"specVersion": "0.1-220",
"specVersion": "0.1-296",
"casesNumber": 5,
"description": "The type of non-null assertion e!! expression is the non-nullable variant of the type of e.",
"unexpectedBehaviour": false
@@ -11,11 +11,11 @@
]
}
},
"3": {
"2": {
"pos": {
"1": [
{
"specVersion": "0.1-220",
"specVersion": "0.1-296",
"casesNumber": 5,
"description": "If the type of e is non-nullable, not-null assertion expression e!! has no effect.",
"unexpectedBehaviour": false
compiler/tests-spec/testData/diagnostics/linked/expressions/try-expression/p-8/neg/1.1.kt
Vendored
+1 -1
View File
@@ -5,7 +5,7 @@
/*
* KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
*
* SPEC VERSION: 0.1-218
* SPEC VERSION: 0.1-296
* PLACE: expressions, try-expression -> paragraph 8 -> sentence 1
* RELEVANT PLACES: expressions, try-expression -> paragraph 9 -> sentence 1
* NUMBER: 1
compiler/tests-spec/testData/diagnostics/linked/expressions/try-expression/p-8/pos/1.1.kt
Vendored
+1 -1
View File
@@ -5,7 +5,7 @@
/*
* KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
*
* SPEC VERSION: 0.1-218
* SPEC VERSION: 0.1-296
* PLACE: expressions, try-expression -> paragraph 8 -> sentence 1
* RELEVANT PLACES: expressions, try-expression -> paragraph 9 -> sentence 1
* NUMBER: 1
compiler/tests-spec/testData/diagnostics/linked/expressions/try-expression/testsMap.json
Vendored
+4 -4
View File
@@ -144,7 +144,7 @@
"neg": {
"1": [
{
"specVersion": "0.1-218",
"specVersion": "0.1-296",
"casesNumber": 3,
"description": "The type of the try-expression is the least upper bound of the types of the last expressions of the try body and the last expressions of all the catch blocks",
"unexpectedBehaviour": true
@@ -154,7 +154,7 @@
"pos": {
"1": [
{
"specVersion": "0.1-218",
"specVersion": "0.1-296",
"casesNumber": 3,
"description": "The type of the try-expression is the least upper bound of the types of the last expressions of the try body and the last expressions of all the catch blocks",
"unexpectedBehaviour": false
@@ -166,7 +166,7 @@
"neg": {
"1": [
{
"specVersion": "0.1-218",
"specVersion": "0.1-296",
"casesNumber": 3,
"description": "The type of the try-expression is the least upper bound of the types of the last expressions of the try body and the last expressions of all the catch blocks",
"path": "compiler/tests-spec/testData/diagnostics/linked/expressions/try-expression/p-8/neg/1.1.kt",
@@ -177,7 +177,7 @@
"pos": {
"1": [
{
"specVersion": "0.1-218",
"specVersion": "0.1-296",
"casesNumber": 3,
"description": "The type of the try-expression is the least upper bound of the types of the last expressions of the try body and the last expressions of all the catch blocks",
"path": "compiler/tests-spec/testData/diagnostics/linked/expressions/try-expression/p-8/pos/1.1.kt",
compiler/tests-spec/testData/diagnostics/linked/expressions/type-checking-and-containment-checking-expressions/type-checking-expression/p-3/pos/1.1.kt → compiler/tests-spec/testData/diagnostics/linked/expressions/type-checking-and-containment-checking-expressions/type-checking-expression/p-4/pos/1.1.kt
Vendored
+2 -2
View File
@@ -5,8 +5,8 @@
/*
* KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
*
* SPEC VERSION: 0.1-218
* PLACE: expressions, type-checking-and-containment-checking-expressions, type-checking-expression -> paragraph 3 -> sentence 1
* SPEC VERSION: 0.1-296
* PLACE: expressions, type-checking-and-containment-checking-expressions, type-checking-expression -> paragraph 4 -> sentence 1
* RELEVANT PLACES: expressions, type-checking-and-containment-checking-expressions, type-checking-expression -> paragraph 4 -> sentence 1
* NUMBER: 1
* DESCRIPTION: Type-checking expression always has type kotlin.Boolean.
compiler/tests-spec/testData/diagnostics/linked/expressions/type-checking-and-containment-checking-expressions/type-checking-expression/testsMap.json
Vendored
+8 -14
View File
@@ -1,24 +1,18 @@
{
"3": {
"pos": {
"1": [
{
"specVersion": "0.1-218",
"casesNumber": 4,
"description": "Type-checking expression always has type kotlin.Boolean.",
"unexpectedBehaviour": false
}
]
}
},
"4": {
"pos": {
"1": [
{
"specVersion": "0.1-218",
"specVersion": "0.1-296",
"casesNumber": 4,
"description": "Type-checking expression always has type kotlin.Boolean.",
"path": "compiler/tests-spec/testData/diagnostics/linked/expressions/type-checking-and-containment-checking-expressions/type-checking-expression/p-3/pos/1.1.kt",
"unexpectedBehaviour": false
},
{
"specVersion": "0.1-296",
"casesNumber": 4,
"description": "Type-checking expression always has type kotlin.Boolean.",
"path": "compiler/tests-spec/testData/diagnostics/linked/expressions/type-checking-and-containment-checking-expressions/type-checking-expression/p-4/pos/1.1.kt",
"unexpectedBehaviour": false
}
]
compiler/tests-spec/testData/diagnostics/linked/expressions/when-expression/p-6/neg/1.1.kt
Vendored
+1 -1
View File
@@ -3,7 +3,7 @@
/*
* KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
*
* SPEC VERSION: 0.1-100
* SPEC VERSION: 0.1-296
* PLACE: expressions, when-expression -> paragraph 6 -> sentence 1
* NUMBER: 1
* DESCRIPTION: 'When' with bound value and type test condition (without companion object in classes), but without type checking operator.
compiler/tests-spec/testData/diagnostics/linked/expressions/when-expression/p-6/neg/1.2.kt
Vendored
+1 -1
View File
@@ -3,7 +3,7 @@
/*
* KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
*
* SPEC VERSION: 0.1-100
* SPEC VERSION: 0.1-296
* PLACE: expressions, when-expression -> paragraph 6 -> sentence 1
* NUMBER: 2
* DESCRIPTION: 'When' with bound value and type test condition on the non-type operand of the type checking operator.
compiler/tests-spec/testData/diagnostics/linked/expressions/when-expression/p-6/neg/3.1.kt
Vendored
+1 -1
View File
@@ -3,7 +3,7 @@
/*
* KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
*
* SPEC VERSION: 0.1-100
* SPEC VERSION: 0.1-296
* PLACE: expressions, when-expression -> paragraph 6 -> sentence 3
* NUMBER: 1
* DESCRIPTION: 'When' with bound value and 'when condition' with range expression, but without containment checking operator.
compiler/tests-spec/testData/diagnostics/linked/expressions/when-expression/p-6/neg/3.2.kt
Vendored
+1 -1
View File
@@ -4,7 +4,7 @@
/*
* KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
*
* SPEC VERSION: 0.1-100
* SPEC VERSION: 0.1-296
* PLACE: expressions, when-expression -> paragraph 6 -> sentence 3
* NUMBER: 2
* DESCRIPTION: 'When' with bound value and 'when condition' with contains operator and type without defined contains operator.
compiler/tests-spec/testData/diagnostics/linked/expressions/when-expression/p-6/pos/1.1.kt
Vendored
+1 -1
View File
@@ -3,7 +3,7 @@
/*
* KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
*
* SPEC VERSION: 0.1-100
* SPEC VERSION: 0.1-296
* PLACE: expressions, when-expression -> paragraph 6 -> sentence 1
* NUMBER: 1
* DESCRIPTION: 'When' with bound value and type test condition.
compiler/tests-spec/testData/diagnostics/linked/expressions/when-expression/p-6/pos/1.2.kt
Vendored
+1 -1
View File
@@ -3,7 +3,7 @@
/*
* KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
*
* SPEC VERSION: 0.1-100
* SPEC VERSION: 0.1-296
* PLACE: expressions, when-expression -> paragraph 6 -> sentence 1
* NUMBER: 2
* DESCRIPTION: 'When' with bound value and type test condition (invert type checking operator).
compiler/tests-spec/testData/diagnostics/linked/expressions/when-expression/p-6/pos/1.3.kt
Vendored
+1 -1
View File
@@ -3,7 +3,7 @@
/*
* KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
*
* SPEC VERSION: 0.1-100
* SPEC VERSION: 0.1-296
* PLACE: expressions, when-expression -> paragraph 6 -> sentence 1
* NUMBER: 3
* DESCRIPTION: 'When' with bound value and enumaration of type test conditions.
compiler/tests-spec/testData/diagnostics/linked/expressions/when-expression/p-6/pos/1.4.kt
Vendored
+1 -1
View File
@@ -3,7 +3,7 @@
/*
* KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
*
* SPEC VERSION: 0.1-100
* SPEC VERSION: 0.1-296
* PLACE: expressions, when-expression -> paragraph 6 -> sentence 1
* NUMBER: 4
* DESCRIPTION: 'When' with bound value and enumaration of type test conditions (with invert type checking operator).
compiler/tests-spec/testData/diagnostics/linked/expressions/when-expression/p-6/pos/3.1.kt
Vendored
+1 -1
View File
@@ -3,7 +3,7 @@
/*
* KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
*
* SPEC VERSION: 0.1-100
* SPEC VERSION: 0.1-296
* PLACE: expressions, when-expression -> paragraph 6 -> sentence 3
* NUMBER: 1
* DESCRIPTION: 'When' with bound value and containment operator.
compiler/tests-spec/testData/diagnostics/linked/expressions/when-expression/p-6/pos/3.2.kt
Vendored
+1 -1
View File
@@ -3,7 +3,7 @@
/*
* KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
*
* SPEC VERSION: 0.1-100
* SPEC VERSION: 0.1-296
* PLACE: expressions, when-expression -> paragraph 6 -> sentence 3
* NUMBER: 2
* DESCRIPTION: 'When' with bound value and enumeration of the containment operators.
compiler/tests-spec/testData/diagnostics/linked/expressions/when-expression/testsMap.json
Vendored
+10 -10
View File
@@ -11,13 +11,13 @@
],
"1": [
{
"specVersion": "0.1-100",
"specVersion": "0.1-296",
"casesNumber": 1,
"description": "\u0027When\u0027 with bound value and type test condition on the non-type operand of the type checking operator.",
"unexpectedBehaviour": false
},
{
"specVersion": "0.1-100",
"specVersion": "0.1-296",
"casesNumber": 3,
"description": "\u0027When\u0027 with bound value and type test condition (without companion object in classes), but without type checking operator.",
"unexpectedBehaviour": false
@@ -74,13 +74,13 @@
],
"3": [
{
"specVersion": "0.1-100",
"specVersion": "0.1-296",
"casesNumber": 1,
"description": "\u0027When\u0027 with bound value and \u0027when condition\u0027 with range expression, but without containment checking operator.",
"unexpectedBehaviour": false
},
{
"specVersion": "0.1-100",
"specVersion": "0.1-296",
"casesNumber": 2,
"description": "\u0027When\u0027 with bound value and \u0027when condition\u0027 with contains operator and type without defined contains operator.",
"unexpectedBehaviour": false
@@ -190,25 +190,25 @@
],
"1": [
{
"specVersion": "0.1-100",
"specVersion": "0.1-296",
"casesNumber": 5,
"description": "\u0027When\u0027 with bound value and type test condition (invert type checking operator).",
"unexpectedBehaviour": true
},
{
"specVersion": "0.1-100",
"specVersion": "0.1-296",
"casesNumber": 6,
"description": "\u0027When\u0027 with bound value and enumaration of type test conditions.",
"unexpectedBehaviour": true
},
{
"specVersion": "0.1-100",
"specVersion": "0.1-296",
"casesNumber": 7,
"description": "\u0027When\u0027 with bound value and enumaration of type test conditions (with invert type checking operator).",
"unexpectedBehaviour": true
},
{
"specVersion": "0.1-100",
"specVersion": "0.1-296",
"casesNumber": 6,
"description": "\u0027When\u0027 with bound value and type test condition.",
"unexpectedBehaviour": true
@@ -251,13 +251,13 @@
],
"3": [
{
"specVersion": "0.1-100",
"specVersion": "0.1-296",
"casesNumber": 2,
"description": "\u0027When\u0027 with bound value and containment operator.",
"unexpectedBehaviour": false
},
{
"specVersion": "0.1-100",
"specVersion": "0.1-296",
"casesNumber": 2,
"description": "\u0027When\u0027 with bound value and enumeration of the containment operators.",
"unexpectedBehaviour": false
compiler/tests-spec/testData/diagnostics/linked/type-system/introduction-1/p-8/pos/1.1.kt
Vendored
+1 -1
View File
@@ -5,7 +5,7 @@
/*
* KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
*
* SPEC VERSION: 0.1-201
* SPEC VERSION: 0.1-296
* PLACE: type-system, introduction-1 -> paragraph 8 -> sentence 1
* RELEVANT PLACES: type-system, type-kinds, built-in-types, kotlin.Any -> paragraph 1 -> sentence 1
* NUMBER: 1
compiler/tests-spec/testData/diagnostics/linked/type-system/introduction-1/testsMap.json
Vendored
+3 -3
View File
@@ -3,14 +3,14 @@
"pos": {
"1": [
{
"specVersion": "0.1-100",
"specVersion": "0.1-296",
"casesNumber": 11,
"description": "The use of Boolean literals as the identifier (with backtick) in the class.",
"path": "compiler/tests-spec/testData/diagnostics/linked/type-system/type-kinds/built-in-types/kotlin.any/p-1/pos/1.2.kt",
"unexpectedBehaviour": false
},
{
"specVersion": "0.1-100",
"specVersion": "0.1-296",
"casesNumber": 9,
"description": "The use of Boolean literals as the identifier (with backtick) in the class.",
"path": "compiler/tests-spec/testData/diagnostics/linked/type-system/type-kinds/built-in-types/kotlin.any/p-1/pos/1.1.kt",
@@ -55,7 +55,7 @@
],
"1": [
{
"specVersion": "0.1-201",
"specVersion": "0.1-296",
"casesNumber": 13,
"description": "The use of Boolean literals as the identifier (with backtick) in the class.",
"unexpectedBehaviour": false
compiler/tests-spec/testData/diagnostics/linked/type-system/type-kinds/built-in-types/kotlin.any/p-1/pos/1.1.kt
Vendored
+1 -1
View File
@@ -5,7 +5,7 @@
/*
* KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
*
* SPEC VERSION: 0.1-100
* SPEC VERSION: 0.1-296
* PLACE: type-system, type-kinds, built-in-types, kotlin.any -> paragraph 1 -> sentence 1
* RELEVANT PLACES: type-system, introduction-1 -> paragraph 7 -> sentence 1
* NUMBER: 1
compiler/tests-spec/testData/diagnostics/linked/type-system/type-kinds/built-in-types/kotlin.any/p-1/pos/1.2.kt
Vendored
+1 -1
View File
@@ -5,7 +5,7 @@
/*
* KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
*
* SPEC VERSION: 0.1-100
* SPEC VERSION: 0.1-296
* PLACE: type-system, type-kinds, built-in-types, kotlin.any -> paragraph 1 -> sentence 1
* RELEVANT PLACES: type-system, introduction-1 -> paragraph 7 -> sentence 1
* NUMBER: 2
compiler/tests-spec/testData/diagnostics/linked/type-system/type-kinds/built-in-types/kotlin.any/testsMap.json
Vendored
+1 -1
View File
@@ -3,7 +3,7 @@
"pos": {
"1": [
{
"specVersion": "0.1-201",
"specVersion": "0.1-296",
"casesNumber": 13,
"description": "The use of Boolean literals as the identifier (with backtick) in the class.",
"path": "compiler/tests-spec/testData/diagnostics/linked/type-system/introduction-1/p-8/pos/1.1.kt",