xbt_assert1((surf_file_to_parse), "Unable to open \"%s\"\n",file);
surf_input_buffer = surf_parse__create_buffer( surf_file_to_parse, 10);
surf_parse__switch_to_buffer(surf_input_buffer);
+ surf_parse_lineno = 1;
}
void surf_parse_close(void) {
+ if(surf_input_buffer_stack)
+ xbt_dynar_free(&surf_input_buffer_stack);
+ if(surf_file_to_parse_stack)
+ xbt_dynar_free(&surf_file_to_parse_stack);
+
surf_parse__delete_buffer(surf_input_buffer);
fclose(surf_file_to_parse);
}