latest version

uberFoo · Nov 28, 2023 · f6362f8 · f6362f8
1 parent 1f96dab
commit f6362f8
Show file tree

Hide file tree

Showing 121 changed files with 18,382 additions and 4 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -54,6 +54,7 @@ pretty_env_logger = "0.5.0"
 [features]
 default = ["lu-dog-vec"]
 lu-dog-vec = []
+lu-dog-vec-tracy = []
 lu-dog-rwlock-vec = []
 lu-dog-ndrwlock-vec = []
 lu-dog-rc = []

diff --git a/models/lu_dog.json b/models/lu_dog.json
diff --git a/sarzak.toml b/sarzak.toml
@@ -44,6 +44,29 @@ persist_timestamps = false
 uber_store = "Single"
 target = "domain"
 
+#
+# Lu Dog Vec Tracy
+#
+[modules."v2/lu_dog_vec_tracy"]
+model = "models/lu_dog.json"
+
+[[modules."v2/lu_dog_vec_tracy".compiler]]
+always_process = true
+compiler = "grace"
+derive = ["Clone", "Debug", "Deserialize", "Serialize"]
+imported_domains = ["crate/v2/sarzak"]
+use_paths = ["serde::{Deserialize, Serialize}"]
+tracy = true
+
+[modules."v2/lu_dog_vec_tracy".compiler.target]
+optimization_level = "Vec"
+is_meta_model = true
+is_sarzak = false
+persist = true
+persist_timestamps = false
+uber_store = "Single"
+target = "domain"
+
 #
 # Lu Dog RwLock Vec
 #

diff --git a/src/lib.rs b/src/lib.rs
@@ -18,6 +18,8 @@ cfg_if::cfg_if! {
         pub use v2::lu_dog;
     } else if #[cfg(feature = "lu-dog-vec")] {
         pub use v2::lu_dog_vec as lu_dog;
+    } else if #[cfg(feature = "lu-dog-vec-tracy")] {
+        pub use v2::lu_dog_vec_tracy as lu_dog;
     } else if #[cfg(feature = "lu-dog-async-vec")] {
         pub use v2::lu_dog_async as lu_dog;
     } else if #[cfg(feature = "lu-dog-rwlock-vec")] {

diff --git a/src/v2.rs b/src/v2.rs
@@ -6,6 +6,7 @@ pub mod lu_dog_ndrwlock_vec;
 pub mod lu_dog_rwlock;
 pub mod lu_dog_rwlock_vec;
 pub mod lu_dog_vec;
+pub mod lu_dog_vec_tracy;
 pub mod merlin;
 pub mod sarzak;
 pub mod woog;
diff --git a/src/v2/lu_dog_ndrwlock_vec/types/lambda.rs b/src/v2/lu_dog_ndrwlock_vec/types/lambda.rs
@@ -30,6 +30,8 @@ pub struct Lambda {
     pub id: usize,
     /// R73: [`Lambda`] 'contains a' [`Body`]
     pub body: Option<usize>,
+    /// R103: [`Lambda`] 'may have a' [`LambdaParameter`]
+    pub first_param: Option<usize>,
     /// R74: [`Lambda`] 'has a' [`ValueType`]
     pub return_type: usize,
 }
@@ -40,13 +42,16 @@ impl Lambda {
     /// Inter a new 'Lambda' in the store, and return it's `id`.
     pub fn new(
         body: Option<&Arc<RwLock<Body>>>,
+        first_param: Option<&Arc<RwLock<LambdaParameter>>>,
         return_type: &Arc<RwLock<ValueType>>,
         store: &mut LuDogNdrwlockVecStore,
     ) -> Arc<RwLock<Lambda>> {
         store.inter_lambda(|id| {
             Arc::new(RwLock::new(Lambda {
                 id,
                 body: body.map(|body| body.read().unwrap().id),
+                first_param: first_param
+                    .map(|lambda_parameter| lambda_parameter.read().unwrap().id),
                 return_type: return_type.read().unwrap().id,
             }))
         })
@@ -62,6 +67,18 @@ impl Lambda {
         }
     }
     // {"magic":"","directive":{"End":{"directive":"ignore-orig"}}}
+    // {"magic":"","directive":{"Start":{"directive":"ignore-orig","tag":"lambda-struct-impl-nav-forward-cond-to-first_param"}}}
+    /// Navigate to [`LambdaParameter`] across R103(1-*c)
+    pub fn r103_lambda_parameter<'a>(
+        &'a self,
+        store: &'a LuDogNdrwlockVecStore,
+    ) -> Vec<Arc<RwLock<LambdaParameter>>> {
+        match self.first_param {
+            Some(ref first_param) => vec![store.exhume_lambda_parameter(&first_param).unwrap()],
+            None => Vec::new(),
+        }
+    }
+    // {"magic":"","directive":{"End":{"directive":"ignore-orig"}}}
     // {"magic":"","directive":{"Start":{"directive":"ignore-orig","tag":"lambda-struct-impl-nav-forward-to-return_type"}}}
     /// Navigate to [`ValueType`] across R74(1-*)
     pub fn r74_value_type<'a>(
@@ -124,7 +141,9 @@ impl Lambda {
 // {"magic":"","directive":{"Start":{"directive":"ignore-orig","tag":"lambda-implementation"}}}
 impl PartialEq for Lambda {
     fn eq(&self, other: &Self) -> bool {
-        self.body == other.body && self.return_type == other.return_type
+        self.body == other.body
+            && self.first_param == other.first_param
+            && self.return_type == other.return_type
     }
 }
 // {"magic":"","directive":{"End":{"directive":"ignore-orig"}}}

diff --git a/src/v2/lu_dog_ndrwlock_vec/types/lambda_parameter.rs b/src/v2/lu_dog_ndrwlock_vec/types/lambda_parameter.rs
@@ -82,6 +82,15 @@ impl LambdaParameter {
         }
     }
     // {"magic":"","directive":{"End":{"directive":"ignore-orig"}}}
+    // {"magic":"","directive":{"Start":{"directive":"ignore-orig","tag":"lambda_parameter-struct-impl-nav-backward-one-to-lambda"}}}
+    /// Navigate to [`Lambda`] across R103(1-1)
+    pub fn r103_lambda<'a>(&'a self, store: &'a LuDogNdrwlockVecStore) -> Vec<Arc<RwLock<Lambda>>> {
+        vec![store
+            .iter_lambda()
+            .find(|lambda| lambda.read().unwrap().first_param == Some(self.id))
+            .unwrap()]
+    }
+    // {"magic":"","directive":{"End":{"directive":"ignore-orig"}}}
     // {"magic":"","directive":{"Start":{"directive":"ignore-orig","tag":"lambda_parameter-struct-impl-nav-backward-one-bi-cond-to-lambda_parameter"}}}
     /// Navigate to [`LambdaParameter`] across R75(1c-1c)
     pub fn r75c_lambda_parameter<'a>(

diff --git a/src/v2/lu_dog_ndrwlock_vec/types/parameter.rs b/src/v2/lu_dog_ndrwlock_vec/types/parameter.rs
@@ -99,6 +99,8 @@ impl Parameter {
             Some(ref function) => vec![function.clone()],
             None => Vec::new(),
         }
+        // {"magic":"","directive":{"End":{"directive":"ignore-orig"}}}
+        // {"magic":"","directive":{"Start":{"directive":"ignore-orig","tag":"parameter-struct-impl-nav-backward-one-to-lambda"}}}
     }
     // {"magic":"","directive":{"End":{"directive":"ignore-orig"}}}
     // {"magic":"","directive":{"Start":{"directive":"ignore-orig","tag":"parameter-struct-impl-nav-backward-one-bi-cond-to-parameter"}}}

diff --git a/src/v2/lu_dog_rwlock_vec/types/lambda.rs b/src/v2/lu_dog_rwlock_vec/types/lambda.rs
@@ -32,6 +32,8 @@ pub struct Lambda {
     pub id: usize,
     /// R73: [`Lambda`] 'contains a' [`Body`]
     pub body: Option<usize>,
+    /// R103: [`Lambda`] 'may have a' [`LambdaParameter`]
+    pub first_param: Option<usize>,
     /// R74: [`Lambda`] 'has a' [`ValueType`]
     pub return_type: usize,
 }
@@ -42,13 +44,16 @@ impl Lambda {
     /// Inter a new 'Lambda' in the store, and return it's `id`.
     pub fn new(
         body: Option<&Arc<RwLock<Body>>>,
+        first_param: Option<&Arc<RwLock<LambdaParameter>>>,
         return_type: &Arc<RwLock<ValueType>>,
         store: &mut LuDogRwlockVecStore,
     ) -> Arc<RwLock<Lambda>> {
         store.inter_lambda(|id| {
             Arc::new(RwLock::new(Lambda {
                 id,
                 body: body.map(|body| body.read().unwrap().id),
+                first_param: first_param
+                    .map(|lambda_parameter| lambda_parameter.read().unwrap().id),
                 return_type: return_type.read().unwrap().id,
             }))
         })
@@ -66,6 +71,18 @@ impl Lambda {
         }
     }
     // {"magic":"","directive":{"End":{"directive":"ignore-orig"}}}
+    // {"magic":"","directive":{"Start":{"directive":"ignore-orig","tag":"lambda-struct-impl-nav-forward-cond-to-first_param"}}}
+    /// Navigate to [`LambdaParameter`] across R103(1-*c)
+    pub fn r103_lambda_parameter<'a>(
+        &'a self,
+        store: &'a LuDogRwlockVecStore,
+    ) -> Vec<Arc<RwLock<LambdaParameter>>> {
+        match self.first_param {
+            Some(ref first_param) => vec![store.exhume_lambda_parameter(&first_param).unwrap()],
+            None => Vec::new(),
+        }
+    }
+    // {"magic":"","directive":{"End":{"directive":"ignore-orig"}}}
     // {"magic":"","directive":{"Start":{"directive":"ignore-orig","tag":"lambda-struct-impl-nav-forward-to-return_type"}}}
     /// Navigate to [`ValueType`] across R74(1-*)
     pub fn r74_value_type<'a>(
@@ -128,7 +145,9 @@ impl Lambda {
 // {"magic":"","directive":{"Start":{"directive":"ignore-orig","tag":"lambda-implementation"}}}
 impl PartialEq for Lambda {
     fn eq(&self, other: &Self) -> bool {
-        self.body == other.body && self.return_type == other.return_type
+        self.body == other.body
+            && self.first_param == other.first_param
+            && self.return_type == other.return_type
     }
 }
 // {"magic":"","directive":{"End":{"directive":"ignore-orig"}}}

diff --git a/src/v2/lu_dog_rwlock_vec/types/lambda_parameter.rs b/src/v2/lu_dog_rwlock_vec/types/lambda_parameter.rs
@@ -82,6 +82,15 @@ impl LambdaParameter {
         }
     }
     // {"magic":"","directive":{"End":{"directive":"ignore-orig"}}}
+    // {"magic":"","directive":{"Start":{"directive":"ignore-orig","tag":"lambda_parameter-struct-impl-nav-backward-one-to-lambda"}}}
+    /// Navigate to [`Lambda`] across R103(1-1)
+    pub fn r103_lambda<'a>(&'a self, store: &'a LuDogRwlockVecStore) -> Vec<Arc<RwLock<Lambda>>> {
+        vec![store
+            .iter_lambda()
+            .find(|lambda| lambda.read().unwrap().first_param == Some(self.id))
+            .unwrap()]
+    }
+    // {"magic":"","directive":{"End":{"directive":"ignore-orig"}}}
     // {"magic":"","directive":{"Start":{"directive":"ignore-orig","tag":"lambda_parameter-struct-impl-nav-backward-one-bi-cond-to-lambda_parameter"}}}
     /// Navigate to [`LambdaParameter`] across R75(1c-1c)
     pub fn r75c_lambda_parameter<'a>(

diff --git a/src/v2/lu_dog_rwlock_vec/types/parameter.rs b/src/v2/lu_dog_rwlock_vec/types/parameter.rs
@@ -99,6 +99,8 @@ impl Parameter {
             Some(ref function) => vec![function.clone()],
             None => Vec::new(),
         }
+        // {"magic":"","directive":{"End":{"directive":"ignore-orig"}}}
+        // {"magic":"","directive":{"Start":{"directive":"ignore-orig","tag":"parameter-struct-impl-nav-backward-one-to-lambda"}}}
     }
     // {"magic":"","directive":{"End":{"directive":"ignore-orig"}}}
     // {"magic":"","directive":{"Start":{"directive":"ignore-orig","tag":"parameter-struct-impl-nav-backward-one-bi-cond-to-parameter"}}}

diff --git a/src/v2/lu_dog_vec/types/lambda.rs b/src/v2/lu_dog_vec/types/lambda.rs
@@ -30,6 +30,8 @@ pub struct Lambda {
     pub id: usize,
     /// R73: [`Lambda`] 'contains a' [`Body`]
     pub body: Option<usize>,
+    /// R103: [`Lambda`] 'may have a' [`LambdaParameter`]
+    pub first_param: Option<usize>,
     /// R74: [`Lambda`] 'has a' [`ValueType`]
     pub return_type: usize,
 }
@@ -40,13 +42,15 @@ impl Lambda {
     /// Inter a new 'Lambda' in the store, and return it's `id`.
     pub fn new(
         body: Option<&Rc<RefCell<Body>>>,
+        first_param: Option<&Rc<RefCell<LambdaParameter>>>,
         return_type: &Rc<RefCell<ValueType>>,
         store: &mut LuDogVecStore,
     ) -> Rc<RefCell<Lambda>> {
         store.inter_lambda(|id| {
             Rc::new(RefCell::new(Lambda {
                 id,
                 body: body.map(|body| body.borrow().id),
+                first_param: first_param.map(|lambda_parameter| lambda_parameter.borrow().id),
                 return_type: return_type.borrow().id,
             }))
         })
@@ -65,6 +69,18 @@ impl Lambda {
         }
     }
     // {"magic":"","directive":{"End":{"directive":"ignore-orig"}}}
+    // {"magic":"","directive":{"Start":{"directive":"ignore-orig","tag":"lambda-struct-impl-nav-forward-cond-to-first_param"}}}
+    /// Navigate to [`LambdaParameter`] across R103(1-*c)
+    pub fn r103_lambda_parameter<'a>(
+        &'a self,
+        store: &'a LuDogVecStore,
+    ) -> Vec<Rc<RefCell<LambdaParameter>>> {
+        match self.first_param {
+            Some(ref first_param) => vec![store.exhume_lambda_parameter(&first_param).unwrap()],
+            None => Vec::new(),
+        }
+    }
+    // {"magic":"","directive":{"End":{"directive":"ignore-orig"}}}
     // {"magic":"","directive":{"Start":{"directive":"ignore-orig","tag":"lambda-struct-impl-nav-forward-to-return_type"}}}
     /// Navigate to [`ValueType`] across R74(1-*)
     pub fn r74_value_type<'a>(&'a self, store: &'a LuDogVecStore) -> Vec<Rc<RefCell<ValueType>>> {
@@ -118,7 +134,9 @@ impl Lambda {
 // {"magic":"","directive":{"Start":{"directive":"ignore-orig","tag":"lambda-implementation"}}}
 impl PartialEq for Lambda {
     fn eq(&self, other: &Self) -> bool {
-        self.body == other.body && self.return_type == other.return_type
+        self.body == other.body
+            && self.first_param == other.first_param
+            && self.return_type == other.return_type
     }
 }
 // {"magic":"","directive":{"End":{"directive":"ignore-orig"}}}

diff --git a/src/v2/lu_dog_vec/types/lambda_parameter.rs b/src/v2/lu_dog_vec/types/lambda_parameter.rs
@@ -80,6 +80,15 @@ impl LambdaParameter {
         }
     }
     // {"magic":"","directive":{"End":{"directive":"ignore-orig"}}}
+    // {"magic":"","directive":{"Start":{"directive":"ignore-orig","tag":"lambda_parameter-struct-impl-nav-backward-one-to-lambda"}}}
+    /// Navigate to [`Lambda`] across R103(1-1)
+    pub fn r103_lambda<'a>(&'a self, store: &'a LuDogVecStore) -> Vec<Rc<RefCell<Lambda>>> {
+        vec![store
+            .iter_lambda()
+            .find(|lambda| lambda.borrow().first_param == Some(self.id))
+            .unwrap()]
+    }
+    // {"magic":"","directive":{"End":{"directive":"ignore-orig"}}}
     // {"magic":"","directive":{"Start":{"directive":"ignore-orig","tag":"lambda_parameter-struct-impl-nav-backward-one-bi-cond-to-lambda_parameter"}}}
     /// Navigate to [`LambdaParameter`] across R75(1c-1c)
     pub fn r75c_lambda_parameter<'a>(

diff --git a/src/v2/lu_dog_vec/types/parameter.rs b/src/v2/lu_dog_vec/types/parameter.rs
@@ -87,6 +87,8 @@ impl Parameter {
             Some(ref function) => vec![function.clone()],
             None => Vec::new(),
         }
+        // {"magic":"","directive":{"End":{"directive":"ignore-orig"}}}
+        // {"magic":"","directive":{"Start":{"directive":"ignore-orig","tag":"parameter-struct-impl-nav-backward-one-to-lambda"}}}
     }
     // {"magic":"","directive":{"End":{"directive":"ignore-orig"}}}
     // {"magic":"","directive":{"Start":{"directive":"ignore-orig","tag":"parameter-struct-impl-nav-backward-one-bi-cond-to-parameter"}}}