Generate accessors for enum variants.

Author: GoldsteinE

Cargo.lock

@@ -0,0 +1,3 @@
+generated.h
+generated.rs
+generated.cpp

examples/enums/.gitignore

@@ -0,0 +1,14 @@
+[package]
+name = "example-enums"
+version = "0.10.0"
+edition.workspace = true
+rust-version.workspace = true
+license.workspace = true
+publish = false
+
+[lib]
+crate-type = ["staticlib"]
+
+# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
+
+[dependencies]

examples/enums/Cargo.toml

@@ -0,0 +1,13 @@
+a.out: main.cpp generated.h src/generated.rs src/lib.rs ../../target/release/libexample_enums.a
+	${CXX} -std=c++17 -Werror main.cpp  -g -L ../../target/release/ -l example_enums
+
+../../target/release/libexample_enums.a:
+	cargo build --release
+
+generated.h ./src/generated.rs: main.zng
+	cd ../../zngur-cli && cargo run g -i ../examples/enums/main.zng --crate-name "crate"
+
+.PHONY: ../../target/release/libexample_enums.a generated.h clean
+
+clean:
+	rm -f generated.h src/generated.rs a.out actual_output.txt

examples/enums/Makefile

@@ -0,0 +1,23 @@
+CXX = cl.exe
+CXXFLAGS = /W4 /DEBUG /EHsc /std:c++20 
+WINLIBS = ntdll.lib
+
+EXAMPLE_NAME = simple
+
+GENERATED = generated.h src/generated.rs
+
+RUSTLIB_PATH = ../../target/release/
+
+RUSTLIB = example_$(EXAMPLE_NAME).lib
+
+a.exe : main.cpp src/lib.rs $(GENERATED) $(RUSTLIB_PATH)/$(RUSTLIB)
+	$(CXX) $(CXXFLAGS) main.cpp generated.cpp /Fe:a.exe /link $(WINLIBS) $(RUSTLIB) /LIBPATH:$(RUSTLIB_PATH)
+
+$(RUSTLIB_PATH)/$(RUSTLIB) :
+	cargo build --release
+
+$(GENERATED) : main.zng
+	cd ../../zngur-cli && cargo run g -i ../examples/$(EXAMPLE_NAME)/main.zng --crate-name "crate"
+
+clean :
+	- del /f /q generated.h generated.cpp src\generated.rs a.exe main.obj generated.obj actual_output.txt 2>nul

examples/enums/NMakefile

@@ -0,0 +1,10 @@
+# Example: Simple
+
+A simple example, used as a demo in the main README file.
+
+To run this example:
+
+```
+make
+./a.out
+```

examples/enums/README.md

@@ -0,0 +1,18 @@
+17
+s[2] = 7
+
+thread panicked at examples/simple/src/generated.rs:351:40:
+called `Option::unwrap()` on a `None` value
+note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
+s[4] = Rust panic happened
+hello 2 2
+hello 5 7
+hello 7 14
+hello 3 17
+34 17
+vector iterator has been destructed
+[main.cpp:71] t = [
+    10,
+    20,
+    60,
+]

examples/enums/expected_output.txt

@@ -0,0 +1,26 @@
+#include <cstdio>
+#include <iostream>
+#include <vector>
+
+#include "./generated.h"
+
+template<class... Ts> struct overloaded : Ts... { using Ts::operator()...; };
+template<class... Ts> overloaded(Ts...) -> overloaded<Ts...>;
+
+template<class T> using Option = rust::std::option::Option<T>;
+
+int main() {
+    Option<int> v = Option<int>::Some(42);
+    std::visit(overloaded{
+        [](Option<int>::None) { std::cout << "none" << std::endl; },
+        [](Option<int>::Some s) { std::cout << "some " << s.f0 << std::endl; },
+    }, v.match());
+
+    if (auto r = Option<int>::Some::match_mut(v)) {
+      *rust::RefMut(r->f0) = 67;
+    }
+
+    if (auto r = Option<int>::Some::match(v)) {
+      std::cout << r->f0 << "!!" << std::endl;
+    }
+}

examples/enums/main.cpp

@@ -0,0 +1,13 @@
+#convert_panic_to_exception
+
+mod ::std {
+    type option::Option<i32> {
+        #layout(size = 8, align = 4);
+        wellknown_traits(Debug, Copy);
+
+        variant None {}
+        variant Some {
+            field 0 (offset = auto, type = i32);
+        }
+    }
+}

examples/enums/main.zng

@@ -0,0 +1,2 @@
+#[rustfmt::skip]
+mod generated;