diff options
| author | Michael Williamson <mike@zwobble.org> | 2026-08-01 09:17:30 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2026-08-01 09:17:30 +0100 |
| commit | 4524a8a16574887bfdb0ee66984709c8158470a6 (patch) | |
| tree | c7a171667fa76851d7e61e7f2ead607fb0823a6f /examples/12-custom-code/output/java/src/main | |
| parent | b433dc94a228a89977da9ee6a4739e2f1da69d66 (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.java | 37 |
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 +} |
