Define simgrid::xbt::set_default<>.

diff --git a/include/xbt/config.hpp b/include/xbt/config.hpp
index 704c60f..202bb4a 100644 (file)
--- a/include/xbt/config.hpp
+++ b/include/xbt/config.hpp
@@ -43,6 +43,15 @@ inline std::string to_string(std::string&& value)
   return std::move(value);
 }
 
   return std::move(value);
 }
 

+// Set default
+
+template <class T> XBT_PUBLIC void set_default(const char* name, T value);
+
+extern template XBT_PUBLIC void set_default<int>(const char* name, int value);
+extern template XBT_PUBLIC void set_default<double>(const char* name, double value);
+extern template XBT_PUBLIC void set_default<bool>(const char* name, bool value);
+extern template XBT_PUBLIC void set_default<std::string>(const char* name, std::string value);
+

 // Set config
 
 template <class T> XBT_PUBLIC void set_value(const char* name, T value);
 // Set config
 
 template <class T> XBT_PUBLIC void set_value(const char* name, T value);

diff --git a/src/xbt/config.cpp b/src/xbt/config.cpp
index e61832d..3f5be9a 100644 (file)
--- a/src/xbt/config.cpp
+++ b/src/xbt/config.cpp
@@ -366,6 +366,18 @@ void Config::help()
   }
 }
 
   }
 }
 

+// ***** set_default *****
+
+template <class T> XBT_PUBLIC void set_default(const char* name, T value)
+{
+  (*simgrid_config)[name].set_default_value<T>(std::move(value));
+}
+
+template XBT_PUBLIC void set_default<int>(const char* name, int value);
+template XBT_PUBLIC void set_default<double>(const char* name, double value);
+template XBT_PUBLIC void set_default<bool>(const char* name, bool value);
+template XBT_PUBLIC void set_default<std::string>(const char* name, std::string value);
+

 // ***** set_value *****
 
 template <class T> XBT_PUBLIC void set_value(const char* name, T value)
 // ***** set_value *****
 
 template <class T> XBT_PUBLIC void set_value(const char* name, T value)