From b3e3b41a2a068fe2bc8094a5e52fb4a5f06892d8 Mon Sep 17 00:00:00 2001
From: Alexander Krause <alexander.krause@tu-dresden.de>
Date: Mon, 16 Dec 2024 09:18:31 +0000
Subject: [PATCH] Added specific named output in tsl::type_name for cstdint
 types

---
 .../static_files/core/utils/type_helper.yaml  | 40 +++++++++++++++++++
 1 file changed, 40 insertions(+)

diff --git a/generator/static_files/core/utils/type_helper.yaml b/generator/static_files/core/utils/type_helper.yaml
index 11a24a31..2bbb3806 100755
--- a/generator/static_files/core/utils/type_helper.yaml
+++ b/generator/static_files/core/utils/type_helper.yaml
@@ -43,6 +43,46 @@ implementations:
         }
         return r;
     }
+    template <>
+    std::string type_name<uint8_t>() {
+      return "uint8_t";
+    }
+    template <>
+    std::string type_name<uint16_t>() {
+      return "uint16_t";
+    }
+    template <>
+    std::string type_name<uint32_t>() {
+      return "uint32_t";
+    }
+    template <>
+    std::string type_name<uint64_t>() {
+      return "uint64_t";
+    }
+    template <>
+    std::string type_name<int8_t>() {
+      return "int8_t";
+    }
+    template <>
+    std::string type_name<int16_t>() {
+      return "int16_t";
+    }
+    template <>
+    std::string type_name<int32_t>() {
+      return "int32_t";
+    }
+    template <>
+    std::string type_name<int64_t>() {
+      return "int64_t";
+    }
+    template <>
+    std::string type_name<float>() {
+      return "float";
+    }
+    template <>
+    std::string type_name<double>() {
+      return "double";
+    }
     #define TYPENAME(x) type_name<decltype(x)>()
          
   - |