From 5c0b6c30c84067dcc36dbdc9d8e4075e94490131 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sat, 23 May 2026 21:27:24 +0100
Subject: Preserve existing custom areas

---
 .../src/main/java/org/zwobble/example/Main.java    | 10 ++++++++
 .../org/zwobble/example/types/shapes/Square.java   | 28 ++++++++++++++++++++++
 2 files changed, 38 insertions(+)
 create mode 100644 examples/05-custom-code/output/java/src/main/java/org/zwobble/example/Main.java
 create mode 100644 examples/05-custom-code/output/java/src/main/java/org/zwobble/example/types/shapes/Square.java

(limited to 'examples/05-custom-code/output/java/src')

diff --git a/examples/05-custom-code/output/java/src/main/java/org/zwobble/example/Main.java b/examples/05-custom-code/output/java/src/main/java/org/zwobble/example/Main.java
new file mode 100644
index 0000000..2d2366d
--- /dev/null
+++ b/examples/05-custom-code/output/java/src/main/java/org/zwobble/example/Main.java
@@ -0,0 +1,10 @@
+package org.zwobble.example;
+
+import org.zwobble.example.types.shapes.Square;
+
+public class Main {
+    public static void main() {
+        Square square = new Square(10);
+        assert square.area() == 100;
+    }
+}
diff --git a/examples/05-custom-code/output/java/src/main/java/org/zwobble/example/types/shapes/Square.java b/examples/05-custom-code/output/java/src/main/java/org/zwobble/example/types/shapes/Square.java
new file mode 100644
index 0000000..dd48603
--- /dev/null
+++ b/examples/05-custom-code/output/java/src/main/java/org/zwobble/example/types/shapes/Square.java
@@ -0,0 +1,28 @@
+package org.zwobble.example.types.shapes;
+
+public record Square(int width) {
+    public static org.zwobble.example.types.shapes.Square.Builder arbitrary() {
+        return new org.zwobble.example.types.shapes.Square.Builder(0);
+    }
+
+    public record Builder(int width) {
+        public org.zwobble.example.types.shapes.Square build() {
+            return new org.zwobble.example.types.shapes.Square(width);
+        }
+
+        public org.zwobble.example.types.shapes.Square.Builder withWidth(int width) {
+            return new org.zwobble.example.types.shapes.Square.Builder(width);
+        }
+
+        // Custom area start: org.zwobble.example.types.shapes.Square.Builder body
+        // Custom area end: org.zwobble.example.types.shapes.Square.Builder body
+    }
+
+    // Custom area start: org.zwobble.example.types.shapes.Square body
+
+    public int area() {
+        return this.width * this.width;
+    }
+
+    // Custom area end: org.zwobble.example.types.shapes.Square body
+}
-- 
cgit v1.2.3