From 94d481c940fb36da896e2e80a62f39d849477f53 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Thu, 2 Jul 2026 16:32:26 +0100
Subject: Add inductive data types example

---
 examples/07-custom-code/output/java/.gitignore     |  2 --
 examples/07-custom-code/output/java/pom.xml        | 39 ----------------------
 .../src/main/java/org/zwobble/example/Main.java    | 10 ------
 .../org/zwobble/example/types/shapes/Square.java   | 33 ------------------
 4 files changed, 84 deletions(-)
 delete mode 100644 examples/07-custom-code/output/java/.gitignore
 delete mode 100644 examples/07-custom-code/output/java/pom.xml
 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')

diff --git a/examples/07-custom-code/output/java/.gitignore b/examples/07-custom-code/output/java/.gitignore
deleted file mode 100644
index ff511d4..0000000
--- a/examples/07-custom-code/output/java/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/src/gen/
-/target/
diff --git a/examples/07-custom-code/output/java/pom.xml b/examples/07-custom-code/output/java/pom.xml
deleted file mode 100644
index 7493667..0000000
--- a/examples/07-custom-code/output/java/pom.xml
+++ /dev/null
@@ -1,39 +0,0 @@
-<project xmlns="http://maven.apache.org/POM/4.0.0"
-  xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
-  xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
-  <modelVersion>4.0.0</modelVersion>
-
-  <groupId>org.zwobble.hobgoblin.examples</groupId>
-  <artifactId>example</artifactId>
-  <version>1.0-SNAPSHOT</version>
-
-  <properties>
-    <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
-    <maven.compiler.source>25</maven.compiler.source>
-    <maven.compiler.target>25</maven.compiler.target>
-  </properties>
-
-  <build>
-    <plugins>
-      <plugin>
-        <groupId>org.codehaus.mojo</groupId>
-        <artifactId>build-helper-maven-plugin</artifactId>
-        <version>3.6.1</version>
-        <executions>
-          <execution>
-            <id>add-source</id>
-            <phase>generate-sources</phase>
-            <goals>
-              <goal>add-source</goal>
-            </goals>
-            <configuration>
-              <sources>
-                <source>src/gen/java</source>
-              </sources>
-            </configuration>
-          </execution>
-        </executions>
-      </plugin>
-    </plugins>
-  </build>
-</project>
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