From 94d481c940fb36da896e2e80a62f39d849477f53 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Thu, 2 Jul 2026 16:32:26 +0100 Subject: Add inductive data types example --- .../src/main/java/org/zwobble/example/Main.java | 10 ------- .../org/zwobble/example/types/shapes/Square.java | 33 ---------------------- 2 files changed, 43 deletions(-) delete mode 100644 examples/07-custom-code/output/java/src/main/java/org/zwobble/example/Main.java delete mode 100644 examples/07-custom-code/output/java/src/main/java/org/zwobble/example/types/shapes/Square.java (limited to 'examples/07-custom-code/output/java/src/main') diff --git a/examples/07-custom-code/output/java/src/main/java/org/zwobble/example/Main.java b/examples/07-custom-code/output/java/src/main/java/org/zwobble/example/Main.java deleted file mode 100644 index 2d2366d..0000000 --- a/examples/07-custom-code/output/java/src/main/java/org/zwobble/example/Main.java +++ /dev/null @@ -1,10 +0,0 @@ -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/07-custom-code/output/java/src/main/java/org/zwobble/example/types/shapes/Square.java b/examples/07-custom-code/output/java/src/main/java/org/zwobble/example/types/shapes/Square.java deleted file mode 100644 index 169d729..0000000 --- a/examples/07-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 -} -- cgit v1.2.3