tolk: add else branch completion for match (#3)

Author: i582

server/src/e2e/tolk/testcases/completion-select/match.test

@@ -251,7 +251,7 @@ fun main(msg: AllowedMessageToMinter) {
         RequestWalletAddress => {},
         ChangeMinterAdmin => {},
         ChangeMinterContent => {},
-        AllowedMessageToMinter<caret>
+        else => {<caret>},
     }
 }
 
@@ -273,3 +273,33 @@ fun foo(value: int) {
         FOO<caret> => {}
     }
 }
+
+========================================================================
+Match over type else completion
+========================================================================
+fun foo(a: int | slice) {
+    match (a) {
+        els<caret>
+    }
+}
+------------------------------------------------------------------------
+fun foo(a: int | slice) {
+    match (a) {
+        else => {<caret>},
+    }
+}
+
+========================================================================
+Match over value else completion
+========================================================================
+fun foo() {
+    match (10) {
+        els<caret>
+    }
+}
+------------------------------------------------------------------------
+fun foo() {
+    match (10) {
+        else => {<caret>},
+    }
+}

server/src/e2e/tolk/testcases/completion/match.test

@@ -24,6 +24,7 @@ fun foo(value: int | slice) {
 ------------------------------------------------------------------------
 22 int => {}
 22 slice => {}
+22 else => {}
 
 ========================================================================
 Match over type completion, union type 2
@@ -52,6 +53,7 @@ fun main(msg: AllowedMessageToMinter) {
 22 ChangeMinterContent => {}
 22 MintNewJettons => {}
 22 RequestWalletAddress => {}
+22 else => {}
 
 ========================================================================
 Match over type completion, union type, match with single arm
@@ -80,6 +82,7 @@ fun main(msg: AllowedMessageToMinter) {
 22 ChangeMinterAdmin => {}
 22 ChangeMinterContent => {}
 22 RequestWalletAddress => {}
+22 else => {}
 
 ========================================================================
 Match over type completion, union type, match with single arm, cursor before arm
@@ -109,6 +112,7 @@ fun main(msg: AllowedMessageToMinter) {
 22 ChangeMinterContent => {}
 22 MintNewJettons => {}
 22 RequestWalletAddress => {}
+22 else => {}
 
 ========================================================================
 Match over type completion, union type, match with several arms
@@ -137,6 +141,7 @@ fun main(msg: AllowedMessageToMinter) {
 }
 ------------------------------------------------------------------------
 22 ChangeMinterContent => {}
+22 else => {}
 
 ========================================================================
 Match over type completion, union type, match with all arms
@@ -165,6 +170,21 @@ fun main(msg: AllowedMessageToMinter) {
     }
 }
 ------------------------------------------------------------------------
+22 else => {}
+
+========================================================================
+Match over type with else completion
+========================================================================
+const FOO = 100
+
+fun foo(value: int | slice) {
+    match (value) {
+        int => {},
+        else => {},
+        els<caret>
+    }
+}
+------------------------------------------------------------------------
 No completion items
 
 ========================================================================
@@ -179,3 +199,18 @@ fun foo(value: int) {
 }
 ------------------------------------------------------------------------
 20 FOO: int = 100
+
+========================================================================
+Match over value with else completion
+========================================================================
+const FOO = 100
+
+fun foo(value: int) {
+    match (value) {
+        FOO => {},
+        else => {},
+        els<caret>
+    }
+}
+------------------------------------------------------------------------
+No completion items

server/src/e2e/tolk/testcases/completion/struct-instance.test

@@ -92,12 +92,10 @@ struct Foo {
 }
 
 fun test(value: int) {
-    Foo{ val<caret> value: 10 };
+    Foo{ a<caret>, value: 10 };
 }
 ------------------------------------------------------------------------
-5  value   int
-14 val
-14 valt
+9  age : int    of Foo
 
 ========================================================================
 Second field in struct init with variable

server/src/languages/tolk/completion/providers/MatchArmsCompletionProvider.ts

@@ -49,16 +49,44 @@ export class MatchArmsCompletionProvider implements CompletionProvider {
                     insertText: value.insertText + "$1 => {$0}",
                 })
             }
+
+            let seenElse = false
+
+            const arms = body.namedChildren.filter(it => it?.type === "match_arm")
+            for (const arm of arms) {
+                if (arm?.childForFieldName("pattern_else")) {
+                    seenElse = true
+                }
+            }
+
+            if (!seenElse) {
+                result.add({
+                    label: "else",
+                    labelDetails: {
+                        detail: " => {}",
+                    },
+                    kind: CompletionItemKind.Event,
+                    insertTextFormat: InsertTextFormat.Snippet,
+                    insertText: "else => {$0},",
+                    weight: CompletionWeight.SNIPPET + 10,
+                })
+            }
             return
         }
 
         const arms = body.namedChildren.filter(it => it?.type === "match_arm")
 
+        let seenElse = false
         const handledTypes: Set<string> = new Set()
 
         for (const arm of arms) {
             if (!arm) continue
 
+            if (arm.childForFieldName("pattern_else")) {
+                seenElse = true
+                continue
+            }
+
             const patternType = arm.childForFieldName("pattern_type")
             if (!patternType) continue
 
@@ -83,5 +111,18 @@ export class MatchArmsCompletionProvider implements CompletionProvider {
                 weight: CompletionWeight.SNIPPET,
             })
         }
+
+        if (!seenElse) {
+            result.add({
+                label: "else",
+                labelDetails: {
+                    detail: " => {}",
+                },
+                kind: CompletionItemKind.Event,
+                insertTextFormat: InsertTextFormat.Snippet,
+                insertText: "else => {$0},",
+                weight: CompletionWeight.SNIPPET + 10,
+            })
+        }
     }
 }