summaryrefslogtreecommitdiff
path: root/examples/05-custom-code/output/java/src
diff options
context:
space:
mode:
authorMichael Williamson <mike@zwobble.org>2026-05-23 21:27:24 +0100
committerMichael Williamson <mike@zwobble.org>2026-05-23 21:42:22 +0100
commit5c0b6c30c84067dcc36dbdc9d8e4075e94490131 (patch)
treef1b557f3ec55cd2f0c561fe7a315b41f1927a6d0 /examples/05-custom-code/output/java/src
parent1cc30d7d45377b98ee754e248149bf2f0cc485fb (diff)
Preserve existing custom areas
Diffstat (limited to 'examples/05-custom-code/output/java/src')
-rw-r--r--examples/05-custom-code/output/java/src/main/java/org/zwobble/example/Main.java10
-rw-r--r--examples/05-custom-code/output/java/src/main/java/org/zwobble/example/types/shapes/Square.java28
2 files changed, 38 insertions, 0 deletions
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
+}