From 6c95b7c6e20467270da26cd5d10111bb9307c065 Mon Sep 17 00:00:00 2001
From: Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com>
Date: Mon, 15 Jul 2024 14:40:15 +0200
Subject: Add useful aliases for platform properties and dispatch endpoint

---
 src/buildtool/execution_api/remote/config.hpp | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

(limited to 'src/buildtool/execution_api/remote/config.hpp')

diff --git a/src/buildtool/execution_api/remote/config.hpp b/src/buildtool/execution_api/remote/config.hpp
index 7167a3ad..ea7a7093 100644
--- a/src/buildtool/execution_api/remote/config.hpp
+++ b/src/buildtool/execution_api/remote/config.hpp
@@ -79,13 +79,13 @@ class RemoteExecutionConfig {
     }
 
     // Instance dispatch list
-    [[nodiscard]] static auto DispatchList() noexcept -> std::vector<
-        std::pair<std::map<std::string, std::string>, ServerAddress>> {
+    [[nodiscard]] static auto DispatchList() noexcept
+        -> std::vector<DispatchEndpoint> {
         return Instance().dispatch_;
     }
 
     [[nodiscard]] static auto PlatformProperties() noexcept
-        -> std::map<std::string, std::string> {
+        -> ExecutionProperties {
         return Instance().platform_properties_;
     }
 
@@ -134,14 +134,13 @@ class RemoteExecutionConfig {
     std::optional<ServerAddress> remote_address_{};
 
     // Server dispatch data
-    std::vector<std::pair<std::map<std::string, std::string>, ServerAddress>>
-        dispatch_{};
+    std::vector<DispatchEndpoint> dispatch_{};
 
     // Server address of cache endpoint for rebuild.
     std::optional<ServerAddress> cache_address_{};
 
     // Platform properties for execution.
-    std::map<std::string, std::string> platform_properties_{};
+    ExecutionProperties platform_properties_{};
 };
 
 #endif  // INCLUDED_SRC_BUILDTOOL_EXECUTION_API_REMOTE_CONFIG_HPP
-- 
cgit v1.2.3