From bda36b48563690e77f4375fe74e5ca3167414103 Mon Sep 17 00:00:00 2001
From: Michael Sippel <micha@fragmental.art>
Date: Mon, 24 Mar 2025 10:11:16 +0100
Subject: [PATCH] type dict: get_typename_create
---
src/dict.rs | 8 ++++++++
1 file changed, 8 insertions(+)
diff --git a/src/dict.rs b/src/dict.rs
index 333f8dd..e5cb464 100644
--- a/src/dict.rs
+++ b/src/dict.rs
@@ -24,6 +24,14 @@ pub trait TypeDict : Send + Sync {
self.insert(new, tyid);
}
}
+
+ fn get_typeid_creat(&mut self, tn: &String) -> TypeID {
+ if let Some(id) = self.get_typeid(tn) {
+ id
+ } else {
+ self.add_typename(tn.clone())
+ }
+ }
}
//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>\\