+
+void gras_agent_spawn(const char *name, void *data,
+ xbt_main_func_t code, int argc, char *argv[],
+ xbt_dict_t properties)
+{
+ THROW_UNIMPLEMENTED;
+}
+
+/* **************************************************************************
+ * Properties
+ * **************************************************************************/
+
+const char *gras_process_property_value(const char *name)
+{
+ return xbt_dict_get_or_null(_process_properties, name);
+}
+
+xbt_dict_t gras_process_properties(void)
+{
+ return _process_properties;
+}
+
+const char *gras_os_host_property_value(const char *name)
+{
+ return xbt_dict_get_or_null(_host_properties, name);
+}
+
+xbt_dict_t gras_os_host_properties(void)
+{
+ return _host_properties;
+}