-static void find_section(const char* file, const char* section_name)
-{
- e_surf_token_t token;
- int found = 0;
-
- surf_parse_open(file);
-
- while((token=surf_parse())) {
- if(token!=TOKEN_BEGIN_SECTION) continue;
-
- token=surf_parse();
- xbt_assert1((token==TOKEN_WORD),"Parse error line %d",line_pos);
- if(strcmp(surf_parse_text,section_name)==0) found=1;
-
- token=surf_parse();
- xbt_assert1((token==TOKEN_CLOSURE),"Parse error line %d",line_pos);
-
- if(found) return;
- }
-
- CRITICAL2("Could not find %s section in %s\n",section_name,file);
-}
-
-static void close_section(const char* section_name)
-{
- e_surf_token_t token;
-
- token=surf_parse();
- xbt_assert1((token==TOKEN_WORD),"Parse error line %d",line_pos);
- xbt_assert1((strcmp(surf_parse_text,"CPU")==0),
- "Closing section does not match the opening one (%s).",
- section_name);
-
- token=surf_parse();
- xbt_assert1((token==TOKEN_CLOSURE),"Parse error line %d",line_pos);
-
- surf_parse_close();
-}
-