Add inductive data types example

2 files changed, 0 insertions, 43 deletions

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
-}