-void __TRACE_surf_check_variable_set_to_zero (double now, const char *variable, const char *resource)
-{
- /* check if we have to set it to 0 */
- if (!xbt_dict_get_or_null (platform_variables, resource)){
- xbt_dynar_t array = xbt_dynar_new(sizeof(char*), xbt_free);
- char *var_cpy = xbt_strdup(variable);
- xbt_dynar_push (array, &var_cpy);
- if (IS_TRACING_PLATFORM) pajeSetVariable (now, variable, resource, "0");
- xbt_dict_set (platform_variables, resource, array, xbt_dynar_free_voidp);
- }else{
- xbt_dynar_t array = xbt_dict_get (platform_variables, resource);
- unsigned int i;
- char* cat;
- int flag = 0;
- xbt_dynar_foreach (array, i, cat) {
- if (strcmp(variable, cat)==0){
- flag = 1;
- }
- }
- if (flag==0){
- char *var_cpy = xbt_strdup(variable);
- xbt_dynar_push (array, &var_cpy);
- if (IS_TRACING_PLATFORM) pajeSetVariable (now, variable, resource, "0");
- }
- }
- /* end of check */
-}
-
-void __TRACE_surf_set_resource_variable (double date, const char *variable, const char *resource, double value)