From 6c5333324ad0cf5453aea55062ff6676e5161a76 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sun, 12 Jul 2026 17:51:40 +0100
Subject: Add default label for switch rules in Java AST

---
 .../compiler/output/lang/java/JavaWriterTests.java | 33 ++++++++++++++++++++++
 .../lang/java/ast/JavaCaseDefaultMatcher.java      | 33 ++++++++++++++++++++++
 2 files changed, 66 insertions(+)
 create mode 100644 src/test/java/org/zwobble/hobgoblin/compiler/output/lang/java/ast/JavaCaseDefaultMatcher.java

(limited to 'src/test')

diff --git a/src/test/java/org/zwobble/hobgoblin/compiler/output/lang/java/JavaWriterTests.java b/src/test/java/org/zwobble/hobgoblin/compiler/output/lang/java/JavaWriterTests.java
index 8eb738a..58fd7a4 100644
--- a/src/test/java/org/zwobble/hobgoblin/compiler/output/lang/java/JavaWriterTests.java
+++ b/src/test/java/org/zwobble/hobgoblin/compiler/output/lang/java/JavaWriterTests.java
@@ -1105,6 +1105,39 @@ public class JavaWriterTests {
             }"""));
     }
 
+    @Test
+    public void switchStatementWithDefault() throws IOException {
+        var java = new JavaSwitchStatement(
+            new JavaRef(JavaIdentifier.of("x")),
+            List.of(
+                new JavaSwitchRule(
+                    new JavaCaseConstant(new JavaIntegerLiteral(0)),
+                    new JavaBlock(List.of(
+                        new JavaReturn(new JavaIntegerLiteral(10))
+                    ))
+                ),
+                new JavaSwitchRule(
+                    new JavaCaseDefault(),
+                    new JavaBlock(List.of(
+                        new JavaReturn(new JavaIntegerLiteral(11))
+                    ))
+                )
+            )
+        );
+
+        var string = write(writer -> writer.writeBlockStatement(java));
+
+        assertThat(string, equalTo("""
+            switch (x) {
+                case 0 -> {
+                    return 10;
+                }
+                default -> {
+                    return 11;
+                }
+            }"""));
+    }
+
     @Test
     public void switchStatementWithCasePatterns() throws IOException {
         var java = new JavaSwitchStatement(
diff --git a/src/test/java/org/zwobble/hobgoblin/compiler/output/lang/java/ast/JavaCaseDefaultMatcher.java b/src/test/java/org/zwobble/hobgoblin/compiler/output/lang/java/ast/JavaCaseDefaultMatcher.java
new file mode 100644
index 0000000..27b3d32
--- /dev/null
+++ b/src/test/java/org/zwobble/hobgoblin/compiler/output/lang/java/ast/JavaCaseDefaultMatcher.java
@@ -0,0 +1,33 @@
+// Generated by hobgoblin.
+
+package org.zwobble.hobgoblin.compiler.output.lang.java.ast;
+
+// Custom area start: org.zwobble.hobgoblin.compiler.output.lang.java.ast.JavaCaseDefaultMatcher imports
+// Custom area end: org.zwobble.hobgoblin.compiler.output.lang.java.ast.JavaCaseDefaultMatcher imports
+
+public class JavaCaseDefaultMatcher implements org.zwobble.precisely.Matcher<java.lang.Object> {
+    public static org.zwobble.hobgoblin.compiler.output.lang.java.ast.JavaCaseDefaultMatcher isJavaCaseDefault() {
+        return new org.zwobble.hobgoblin.compiler.output.lang.java.ast.JavaCaseDefaultMatcher(java.util.List.of());
+    }
+
+    private final java.util.List<org.zwobble.precisely.Matcher<? super org.zwobble.hobgoblin.compiler.output.lang.java.ast.JavaCaseDefault>> submatchers;
+
+    private JavaCaseDefaultMatcher(java.util.List<org.zwobble.precisely.Matcher<? super org.zwobble.hobgoblin.compiler.output.lang.java.ast.JavaCaseDefault>> submatchers) {
+        this.submatchers = submatchers;
+    }
+
+    public org.zwobble.precisely.MatchResult match(java.lang.Object actual) {
+        return this.toMatcher().match(actual);
+    }
+
+    public org.zwobble.precisely.TextTree describe() {
+        return this.toMatcher().describe();
+    }
+
+    private org.zwobble.precisely.Matcher<java.lang.Object> toMatcher() {
+        return org.zwobble.precisely.Matchers.instanceOf(org.zwobble.hobgoblin.compiler.output.lang.java.ast.JavaCaseDefault.class, this.submatchers);
+    }
+
+    // Custom area start: org.zwobble.hobgoblin.compiler.output.lang.java.ast.JavaCaseDefaultMatcher body
+    // Custom area end: org.zwobble.hobgoblin.compiler.output.lang.java.ast.JavaCaseDefaultMatcher body
+}
-- 
cgit v1.2.3