summaryrefslogtreecommitdiff
path: root/examples/12-custom-code/output/java/src/main
diff options
context:
space:
mode:
authorMichael Williamson <mike@zwobble.org>2026-08-01 09:17:30 +0100
committerMichael Williamson <mike@zwobble.org>2026-08-01 09:17:30 +0100
commit4524a8a16574887bfdb0ee66984709c8158470a6 (patch)
treec7a171667fa76851d7e61e7f2ead607fb0823a6f /examples/12-custom-code/output/java/src/main
parentb433dc94a228a89977da9ee6a4739e2f1da69d66 (diff)
Add Box type
Diffstat (limited to 'examples/12-custom-code/output/java/src/main')
-rw-r--r--examples/12-custom-code/output/java/src/main/java/org/zwobble/example/types/shapes/Square.java37
1 files changed, 37 insertions, 0 deletions
diff --git a/examples/12-custom-code/output/java/src/main/java/org/zwobble/example/types/shapes/Square.java b/examples/12-custom-code/output/java/src/main/java/org/zwobble/example/types/shapes/Square.java
new file mode 100644
index 0000000..69a1ab1
--- /dev/null
+++ b/examples/12-custom-code/output/java/src/main/java/org/zwobble/example/types/shapes/Square.java
@@ -0,0 +1,37 @@
+// Generated by hobgoblin.
+
+package org.zwobble.example.types.shapes;
+
+// Custom area start: org.zwobble.example.types.shapes.Square imports
+// Custom area end: org.zwobble.example.types.shapes.Square imports
+
+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
+}