Add inductive data types example

1 files changed, 19 insertions, 0 deletions

diff --git a/examples/05-list/output/java/src/main/java/org/zwobble/example/Main.java b/examples/05-list/output/java/src/main/java/org/zwobble/example/Main.java
new file mode 100644
index 0000000..4cfb23f
--- /dev/null
+++ b/examples/05-list/output/java/src/main/java/org/zwobble/example/Main.java
@@ -0,0 +1,19 @@
+package org.zwobble.example;
+
+import java.util.List;
+import org.zwobble.example.types.point.Path;
+import org.zwobble.example.types.point.Point;
+
+public class Main {
+    public static void main() {
+        Path path = new Path(List.of(
+            new Point(10, 25),
+            new Point(25, 10)
+        ));
+
+        Path path2 = Path.arbitrary()
+            .addPoint(new Point(10, 25))
+            .addPoint(new Point(25, 10))
+            .build();
+    }
+}