diff options
| author | Michael Williamson <mike@zwobble.org> | 2026-05-23 21:27:24 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2026-05-23 21:42:22 +0100 |
| commit | 5c0b6c30c84067dcc36dbdc9d8e4075e94490131 (patch) | |
| tree | f1b557f3ec55cd2f0c561fe7a315b41f1927a6d0 /examples/05-custom-code/output/java/src | |
| parent | 1cc30d7d45377b98ee754e248149bf2f0cc485fb (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.java | 10 | ||||
| -rw-r--r-- | examples/05-custom-code/output/java/src/main/java/org/zwobble/example/types/shapes/Square.java | 28 |
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 +} |
