From 9ac06199bd0e5623e2310de8eddffa8dad81a033 Mon Sep 17 00:00:00 2001
From: Andrew Golovashevich <landgrafhomyak@gmail.com>
Date: Sun, 7 Dec 2025 02:25:49 +0300
Subject: [PATCH] Dsl and some simple handlers

---
 .cargo/config.toml               |  2 +
 .gitignore                       |  3 ++
 Cargo.toml                       | 14 +++++
 src/default_handlers/enums.rs    | 60 ++++++++++++++++++++++
 src/default_handlers/floats.rs   | 38 ++++++++++++++
 src/default_handlers/integers.rs | 56 ++++++++++++++++++++
 src/default_handlers/mod.rs      |  7 +++
 src/dsl.rs                       | 88 ++++++++++++++++++++++++++++++++
 src/lib.rs                       |  2 +
 9 files changed, 270 insertions(+)
 create mode 100644 .cargo/config.toml
 create mode 100644 .gitignore
 create mode 100644 Cargo.toml
 create mode 100644 src/default_handlers/enums.rs
 create mode 100644 src/default_handlers/floats.rs
 create mode 100644 src/default_handlers/integers.rs
 create mode 100644 src/default_handlers/mod.rs
 create mode 100644 src/dsl.rs
 create mode 100644 src/lib.rs

diff --git a/.cargo/config.toml b/.cargo/config.toml
new file mode 100644
index 0000000..d4fa5d9
--- /dev/null
+++ b/.cargo/config.toml
@@ -0,0 +1,2 @@
+[registries]
+landgrafhomyak = { index = "sparse+https://cargo.landgrafhomyak.ru/" }
\ No newline at end of file
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..b5488f8
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,3 @@
+/.idea/
+Cargo.lock
+target/
\ No newline at end of file
diff --git a/Cargo.toml b/Cargo.toml
new file mode 100644
index 0000000..00addcc
--- /dev/null
+++ b/Cargo.toml
@@ -0,0 +1,14 @@
+[package]
+name = "json-decoder-api-0"
+edition = "2024"
+
+
+[lints]
+rust = { nonstandard_style = "allow" }
+
+[workspace]
+#members = ["macro", "macro/parser"]
+
+[patch.landgrafhomyak]
+json-decoder-api-0-macro-0 = { path = "macro" }
+json-decoder-api-0-macro-0-parser-0 = { path = "macro/parser" }
diff --git a/src/default_handlers/enums.rs b/src/default_handlers/enums.rs
new file mode 100644
index 0000000..21704a3
--- /dev/null
+++ b/src/default_handlers/enums.rs
@@ -0,0 +1,60 @@
+use crate::dsl::{BooleanHandler, FloatHandler, IntegerHandler, NoValueHandler, NullHandler};
+use std::marker::PhantomData;
+
+pub struct Handler_Boolean<S, StoreFn: Fn(&mut S, bool)> {
+    store: StoreFn,
+    __phantom: PhantomData<S>,
+}
+impl<S, StoreFn: Fn(&mut S, bool)> Handler_Boolean<S, StoreFn> {
+    pub fn create(f: StoreFn) -> Self {
+        return Self {
+            store: f,
+            __phantom: PhantomData::default(),
+        };
+    }
+}
+impl<S, StoreFn: Fn(&mut S, bool)> BooleanHandler<S> for Handler_Boolean<S, StoreFn> {
+    fn handleBoolean(&self, dst: &mut S, value: bool) {
+        (self.store)(dst, value);
+    }
+}
+
+pub struct Handler_Null<S, StoreFn: Fn(&mut S)> {
+    store: StoreFn,
+    __phantom: PhantomData<S>,
+}
+
+impl<S, StoreFn: Fn(&mut S)> Handler_Null<S, StoreFn> {
+    pub fn create(f: StoreFn) -> Self {
+        return Self {
+            store: f,
+            __phantom: PhantomData::default(),
+        };
+    }
+}
+
+impl<S, StoreFn: Fn(&mut S)> NullHandler<S> for Handler_Null<S, StoreFn> {
+    fn handleNull(&self, dst: &mut S) {
+        (self.store)(dst);
+    }
+}
+
+pub struct Handler_NoValue<S, StoreFn: Fn(&mut S)> {
+    store: StoreFn,
+    __phantom: PhantomData<S>,
+}
+
+impl<S, StoreFn: Fn(&mut S)> Handler_NoValue<S, StoreFn> {
+    pub fn create(f: StoreFn) -> Self {
+        return Self {
+            store: f,
+            __phantom: PhantomData::default(),
+        };
+    }
+}
+
+impl<S, StoreFn: Fn(&mut S)> NoValueHandler<S> for Handler_NoValue<S, StoreFn> {
+    fn handleNoValue(&self, dst: &mut S) {
+        (self.store)(dst);
+    }
+}
diff --git a/src/default_handlers/floats.rs b/src/default_handlers/floats.rs
new file mode 100644
index 0000000..01a8283
--- /dev/null
+++ b/src/default_handlers/floats.rs
@@ -0,0 +1,38 @@
+use crate::dsl::{FloatHandler, IntegerHandler};
+use std::marker::PhantomData;
+
+pub struct Handler_F64<S, StoreFn: Fn(&mut S, f64)> {
+    store: StoreFn,
+    __phantom: PhantomData<S>,
+}
+impl<S, StoreFn: Fn(&mut S, f64)> Handler_F64<S, StoreFn> {
+    pub fn create(f: StoreFn) -> Self {
+        return Self {
+            store: f,
+            __phantom: PhantomData::default(),
+        };
+    }
+}
+impl<S, StoreFn: Fn(&mut S, f64)> FloatHandler<S> for Handler_F64<S, StoreFn> {
+    fn handleFloat(&self, dst: &mut S, value: f64) {
+        (self.store)(dst, value);
+    }
+}
+
+pub struct Handler_F32<S, StoreFn: Fn(&mut S, f32)> {
+    store: StoreFn,
+    __phantom: PhantomData<S>,
+}
+impl<S, StoreFn: Fn(&mut S, f32)> Handler_F32<S, StoreFn> {
+    pub fn create(f: StoreFn) -> Self {
+        return Self {
+            store: f,
+            __phantom: PhantomData::default(),
+        };
+    }
+}
+impl<S, StoreFn: Fn(&mut S, f32)> FloatHandler<S> for Handler_F32<S, StoreFn> {
+    fn handleFloat(&self, dst: &mut S, value: f64) {
+        (self.store)(dst, value as f32);
+    }
+}
diff --git a/src/default_handlers/integers.rs b/src/default_handlers/integers.rs
new file mode 100644
index 0000000..1418a1d
--- /dev/null
+++ b/src/default_handlers/integers.rs
@@ -0,0 +1,56 @@
+use crate::dsl::IntegerHandler;
+use std::marker::PhantomData;
+
+macro_rules! defineIntegerHandler {
+    ($vis:vis $name:ident < $int_type:ty >) => {
+        $vis struct $name <S, StoreFn: Fn(&mut S, $int_type)> {
+            store: StoreFn,
+            __phantom: PhantomData<S>
+        }
+
+        impl <S, StoreFn: Fn(&mut S, $int_type)> $name <S, StoreFn> {
+            pub fn create(f: StoreFn) -> Self {
+                return Self {
+                    store: f,
+                    __phantom: PhantomData::default()
+                }
+            }
+        }
+
+        impl <S, StoreFn: Fn(&mut S, $int_type)> IntegerHandler<S> for $name <S, StoreFn> {
+            fn handleFixedInteger(&self, dst: &mut S, value: u64, isNegative: bool) {
+                let downcasted: $int_type;
+
+                if isNegative {
+                    if <$int_type>::MIN >= 0 || value > (<$int_type>::abs_diff(0, <$int_type>::MIN)) as u64 {
+                        panic!(
+                            "Integer underflow: expected in range {}..={}, got -{}",
+                            <$int_type>::MIN, <$int_type>::MAX, value
+                        );
+                    }
+                    downcasted = i64::strict_sub_unsigned(0i64, value as u64) as $int_type;
+                } else {
+                    if value > (<$int_type>::MAX as u64) {
+                        panic!(
+                            "Integer overflow: expected in range {}..={}, got {}",
+                            <$int_type>::MIN, <$int_type>::MAX, value
+                        );
+                    }
+                    downcasted = value as $int_type;
+                }
+
+                (self.store)(dst, downcasted);
+                return;
+            }
+        }
+    }
+}
+
+defineIntegerHandler!( pub Handler_U8<u8> );
+defineIntegerHandler!( pub Handler_S8<i8> );
+defineIntegerHandler!( pub Handler_U16<u16> );
+defineIntegerHandler!( pub Handler_S16<i16> );
+defineIntegerHandler!( pub Handler_U32<u32> );
+defineIntegerHandler!( pub Handler_S32<i32> );
+defineIntegerHandler!( pub Handler_U64<u64> );
+defineIntegerHandler!( pub Handler_S64<i64> );
diff --git a/src/default_handlers/mod.rs b/src/default_handlers/mod.rs
new file mode 100644
index 0000000..f693c57
--- /dev/null
+++ b/src/default_handlers/mod.rs
@@ -0,0 +1,7 @@
+mod integers;
+mod floats;
+mod enums;
+
+pub use integers::*;
+pub use floats::*;
+pub use enums::*;
\ No newline at end of file
diff --git a/src/dsl.rs b/src/dsl.rs
new file mode 100644
index 0000000..3ba104f
--- /dev/null
+++ b/src/dsl.rs
@@ -0,0 +1,88 @@
+pub trait IntegerHandler<S>: Sized {
+    fn handleFixedInteger(&self, dst: &mut S, value: u64, isNegative: bool);
+}
+
+pub trait FloatHandler<S>: Sized {
+    fn handleFloat(&self, dst: &mut S, value: f64);
+}
+
+pub trait BooleanHandler<S>: Sized {
+    fn handleBoolean(&self, dst: &mut S, value: bool);
+}
+
+pub trait NullHandler<S>: Sized {
+    fn handleNull(&self, dst: &mut S);
+}
+
+pub trait NoValueHandler<S>: Sized {
+    fn handleNoValue(&self, dst: &mut S);
+}
+
+pub trait ObjectHandler<P, S>: Sized {
+    fn produceObject(&self) -> S;
+    fn storeObject(&self, dst: &mut P, value: S);
+}
+
+pub trait StringHandler<P, T>: Sized {
+    fn handleString(&self, dst: &mut P, value: T);
+}
+
+pub trait ObjectConfigurationScope<S> {
+    type K;
+
+    fn ignoreKey_required(&mut self, name: &Self::K);
+    fn ignoreKey_optional(&mut self, name: &Self::K);
+    fn processKey(&mut self, name: &Self::K, config: impl ValueConfiguration<S>);
+    fn processKey_optional(
+        &mut self,
+        name: &Self::K,
+        config: impl ValueConfiguration<S>,
+        fallback: impl NoValueHandler<S>,
+    );
+}
+pub trait ObjectConfiguration<P>: Sized {
+    type S: Sized;
+    fn configureObject(
+        &self,
+        scope: &impl ArrayConfigurationScope<Self::S>,
+    ) -> impl ObjectHandler<P, Self::S>;
+}
+
+pub trait ArrayHandler<P, S>: Sized {
+    fn produceArray(&self) -> S;
+    fn storeArray(&self, dst: &mut P, value: S);
+}
+
+pub trait ArrayConfigurationScope<S> {
+    fn ignoreElements_required(&self, start: usize, endInclusive: Option<usize>);
+    fn ignoreElements_optional(&self, start: usize, endInclusive: Option<usize>);
+    fn processElements_required(
+        &self,
+        start: usize,
+        endInclusive: Option<usize>,
+        config: impl ValueConfiguration<S>,
+    );
+    fn processElements_optional(
+        &self,
+        start: usize,
+        endInclusive: Option<usize>,
+        config: impl ValueConfiguration<S>,
+    );
+}
+
+pub trait ArrayConfiguration<P>: Sized {
+    type S: Sized;
+    fn configureArray(
+        &self,
+        scope: &impl ArrayConfigurationScope<Self::S>,
+    ) -> impl ObjectHandler<P, Self::S>;
+}
+
+pub trait ValueConfiguration<P>: Sized {
+    fn integerHandler(&self) -> Option<impl IntegerHandler<P>>;
+    fn floatHandler(&self) -> Option<impl FloatHandler<P>>;
+    fn booleanHandler(&self) -> Option<impl BooleanHandler<P>>;
+    fn nullHandler(&self) -> Option<impl NullHandler<P>>;
+    fn arrayHandler(&self) -> Option<impl ObjectConfiguration<P>>;
+    fn objectHandler(&self) -> Option<impl ArrayConfiguration<P>>;
+}
diff --git a/src/lib.rs b/src/lib.rs
new file mode 100644
index 0000000..a1e89db
--- /dev/null
+++ b/src/lib.rs
@@ -0,0 +1,2 @@
+pub mod dsl;
+pub mod default_handlers;