-/* Copyright (c) 2015-2017. The SimGrid Team. All rights reserved. */
+/* Copyright (c) 2015-2019. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
}
/** @brief Return the property associated to the provided key (or nullptr if not existing) */
-const char *PropertyHolder::getProperty(const char*key) {
+const char* PropertyHolder::get_property(const std::string& key)
+{
if (properties_ == nullptr)
return nullptr;
auto prop = properties_->find(key);
}
/** @brief Change the value of a given key in the property set */
-void PropertyHolder::setProperty(std::string key, std::string value)
+void PropertyHolder::set_property(const std::string& key, const std::string& value)
{
if (not properties_)
- properties_ = new std::map<std::string, std::string>;
+ properties_ = new std::unordered_map<std::string, std::string>;
(*properties_)[key] = value;
}
/** @brief Return the whole set of properties. Don't mess with it, dude! */
-std::map<std::string, std::string>* PropertyHolder::getProperties()
+std::unordered_map<std::string, std::string>* PropertyHolder::get_properties()
{
if (not properties_)
- properties_ = new std::map<std::string, std::string>;
+ properties_ = new std::unordered_map<std::string, std::string>;
return properties_;
}