From 107ce1646e24b0d30f7fc42e831a7e5f03daecc3 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sat, 30 Sep 2023 11:01:22 +0100
Subject: Parse when expressions

---
 .../compiler/ast/untyped/UntypedNodeMatchers.java  | 21 +++++++++++
 .../shedlang/compiler/parser/ParserWhenTests.java  | 41 ++++++++++++++++++++++
 2 files changed, 62 insertions(+)
 create mode 100644 src/test/java/org/shedlang/compiler/parser/ParserWhenTests.java

(limited to 'src/test/java')

diff --git a/src/test/java/org/shedlang/compiler/ast/untyped/UntypedNodeMatchers.java b/src/test/java/org/shedlang/compiler/ast/untyped/UntypedNodeMatchers.java
index ddb7db96..fdbb8f53 100644
--- a/src/test/java/org/shedlang/compiler/ast/untyped/UntypedNodeMatchers.java
+++ b/src/test/java/org/shedlang/compiler/ast/untyped/UntypedNodeMatchers.java
@@ -279,6 +279,27 @@ public class UntypedNodeMatchers {
         );
     }
 
+    public static Matcher<UntypedExpressionNode> isUntypedWhenNode(
+        Matcher<UntypedExpressionNode> expression,
+        Matcher<Iterable<? extends UntypedWhenCaseNode>> cases
+    ) {
+        return instanceOf(
+            UntypedWhenNode.class,
+            has("expression", x -> x.expression(), expression),
+            has ("cases", x -> x.cases(), cases)
+        );
+    }
+
+    public static Matcher<UntypedWhenCaseNode> isUntypedWhenCaseNode(
+        Matcher<UntypedTypeLevelExpressionNode> caseType,
+        Matcher<UntypedBlockNode> body
+    ) {
+        return allOf(
+            has("caseType", x -> x.caseType(), caseType),
+            has("body", x -> x.body(), body)
+        );
+    }
+
     public static Matcher<UntypedFunctionStatementNode> isUntypedWhileNode(
         Matcher<UntypedExpressionNode> condition,
         Matcher<UntypedBlockNode> body
diff --git a/src/test/java/org/shedlang/compiler/parser/ParserWhenTests.java b/src/test/java/org/shedlang/compiler/parser/ParserWhenTests.java
new file mode 100644
index 00000000..709d7cce
--- /dev/null
+++ b/src/test/java/org/shedlang/compiler/parser/ParserWhenTests.java
@@ -0,0 +1,41 @@
+package org.shedlang.compiler.parser;
+
+import org.junit.jupiter.api.Test;
+
+import static org.shedlang.compiler.ast.untyped.UntypedNodeMatchers.*;
+import static org.shedlang.compiler.parser.ParserTesting.parseString;
+import static org.zwobble.precisely.AssertThat.assertThat;
+import static org.zwobble.precisely.Matchers.isSequence;
+
+public class ParserWhenTests {
+    @Test
+    public void canParseWhen() {
+        var source = """
+            when (x) {
+                is A {
+                    return 4;
+                }
+                is B {
+                }
+            }
+        """;
+
+        var node = parseString(source, Parser::parseTopLevelExpression);
+
+        assertThat(node, isUntypedWhenNode(
+            isUntypedReferenceNode("x"),
+            isSequence(
+                isUntypedWhenCaseNode(
+                    isUntypedTypeLevelReferenceNode("A"),
+                    isUntypedBlockNode(isSequence(
+                        isUntypedFunctionReturnNode(isUntypedIntLiteralNode(4))
+                    ))
+                ),
+                isUntypedWhenCaseNode(
+                    isUntypedTypeLevelReferenceNode("B"),
+                    isUntypedBlockNode(isSequence())
+                )
+            )
+        ));
+    }
+}
-- 
cgit v1.2.3