From 578bf1f04b48f48225cfa794a27426cca4f6384a Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Fri, 31 Jul 2026 10:50:10 +0100
Subject: Support singleton structs

---
 .../src/main/java/org/zwobble/example/Shapes.java  | 17 ++++++++++++++++
 .../test/java/org/zwobble/example/ShapesTests.java | 23 ++++++++++++++++++++++
 2 files changed, 40 insertions(+)
 create mode 100644 examples/03-sum/output/java/src/main/java/org/zwobble/example/Shapes.java
 create mode 100644 examples/03-sum/output/java/src/test/java/org/zwobble/example/ShapesTests.java

(limited to 'examples/03-sum/output/java/src')

diff --git a/examples/03-sum/output/java/src/main/java/org/zwobble/example/Shapes.java b/examples/03-sum/output/java/src/main/java/org/zwobble/example/Shapes.java
new file mode 100644
index 0000000..a6a468f
--- /dev/null
+++ b/examples/03-sum/output/java/src/main/java/org/zwobble/example/Shapes.java
@@ -0,0 +1,17 @@
+package org.zwobble.example;
+
+import org.zwobble.example.types.shapes.Shape;
+import org.zwobble.example.types.shapes.Rectangle;
+import org.zwobble.example.types.shapes.Triangle;
+
+public class Shapes {
+    public static int area(Shape shape) {
+        return switch (shape) {
+            case Rectangle(var width, var height) ->
+                width * height;
+
+            case Triangle(var width, var height) ->
+                width * height / 2;
+        };
+    }
+}
diff --git a/examples/03-sum/output/java/src/test/java/org/zwobble/example/ShapesTests.java b/examples/03-sum/output/java/src/test/java/org/zwobble/example/ShapesTests.java
new file mode 100644
index 0000000..893a544
--- /dev/null
+++ b/examples/03-sum/output/java/src/test/java/org/zwobble/example/ShapesTests.java
@@ -0,0 +1,23 @@
+package org.zwobble.example;
+
+import static org.junit.jupiter.api.Assertions.assertEquals;
+import org.junit.jupiter.api.Test;
+import org.zwobble.example.types.shapes.Shape;
+import org.zwobble.example.types.shapes.Rectangle;
+import org.zwobble.example.types.shapes.Triangle;
+
+public class ShapesTests {
+    @Test
+    public void rectangle() {
+        Shape rectangle = new Rectangle(10, 25);
+        int area = Shapes.area(rectangle);
+        assertEquals(area, 250);
+    }
+
+    @Test
+    public void triangle() {
+        Shape triangle = new Triangle(10, 25);
+        int area = Shapes.area(triangle);
+        assertEquals(area, 125);
+    }
+}
-- 
cgit v1.2.3