diff options
| author | Michael Williamson <mike@zwobble.org> | 2026-07-14 18:41:17 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2026-07-14 18:41:17 +0100 |
| commit | 6194d284f5559acc5f23a402f577bac655878f92 (patch) | |
| tree | ad3a47c59e5d8179911cb2bd0b88ecd520af2842 /examples/08-custom-code/output/java-junit/src/main | |
| parent | 717cef4b3c757ceefb2a16cdf6c3892cde28b53f (diff) | |
Rename java-junit to java
Diffstat (limited to 'examples/08-custom-code/output/java-junit/src/main')
| -rw-r--r-- | examples/08-custom-code/output/java-junit/src/main/java/org/zwobble/example/types/shapes/Square.java | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/examples/08-custom-code/output/java-junit/src/main/java/org/zwobble/example/types/shapes/Square.java b/examples/08-custom-code/output/java-junit/src/main/java/org/zwobble/example/types/shapes/Square.java deleted file mode 100644 index 169d729..0000000 --- a/examples/08-custom-code/output/java-junit/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 -} |
