summaryrefslogtreecommitdiff
path: root/examples/06-inductive-data-types-separate-namespaces
diff options
context:
space:
mode:
Diffstat (limited to 'examples/06-inductive-data-types-separate-namespaces')
-rw-r--r--examples/06-inductive-data-types-separate-namespaces/hobgoblin.json519
-rw-r--r--examples/06-inductive-data-types-separate-namespaces/output/java/.gitignore2
l---------examples/06-inductive-data-types-separate-namespaces/output/java/pom.xml1
-rw-r--r--examples/06-inductive-data-types-separate-namespaces/output/java/src/test/java/org/zwobble/example/DataTests.java14
-rw-r--r--examples/06-inductive-data-types-separate-namespaces/output/rust/.gitignore1
-rw-r--r--examples/06-inductive-data-types-separate-namespaces/output/rust/Cargo.lock7
-rw-r--r--examples/06-inductive-data-types-separate-namespaces/output/rust/Cargo.toml6
-rw-r--r--examples/06-inductive-data-types-separate-namespaces/output/rust/rust-toolchain.toml2
-rw-r--r--examples/06-inductive-data-types-separate-namespaces/output/rust/src/data/a.rs17
-rw-r--r--examples/06-inductive-data-types-separate-namespaces/output/rust/src/data/b.rs6
-rw-r--r--examples/06-inductive-data-types-separate-namespaces/output/rust/src/data/mod.rs2
-rw-r--r--examples/06-inductive-data-types-separate-namespaces/output/rust/src/lib.rs15
-rw-r--r--examples/06-inductive-data-types-separate-namespaces/src/data/a.hob9
-rw-r--r--examples/06-inductive-data-types-separate-namespaces/src/data/b.hob5
14 files changed, 0 insertions, 106 deletions
diff --git a/examples/06-inductive-data-types-separate-namespaces/hobgoblin.json5 b/examples/06-inductive-data-types-separate-namespaces/hobgoblin.json5
deleted file mode 100644
index 12713d4..0000000
--- a/examples/06-inductive-data-types-separate-namespaces/hobgoblin.json5
+++ /dev/null
@@ -1,19 +0,0 @@
-{
- outputs: {
- langs: {
- java: {
- packageName: "org.zwobble.example.types",
- },
- },
- generators: [
- {
- generator: "java-types",
- path: "output/java/src/gen/java",
- },
- {
- generator: "rust-types",
- path: "output/rust/src",
- },
- ],
- },
-}
diff --git a/examples/06-inductive-data-types-separate-namespaces/output/java/.gitignore b/examples/06-inductive-data-types-separate-namespaces/output/java/.gitignore
deleted file mode 100644
index ff511d4..0000000
--- a/examples/06-inductive-data-types-separate-namespaces/output/java/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/src/gen/
-/target/
diff --git a/examples/06-inductive-data-types-separate-namespaces/output/java/pom.xml b/examples/06-inductive-data-types-separate-namespaces/output/java/pom.xml
deleted file mode 120000
index 445fa65..0000000
--- a/examples/06-inductive-data-types-separate-namespaces/output/java/pom.xml
+++ /dev/null
@@ -1 +0,0 @@
-../../../templates/java-junit/pom.xml \ No newline at end of file
diff --git a/examples/06-inductive-data-types-separate-namespaces/output/java/src/test/java/org/zwobble/example/DataTests.java b/examples/06-inductive-data-types-separate-namespaces/output/java/src/test/java/org/zwobble/example/DataTests.java
deleted file mode 100644
index f01bf0a..0000000
--- a/examples/06-inductive-data-types-separate-namespaces/output/java/src/test/java/org/zwobble/example/DataTests.java
+++ /dev/null
@@ -1,14 +0,0 @@
-package org.zwobble.example;
-
-import java.util.Optional;
-import static org.junit.jupiter.api.Assertions.assertEquals;
-import org.junit.jupiter.api.Test;
-import org.zwobble.example.types.data.a.A1;
-import org.zwobble.example.types.data.b.B;
-
-public class DataTests {
- @Test
- public void data() {
- var data = new A1(Optional.of(new B(Optional.of(new A1(Optional.empty())))));
- }
-}
diff --git a/examples/06-inductive-data-types-separate-namespaces/output/rust/.gitignore b/examples/06-inductive-data-types-separate-namespaces/output/rust/.gitignore
deleted file mode 100644
index ea8c4bf..0000000
--- a/examples/06-inductive-data-types-separate-namespaces/output/rust/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-/target
diff --git a/examples/06-inductive-data-types-separate-namespaces/output/rust/Cargo.lock b/examples/06-inductive-data-types-separate-namespaces/output/rust/Cargo.lock
deleted file mode 100644
index 9dc6e3e..0000000
--- a/examples/06-inductive-data-types-separate-namespaces/output/rust/Cargo.lock
+++ /dev/null
@@ -1,7 +0,0 @@
-# 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/06-inductive-data-types-separate-namespaces/output/rust/Cargo.toml b/examples/06-inductive-data-types-separate-namespaces/output/rust/Cargo.toml
deleted file mode 100644
index 5d4c622..0000000
--- a/examples/06-inductive-data-types-separate-namespaces/output/rust/Cargo.toml
+++ /dev/null
@@ -1,6 +0,0 @@
-[package]
-name = "example"
-version = "0.1.0"
-edition = "2024"
-
-[dependencies]
diff --git a/examples/06-inductive-data-types-separate-namespaces/output/rust/rust-toolchain.toml b/examples/06-inductive-data-types-separate-namespaces/output/rust/rust-toolchain.toml
deleted file mode 100644
index 4fedb95..0000000
--- a/examples/06-inductive-data-types-separate-namespaces/output/rust/rust-toolchain.toml
+++ /dev/null
@@ -1,2 +0,0 @@
-[toolchain]
-channel = "1.96"
diff --git a/examples/06-inductive-data-types-separate-namespaces/output/rust/src/data/a.rs b/examples/06-inductive-data-types-separate-namespaces/output/rust/src/data/a.rs
deleted file mode 100644
index 1ec823f..0000000
--- a/examples/06-inductive-data-types-separate-namespaces/output/rust/src/data/a.rs
+++ /dev/null
@@ -1,17 +0,0 @@
-// Generated by hobgoblin.
-
-#[derive(Clone, Debug, Hash, PartialEq)]
-pub enum A {
- A1(::std::boxed::Box::<crate::data::a::A1>),
-}
-
-impl ::std::convert::From::<crate::data::a::A1> for crate::data::a::A {
- fn from(value: crate::data::a::A1) -> Self {
- Self::A1(::std::boxed::Box::new(value))
- }
-}
-
-#[derive(Clone, Debug, Hash, PartialEq)]
-pub struct A1 {
- pub b: ::std::option::Option::<crate::data::b::B>,
-}
diff --git a/examples/06-inductive-data-types-separate-namespaces/output/rust/src/data/b.rs b/examples/06-inductive-data-types-separate-namespaces/output/rust/src/data/b.rs
deleted file mode 100644
index 38bf8fc..0000000
--- a/examples/06-inductive-data-types-separate-namespaces/output/rust/src/data/b.rs
+++ /dev/null
@@ -1,6 +0,0 @@
-// Generated by hobgoblin.
-
-#[derive(Clone, Debug, Hash, PartialEq)]
-pub struct B {
- pub a: ::std::option::Option::<crate::data::a::A>,
-}
diff --git a/examples/06-inductive-data-types-separate-namespaces/output/rust/src/data/mod.rs b/examples/06-inductive-data-types-separate-namespaces/output/rust/src/data/mod.rs
deleted file mode 100644
index 677af14..0000000
--- a/examples/06-inductive-data-types-separate-namespaces/output/rust/src/data/mod.rs
+++ /dev/null
@@ -1,2 +0,0 @@
-pub mod a;
-pub mod b;
diff --git a/examples/06-inductive-data-types-separate-namespaces/output/rust/src/lib.rs b/examples/06-inductive-data-types-separate-namespaces/output/rust/src/lib.rs
deleted file mode 100644
index 01aaddf..0000000
--- a/examples/06-inductive-data-types-separate-namespaces/output/rust/src/lib.rs
+++ /dev/null
@@ -1,15 +0,0 @@
-mod data;
-
-#[cfg(test)]
-mod test {
- use super::data::{a::{A, A1}, b::B};
-
- #[test]
- fn data() {
- let data = A::A1(Box::new(A1 {
- b: Some(B {
- a: Some(A::A1(Box::new(A1 { b: None }))),
- }),
- }));
- }
-}
diff --git a/examples/06-inductive-data-types-separate-namespaces/src/data/a.hob b/examples/06-inductive-data-types-separate-namespaces/src/data/a.hob
deleted file mode 100644
index e8c02ea..0000000
--- a/examples/06-inductive-data-types-separate-namespaces/src/data/a.hob
+++ /dev/null
@@ -1,9 +0,0 @@
-import {B} from ./b;
-
-sum A {
- variant Box[A1];
-}
-
-struct A1 {
- field b: Option[B];
-}
diff --git a/examples/06-inductive-data-types-separate-namespaces/src/data/b.hob b/examples/06-inductive-data-types-separate-namespaces/src/data/b.hob
deleted file mode 100644
index 4d538fc..0000000
--- a/examples/06-inductive-data-types-separate-namespaces/src/data/b.hob
+++ /dev/null
@@ -1,5 +0,0 @@
-import {A} from ./a;
-
-struct B {
- field a: Option[A];
-}