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

---
 .../07-native-type-custom-config/hobgoblin.json5   | 33 ++++++++++++++++++
 .../output/java/.gitignore                         |  2 ++
 .../output/java/pom.xml                            | 39 ++++++++++++++++++++++
 .../src/main/java/org/zwobble/example/Main.java    |  9 +++++
 .../src/main/java/org/zwobble/example/Point.java   |  4 +++
 .../example/types/point/HobgoblinNativePoint.java  |  9 +++++
 .../output/rust/.gitignore                         |  1 +
 .../output/rust/Cargo.lock                         |  7 ++++
 .../output/rust/Cargo.toml                         |  6 ++++
 .../output/rust/rust-toolchain.toml                |  2 ++
 .../output/rust/src/main.rs                        |  9 +++++
 .../output/rust/src/point.rs                       |  7 ++++
 .../07-native-type-custom-config/src/point.hob     |  8 +++++
 13 files changed, 136 insertions(+)
 create mode 100644 examples/07-native-type-custom-config/hobgoblin.json5
 create mode 100644 examples/07-native-type-custom-config/output/java/.gitignore
 create mode 100644 examples/07-native-type-custom-config/output/java/pom.xml
 create mode 100644 examples/07-native-type-custom-config/output/java/src/main/java/org/zwobble/example/Main.java
 create mode 100644 examples/07-native-type-custom-config/output/java/src/main/java/org/zwobble/example/Point.java
 create mode 100644 examples/07-native-type-custom-config/output/java/src/main/java/org/zwobble/example/types/point/HobgoblinNativePoint.java
 create mode 100644 examples/07-native-type-custom-config/output/rust/.gitignore
 create mode 100644 examples/07-native-type-custom-config/output/rust/Cargo.lock
 create mode 100644 examples/07-native-type-custom-config/output/rust/Cargo.toml
 create mode 100644 examples/07-native-type-custom-config/output/rust/rust-toolchain.toml
 create mode 100644 examples/07-native-type-custom-config/output/rust/src/main.rs
 create mode 100644 examples/07-native-type-custom-config/output/rust/src/point.rs
 create mode 100644 examples/07-native-type-custom-config/src/point.hob

(limited to 'examples/07-native-type-custom-config')

diff --git a/examples/07-native-type-custom-config/hobgoblin.json5 b/examples/07-native-type-custom-config/hobgoblin.json5
new file mode 100644
index 0000000..f925903
--- /dev/null
+++ b/examples/07-native-type-custom-config/hobgoblin.json5
@@ -0,0 +1,33 @@
+{
+  outputs: {
+    langs: {
+      java: {
+        packageName: "org.zwobble.example.types",
+        nativeTypes: [
+          {
+            hobgoblin: "point.Point",
+            java: "org.zwobble.example.Point",
+          },
+        ],
+      },
+      rust: {
+        nativeTypes: [
+          {
+            hobgoblin: "point.Point",
+            rust: "crate::Point",
+          },
+        ],
+      },
+    },
+    generators: [
+      {
+        generator: "java-types",
+        path: "output/java/src/gen/java",
+      },
+      {
+        generator: "rust-types",
+        path: "output/rust/src",
+      },
+    ],
+  },
+}
diff --git a/examples/07-native-type-custom-config/output/java/.gitignore b/examples/07-native-type-custom-config/output/java/.gitignore
new file mode 100644
index 0000000..ff511d4
--- /dev/null
+++ b/examples/07-native-type-custom-config/output/java/.gitignore
@@ -0,0 +1,2 @@
+/src/gen/
+/target/
diff --git a/examples/07-native-type-custom-config/output/java/pom.xml b/examples/07-native-type-custom-config/output/java/pom.xml
new file mode 100644
index 0000000..7493667
--- /dev/null
+++ b/examples/07-native-type-custom-config/output/java/pom.xml
@@ -0,0 +1,39 @@
+<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-native-type-custom-config/output/java/src/main/java/org/zwobble/example/Main.java b/examples/07-native-type-custom-config/output/java/src/main/java/org/zwobble/example/Main.java
new file mode 100644
index 0000000..f6a4443
--- /dev/null
+++ b/examples/07-native-type-custom-config/output/java/src/main/java/org/zwobble/example/Main.java
@@ -0,0 +1,9 @@
+package org.zwobble.example;
+
+import org.zwobble.example.types.point.Line;
+
+public class Main {
+    public static void main() {
+        Line line = new Line(new Point(10, 25), new Point(25, 10));
+    }
+}
diff --git a/examples/07-native-type-custom-config/output/java/src/main/java/org/zwobble/example/Point.java b/examples/07-native-type-custom-config/output/java/src/main/java/org/zwobble/example/Point.java
new file mode 100644
index 0000000..8862a62
--- /dev/null
+++ b/examples/07-native-type-custom-config/output/java/src/main/java/org/zwobble/example/Point.java
@@ -0,0 +1,4 @@
+package org.zwobble.example;
+
+public record Point(int x, int y) {
+}
diff --git a/examples/07-native-type-custom-config/output/java/src/main/java/org/zwobble/example/types/point/HobgoblinNativePoint.java b/examples/07-native-type-custom-config/output/java/src/main/java/org/zwobble/example/types/point/HobgoblinNativePoint.java
new file mode 100644
index 0000000..74ac856
--- /dev/null
+++ b/examples/07-native-type-custom-config/output/java/src/main/java/org/zwobble/example/types/point/HobgoblinNativePoint.java
@@ -0,0 +1,9 @@
+package org.zwobble.example.types.point;
+
+import org.zwobble.example.Point;
+
+public class HobgoblinNativePoint {
+    public static Point arbitraryPoint() {
+        return new Point(0, 0);
+    }
+}
diff --git a/examples/07-native-type-custom-config/output/rust/.gitignore b/examples/07-native-type-custom-config/output/rust/.gitignore
new file mode 100644
index 0000000..ea8c4bf
--- /dev/null
+++ b/examples/07-native-type-custom-config/output/rust/.gitignore
@@ -0,0 +1 @@
+/target
diff --git a/examples/07-native-type-custom-config/output/rust/Cargo.lock b/examples/07-native-type-custom-config/output/rust/Cargo.lock
new file mode 100644
index 0000000..9dc6e3e
--- /dev/null
+++ b/examples/07-native-type-custom-config/output/rust/Cargo.lock
@@ -0,0 +1,7 @@
+# This file is automatically @generated by Cargo.
+# It is not intended for manual editing.
+version = 4
+
+[[package]]
+name = "example"
+version = "0.1.0"
diff --git a/examples/07-native-type-custom-config/output/rust/Cargo.toml b/examples/07-native-type-custom-config/output/rust/Cargo.toml
new file mode 100644
index 0000000..5d4c622
--- /dev/null
+++ b/examples/07-native-type-custom-config/output/rust/Cargo.toml
@@ -0,0 +1,6 @@
+[package]
+name = "example"
+version = "0.1.0"
+edition = "2024"
+
+[dependencies]
diff --git a/examples/07-native-type-custom-config/output/rust/rust-toolchain.toml b/examples/07-native-type-custom-config/output/rust/rust-toolchain.toml
new file mode 100644
index 0000000..4fedb95
--- /dev/null
+++ b/examples/07-native-type-custom-config/output/rust/rust-toolchain.toml
@@ -0,0 +1,2 @@
+[toolchain]
+channel = "1.96"
diff --git a/examples/07-native-type-custom-config/output/rust/src/main.rs b/examples/07-native-type-custom-config/output/rust/src/main.rs
new file mode 100644
index 0000000..af7be7f
--- /dev/null
+++ b/examples/07-native-type-custom-config/output/rust/src/main.rs
@@ -0,0 +1,9 @@
+mod point;
+
+use point::Line;
+
+struct Point(i32, i32);
+
+fn main() {
+    let line = Line { start: Point(10, 25), end: Point(25, 10) };
+}
diff --git a/examples/07-native-type-custom-config/output/rust/src/point.rs b/examples/07-native-type-custom-config/output/rust/src/point.rs
new file mode 100644
index 0000000..b073f86
--- /dev/null
+++ b/examples/07-native-type-custom-config/output/rust/src/point.rs
@@ -0,0 +1,7 @@
+// Generated by hobgoblin.
+
+/// A straight line from one point to another.
+pub struct Line {
+    pub start: crate::Point,
+    pub end: crate::Point,
+}
diff --git a/examples/07-native-type-custom-config/src/point.hob b/examples/07-native-type-custom-config/src/point.hob
new file mode 100644
index 0000000..7178dcb
--- /dev/null
+++ b/examples/07-native-type-custom-config/src/point.hob
@@ -0,0 +1,8 @@
+native Point {
+}
+
+/// A straight line from one point to another.
+struct Line {
+    field start: Point;
+    field end: Point;
+}
-- 
cgit v1.2.3