summaryrefslogtreecommitdiff
path: root/examples/08-custom-code/output/java/src/main
diff options
context:
space:
mode:
authorMichael Williamson <mike@zwobble.org>2026-07-24 17:59:45 +0100
committerMichael Williamson <mike@zwobble.org>2026-07-24 17:59:45 +0100
commit2bc23bdc7fe01fc5921be8e09f405a8a1fd7bd65 (patch)
tree9df07f8aeba21f4fb91e23fcc8d1c7a4a57a42eb /examples/08-custom-code/output/java/src/main
parentc8baf035c5a1705b957931f56f9162125803e554 (diff)
Add Shared type
Diffstat (limited to 'examples/08-custom-code/output/java/src/main')
-rw-r--r--examples/08-custom-code/output/java/src/main/java/org/zwobble/example/types/shapes/Square.java33
1 files changed, 0 insertions, 33 deletions
diff --git a/examples/08-custom-code/output/java/src/main/java/org/zwobble/example/types/shapes/Square.java b/examples/08-custom-code/output/java/src/main/java/org/zwobble/example/types/shapes/Square.java
deleted file mode 100644
index 169d729..0000000
--- a/examples/08-custom-code/output/java/src/main/java/org/zwobble/example/types/shapes/Square.java
+++ /dev/null
@@ -1,33 +0,0 @@
-// 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
-}