- simgrid::surf::Host* surf_host = this->extension<simgrid::surf::Host>();
- return surf_host->getProperties();
- });
+ simgrid::surf::HostImpl* surf_host = this->extension<simgrid::surf::HostImpl>();
+ return surf_host->getProperties();
+ });
+}
+
+/** Retrieve the property value (or NULL if not set) */
+const char*Host::property(const char*key) {
+ simgrid::surf::HostImpl* surf_host = this->extension<simgrid::surf::HostImpl>();
+ return surf_host->getProperty(key);
+}
+void Host::setProperty(const char*key, const char *value){
+ simgrid::simix::kernel([&] {
+ simgrid::surf::HostImpl* surf_host = this->extension<simgrid::surf::HostImpl>();
+ surf_host->setProperty(key,value);
+ });