From f2db8a222ae23a166e58397243b85550092265f6 Mon Sep 17 00:00:00 2001
From: sha512sum <linuxnyasha@tutanota.com>
Date: Sun, 24 Mar 2024 17:21:17 +0000
Subject: [PATCH] Add GetDependencyGraph method to ServiceContextBuilder

---
 include/cserver/engine/components.hpp | 40 +++++++++++++++++++++++----
 1 file changed, 34 insertions(+), 6 deletions(-)

diff --git a/include/cserver/engine/components.hpp b/include/cserver/engine/components.hpp
index f2a97e8..3fda518 100644
--- a/include/cserver/engine/components.hpp
+++ b/include/cserver/engine/components.hpp
@@ -69,7 +69,7 @@ struct ServiceContext {
       storage{
         [&]<auto... Is>(std::index_sequence<Is...>) -> utempl::Tuple<Ts...> {
           return {[&]<auto I>(utempl::Wrapper<I>) {
-            return [&]() -> std::remove_cvref_t<decltype(Get<I>(storage))> {
+            return [&] -> std::remove_cvref_t<decltype(Get<I>(storage))> {
               return {utempl::Wrapper<Get<I>(names)>{}, *this};
             };
           }(utempl::Wrapper<Is>{})...};
@@ -202,12 +202,16 @@ public:
   static constexpr auto FindComponent() -> T&;
 
   template <std::size_t I = 0, typename... TTs>
-  static consteval auto GetDependencies() requires 
-      requires {Magic(loopholes::Getter<DependencyInfoKey<Current, I>{}>{});} {
-    if constexpr(requires{GetDependencies<I + 1, TTs...>();}) {
-      return GetDependencies<I + 1, TTs..., typename decltype(Magic(loopholes::Getter<DependencyInfoKey<Current, I>{}>{}))::Type>();
+  static consteval auto GetDependencies() requires (I == 0 || 
+      requires {Magic(loopholes::Getter<DependencyInfoKey<Current, I>{}>{});}) {
+    if constexpr(I == 0 && !requires {Magic(loopholes::Getter<DependencyInfoKey<Current, I>{}>{});}) {
+      return utempl::TypeList{};
     } else {
-      return utempl::kTypeList<TTs..., typename decltype(Magic(loopholes::Getter<DependencyInfoKey<Current, I>{}>{}))::Type>;
+      if constexpr(requires{GetDependencies<I + 1, TTs...>();}) {
+        return GetDependencies<I + 1, TTs..., typename decltype(Magic(loopholes::Getter<DependencyInfoKey<Current, I>{}>{}))::Type>();
+      } else {
+        return utempl::kTypeList<TTs..., typename decltype(Magic(loopholes::Getter<DependencyInfoKey<Current, I>{}>{}))::Type>;
+      };
     };
   };
 
@@ -219,6 +223,16 @@ public:
 
 } // namespace impl
 
+template <typename T, utempl::TypeList Dependencies>
+struct DependencyGraphElement {};
+
+
+template <typename... Ts>
+struct DependencyGraph {
+  static constexpr auto kValue = utempl::TypeList<Ts...>{};
+};
+
+
 template <ConstexprConfig config = {}, typename... Ts>
 struct ServiceContextBuilder {
   static constexpr auto kList = utempl::kTypeList<Ts...>;
@@ -257,6 +271,20 @@ struct ServiceContextBuilder {
     return config;
   };
 
+  static consteval auto GetDependencyGraph() {
+    return [&]<utempl::ConstexprString... names, typename... TTs, Options... Options>
+    (ComponentConfig<names, TTs, Options>...){
+      return DependencyGraph<DependencyGraphElement<TTs, 
+        []<utempl::ConstexprString name, typename T, ::cserver::Options OOptions>
+        (ComponentConfig<name, T, OOptions>) {
+          impl::DependencyInfoInjector<T, config, Ts...> injector;
+          injector.template Inject<name>();
+          return injector.GetDependencies();
+        }(Ts{})>...>{};
+    }(Ts{}...);
+  };
+
+
   static constexpr auto Run() -> void {
     []<utempl::ConstexprString... names, typename... TTs, Options... Options>
     (utempl::TypeList<ComponentConfig<names, TTs, Options>...>) {