Add multilevel sections support and corresponding renaming
This commit is contained in:
victor.petukhov
+1
-1
@@ -7,7 +7,7 @@
|
||||
KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
|
||||
|
||||
SECTION: contracts
|
||||
CATEGORY: analysis, controlFlow, initialization
|
||||
CATEGORIES: analysis, controlFlow, initialization
|
||||
NUMBER: 1
|
||||
DESCRIPTION: val/var reassignment and/or uninitialized variable usages based on CallsInPlace effect with wrong invocation kind
|
||||
*/
|
||||
|
||||
+1
-1
@@ -7,7 +7,7 @@
|
||||
KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
|
||||
|
||||
SECTION: contracts
|
||||
CATEGORY: analysis, controlFlow, initialization
|
||||
CATEGORIES: analysis, controlFlow, initialization
|
||||
NUMBER: 2
|
||||
DESCRIPTION: val/var reassignment and/or uninitialized variable usages based on nested CallsInPlace effects with wrong invocation kind
|
||||
*/
|
||||
|
||||
+1
-1
@@ -8,7 +8,7 @@
|
||||
KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
|
||||
|
||||
SECTION: contracts
|
||||
CATEGORY: analysis, controlFlow, initialization
|
||||
CATEGORIES: analysis, controlFlow, initialization
|
||||
NUMBER: 3
|
||||
DESCRIPTION: val/var reassignment and/or uninitialized variable usages with compelx control flow inside/outside lambda of contract function with CallsInPlace effect
|
||||
*/
|
||||
|
||||
+1
-1
@@ -7,7 +7,7 @@
|
||||
KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
|
||||
|
||||
SECTION: contracts
|
||||
CATEGORY: analysis, controlFlow, initialization
|
||||
CATEGORIES: analysis, controlFlow, initialization
|
||||
NUMBER: 4
|
||||
DESCRIPTION: CallsInPlace contract functions with name shadowing and wrong invocation kind
|
||||
*/
|
||||
|
||||
+1
-1
@@ -7,7 +7,7 @@
|
||||
KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
|
||||
|
||||
SECTION: contracts
|
||||
CATEGORY: analysis, controlFlow, initialization
|
||||
CATEGORIES: analysis, controlFlow, initialization
|
||||
NUMBER: 5
|
||||
DESCRIPTION: CallsInPlace contract functions with invalid lambda passing to function parameter.
|
||||
*/
|
||||
|
||||
+1
-1
@@ -7,7 +7,7 @@
|
||||
KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
|
||||
|
||||
SECTION: contracts
|
||||
CATEGORY: analysis, controlFlow, initialization
|
||||
CATEGORIES: analysis, controlFlow, initialization
|
||||
NUMBER: 6
|
||||
DESCRIPTION: Check the lack of CallsInPlace effect on the lambda in the parentheses.
|
||||
UNEXPECTED BEHAVIOUR
|
||||
|
||||
+1
-1
@@ -7,7 +7,7 @@
|
||||
KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
|
||||
|
||||
SECTION: contracts
|
||||
CATEGORY: analysis, controlFlow, initialization
|
||||
CATEGORIES: analysis, controlFlow, initialization
|
||||
NUMBER: 1
|
||||
DESCRIPTION: val/var assignments using contract functions with CallsInPlace effect
|
||||
*/
|
||||
|
||||
+1
-1
@@ -7,7 +7,7 @@
|
||||
KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
|
||||
|
||||
SECTION: contracts
|
||||
CATEGORY: analysis, controlFlow, initialization
|
||||
CATEGORIES: analysis, controlFlow, initialization
|
||||
NUMBER: 2
|
||||
DESCRIPTION: Nested val/var assignments using contract functions with CallsInPlace effect
|
||||
*/
|
||||
|
||||
+1
-1
@@ -8,7 +8,7 @@
|
||||
KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
|
||||
|
||||
SECTION: contracts
|
||||
CATEGORY: analysis, controlFlow, initialization
|
||||
CATEGORIES: analysis, controlFlow, initialization
|
||||
NUMBER: 3
|
||||
DESCRIPTION: val/var assignments or subsequent usages with compelx control flow inside/outside lambda of contract function with CallsInPlace effect
|
||||
*/
|
||||
|
||||
+1
-1
@@ -7,7 +7,7 @@
|
||||
KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
|
||||
|
||||
SECTION: contracts
|
||||
CATEGORY: analysis, controlFlow, initialization
|
||||
CATEGORIES: analysis, controlFlow, initialization
|
||||
NUMBER: 4
|
||||
DESCRIPTION: CallsInPlace contract functions with name shadowing
|
||||
*/
|
||||
|
||||
+1
-1
@@ -6,7 +6,7 @@
|
||||
KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
|
||||
|
||||
SECTION: contracts
|
||||
CATEGORY: analysis, controlFlow, initialization
|
||||
CATEGORIES: analysis, controlFlow, initialization
|
||||
NUMBER: 5
|
||||
DESCRIPTION: Smart initialization with correspond contract function with default value before lambda.
|
||||
ISSUES: KT-26444
|
||||
|
||||
+1
-1
@@ -7,7 +7,7 @@
|
||||
KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
|
||||
|
||||
SECTION: contracts
|
||||
CATEGORY: analysis, controlFlow, unreachableCode
|
||||
CATEGORIES: analysis, controlFlow, unreachableCode
|
||||
NUMBER: 1
|
||||
DESCRIPTION: Using not allowed break and continue inside lambda of contract function
|
||||
*/
|
||||
|
||||
+1
-1
@@ -8,7 +8,7 @@
|
||||
KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
|
||||
|
||||
SECTION: contracts
|
||||
CATEGORY: analysis, controlFlow, unreachableCode
|
||||
CATEGORIES: analysis, controlFlow, unreachableCode
|
||||
NUMBER: 1
|
||||
DESCRIPTION: Unreachable code detection using contract function with CallsInPlace effect
|
||||
*/
|
||||
|
||||
+1
-1
@@ -7,7 +7,7 @@
|
||||
KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
|
||||
|
||||
SECTION: contracts
|
||||
CATEGORY: analysis, controlFlow, unreachableCode
|
||||
CATEGORIES: analysis, controlFlow, unreachableCode
|
||||
NUMBER: 2
|
||||
DESCRIPTION: Check for lack of unreachable code report when 'at most once' and 'unknown' invokations in CallsInPlace effect used.
|
||||
*/
|
||||
|
||||
+1
-1
@@ -7,7 +7,7 @@
|
||||
KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
|
||||
|
||||
SECTION: contracts
|
||||
CATEGORY: analysis, controlFlow, unreachableCode
|
||||
CATEGORIES: analysis, controlFlow, unreachableCode
|
||||
NUMBER: 3
|
||||
DESCRIPTION: Unreachable code detection using local functions or labdas combined with contract functions with CallsInPlace effect
|
||||
*/
|
||||
|
||||
+1
-1
@@ -7,7 +7,7 @@
|
||||
KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
|
||||
|
||||
SECTION: contracts
|
||||
CATEGORY: analysis, controlFlow, unreachableCode
|
||||
CATEGORIES: analysis, controlFlow, unreachableCode
|
||||
NUMBER: 4
|
||||
DESCRIPTION: Unreachable code detection using nested contract functions with CallsInPlace effect
|
||||
*/
|
||||
|
||||
+1
-1
@@ -7,7 +7,7 @@
|
||||
KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
|
||||
|
||||
SECTION: contracts
|
||||
CATEGORY: analysis, controlFlow, unreachableCode
|
||||
CATEGORIES: analysis, controlFlow, unreachableCode
|
||||
NUMBER: 5
|
||||
DESCRIPTION: Unreachable code detection using contract functions with complex control flow inside
|
||||
*/
|
||||
|
||||
+1
-1
@@ -7,7 +7,7 @@
|
||||
KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
|
||||
|
||||
SECTION: contracts
|
||||
CATEGORY: analysis, controlFlow, unreachableCode
|
||||
CATEGORIES: analysis, controlFlow, unreachableCode
|
||||
NUMBER: 6
|
||||
DESCRIPTION: Check for lack of unreachable code report when in complex control flow of contract function lambda not all branches are doing non-local return
|
||||
*/
|
||||
|
||||
+1
-1
@@ -6,7 +6,7 @@
|
||||
KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
|
||||
|
||||
SECTION: contracts
|
||||
CATEGORY: analysis, controlFlow, unreachableCode
|
||||
CATEGORIES: analysis, controlFlow, unreachableCode
|
||||
NUMBER: 7
|
||||
DESCRIPTION: Smart initialization with correspond contract function with default value before lambda.
|
||||
ISSUES: KT-26444
|
||||
|
||||
Reference in New Issue
Block a user