src/xbt/xbt_str.c

   1 /* xbt_str.c - various helping functions to deal with strings               */
   2
   3 /* Copyright (c) 2007, 2008, 2009, 2010. The SimGrid Team.
   4  * All rights reserved.                                                     */
   5
   6 /* This program is free software; you can redistribute it and/or modify it
   7  * under the terms of the license (GNU LGPL) which comes with this package. */
   8
   9 #include "portable.h"
  10 #include "xbt/misc.h"
  11 #include "xbt/sysdep.h"
  12 #include "xbt/str.h"            /* headers of these functions */
  13 #include "xbt/strbuff.h"
  14 #include "xbt/matrix.h"         /* for the diff */
  15
  16 /**  @brief Strip whitespace (or other characters) from the end of a string.
  17  *
  18  * Strips the whitespaces from the end of s.
  19  * By default (when char_list=NULL), these characters get stripped:
  20  *
  21  *      - " "           (ASCII 32       (0x20)) space.
  22  *      - "\t"          (ASCII 9        (0x09)) tab.
  23  *      - "\n"          (ASCII 10       (0x0A)) line feed.
  24  *      - "\r"          (ASCII 13       (0x0D)) carriage return.
  25  *      - "\0"          (ASCII 0        (0x00)) NULL.
  26  *      - "\x0B"        (ASCII 11       (0x0B)) vertical tab.
  27  *
  28  * @param s The string to strip. Modified in place.
  29  * @param char_list A string which contains the characters you want to strip.
  30  *
  31  */
  32 void xbt_str_rtrim(char *s, const char *char_list)
  33 {
  34   char *cur = s;
  35   const char *__char_list = " \t\n\r\x0B";
  36   char white_char[256] = { 1, 0 };
  37
  38   if (!s)
  39     return;
  40
  41   if (!char_list) {
  42     while (*__char_list) {
  43       white_char[(unsigned char) *__char_list++] = 1;
  44     }
  45   } else {
  46     while (*char_list) {
  47       white_char[(unsigned char) *char_list++] = 1;
  48     }
  49   }
  50
  51   while (*cur)
  52     ++cur;
  53
  54   while ((cur >= s) && white_char[(unsigned char) *cur])
  55     --cur;
  56
  57   *++cur = '\0';
  58 }
  59
  60 /**  @brief Strip whitespace (or other characters) from the beginning of a string.
  61  *
  62  * Strips the whitespaces from the begining of s.
  63  * By default (when char_list=NULL), these characters get stripped:
  64  *
  65  *      - " "           (ASCII 32       (0x20)) space.
  66  *      - "\t"          (ASCII 9        (0x09)) tab.
  67  *      - "\n"          (ASCII 10       (0x0A)) line feed.
  68  *      - "\r"          (ASCII 13       (0x0D)) carriage return.
  69  *      - "\0"          (ASCII 0        (0x00)) NULL.
  70  *      - "\x0B"        (ASCII 11       (0x0B)) vertical tab.
  71  *
  72  * @param s The string to strip. Modified in place.
  73  * @param char_list A string which contains the characters you want to strip.
  74  *
  75  */
  76 void xbt_str_ltrim(char *s, const char *char_list)
  77 {
  78   char *cur = s;
  79   const char *__char_list = " \t\n\r\x0B";
  80   char white_char[256] = { 1, 0 };
  81
  82   if (!s)
  83     return;
  84
  85   if (!char_list) {
  86     while (*__char_list) {
  87       white_char[(unsigned char) *__char_list++] = 1;
  88     }
  89   } else {
  90     while (*char_list) {
  91       white_char[(unsigned char) *char_list++] = 1;
  92     }
  93   }
  94
  95   while (*cur && white_char[(unsigned char) *cur])
  96     ++cur;
  97
  98   memmove(s, cur, strlen(cur) + 1);
  99 }
 100
 101 /**  @brief Strip whitespace (or other characters) from the end and the begining of a string.
 102  *
 103  * Strips the whitespaces from both the beginning and the end of s.
 104  * By default (when char_list=NULL), these characters get stripped:
 105  *
 106  *      - " "           (ASCII 32       (0x20)) space.
 107  *      - "\t"          (ASCII 9        (0x09)) tab.
 108  *      - "\n"          (ASCII 10       (0x0A)) line feed.
 109  *      - "\r"          (ASCII 13       (0x0D)) carriage return.
 110  *      - "\0"          (ASCII 0        (0x00)) NULL.
 111  *      - "\x0B"        (ASCII 11       (0x0B)) vertical tab.
 112  *
 113  * @param s The string to strip.
 114  * @param char_list A string which contains the characters you want to strip.
 115  *
 116  */
 117 void xbt_str_trim(char *s, const char *char_list)
 118 {
 119
 120   if (!s)
 121     return;
 122
 123   xbt_str_rtrim(s, char_list);
 124   xbt_str_ltrim(s, char_list);
 125 }
 126
 127 /**  @brief Replace double whitespaces (but no other characters) from the string.
 128  *
 129  * The function modifies the string so that each time that several spaces appear,
 130  * they are replaced by a single space. It will only do so for spaces (ASCII 32, 0x20).
 131  *
 132  * @param s The string to strip. Modified in place.
 133  *
 134  */
 135 void xbt_str_strip_spaces(char *s)
 136 {
 137   char *p = s;
 138   int e = 0;
 139
 140   if (!s)
 141     return;
 142
 143   while (1) {
 144     if (!*p)
 145       goto end;
 146
 147     if (*p != ' ')
 148       break;
 149
 150     p++;
 151   }
 152
 153   e = 1;
 154
 155   do {
 156     if (e)
 157       *s++ = *p;
 158
 159     if (!*++p)
 160       goto end;
 161
 162     if (e ^ (*p != ' '))
 163       if ((e = !e))
 164         *s++ = ' ';
 165   } while (1);
 166
 167 end:
 168   *s = '\0';
 169 }
 170
 171 /** @brief Substitutes a char for another in a string
 172  *
 173  * @param str the string to modify
 174  * @param from char to search
 175  * @param to char to put instead
 176  * @param occurence number of changes to do (=0 means all)
 177  */
 178 void xbt_str_subst(char *str, char from, char to, int occurence)
 179 {
 180   char *p = str;
 181   while (*p != '\0') {
 182     if (*p == from) {
 183       *p = to;
 184       if (occurence == 1)
 185         return;
 186       occurence--;
 187     }
 188     p++;
 189   }
 190 }
 191
 192 /** @brief Replaces a set of variables by their values
 193  *
 194  * @param str where to apply the change
 195  * @param patterns what to change
 196  * @return The string modified
 197  *
 198  * Check xbt_strbuff_varsubst() for more details, and remember that the string may be reallocated (moved) in the process.
 199  */
 200
 201 char *xbt_str_varsubst(char *str, xbt_dict_t patterns)
 202 {
 203   xbt_strbuff_t buff = xbt_strbuff_new_from(str);
 204   char *res;
 205   xbt_strbuff_varsubst(buff, patterns);
 206   res = buff->data;
 207   xbt_strbuff_free_container(buff);
 208   return res;
 209 }
 210
 211
 212 /** @brief Splits a string into a dynar of strings
 213  *
 214  * @param s: the string to split
 215  * @param sep: a string of all chars to consider as separator.
 216  *
 217  * By default (with sep=NULL), these characters are used as separator:
 218  *
 219  *      - " "           (ASCII 32       (0x20)) space.
 220  *      - "\t"          (ASCII 9        (0x09)) tab.
 221  *      - "\n"          (ASCII 10       (0x0A)) line feed.
 222  *      - "\r"          (ASCII 13       (0x0D)) carriage return.
 223  *      - "\0"          (ASCII 0        (0x00)) NULL.
 224  *      - "\x0B"        (ASCII 11       (0x0B)) vertical tab.
 225  */
 226
 227 xbt_dynar_t xbt_str_split(const char *s, const char *sep)
 228 {
 229   xbt_dynar_t res = xbt_dynar_new(sizeof(char *), &xbt_free_ref);
 230   const char *p, *q;
 231   int done;
 232   const char *sep_dflt = " \t\n\r\x0B";
 233   char is_sep[256] = { 1, 0 };
 234
 235   /* check what are the separators */
 236   memset(is_sep, 0, sizeof(is_sep));
 237   if (!sep) {
 238     while (*sep_dflt)
 239       is_sep[(unsigned char) *sep_dflt++] = 1;
 240   } else {
 241     while (*sep)
 242       is_sep[(unsigned char) *sep++] = 1;
 243   }
 244   is_sep[0] = 1;                /* End of string is also separator */
 245
 246   /* Do the job */
 247   p = q = s;
 248   done = 0;
 249
 250   if (s[0] == '\0')
 251     return res;
 252
 253   while (!done) {
 254     char *topush;
 255     while (!is_sep[(unsigned char) *q]) {
 256       q++;
 257     }
 258     if (*q == '\0')
 259       done = 1;
 260
 261     topush = xbt_malloc(q - p + 1);
 262     memcpy(topush, p, q - p);
 263     topush[q - p] = '\0';
 264     xbt_dynar_push(res, &topush);
 265     p = ++q;
 266   }
 267
 268   return res;
 269 }
 270
 271 /**
 272  * \brief This functions splits a string after using another string as separator
 273  * For example A!!B!!C splitted after !! will return the dynar {A,B,C}
 274  * \return An array of dynars containing the string tokens
 275  */
 276 xbt_dynar_t xbt_str_split_str(const char *s, const char *sep)
 277 {
 278   xbt_dynar_t res = xbt_dynar_new(sizeof(char *), &xbt_free_ref);
 279   int done;
 280   const char *p, *q;
 281
 282   p = q = s;
 283   done = 0;
 284
 285   if (s[0] == '\0')
 286     return res;
 287   if (sep[0] == '\0') {
 288     s = xbt_strdup(s);
 289     xbt_dynar_push(res, &s);
 290     return res;
 291   }
 292
 293   while (!done) {
 294     char *to_push;
 295     int v = 0;
 296     //get the start of the first occurence of the substring
 297     q = strstr(p, sep);
 298     //if substring was not found add the entire string
 299     if (NULL == q) {
 300       v = strlen(p);
 301       to_push = malloc(v + 1);
 302       memcpy(to_push, p, v);
 303       to_push[v] = '\0';
 304       xbt_dynar_push(res, &to_push);
 305       done = 1;
 306     } else {
 307       //get the appearance
 308       to_push = malloc(q - p + 1);
 309       memcpy(to_push, p, q - p);
 310       //add string terminator
 311       to_push[q - p] = '\0';
 312       xbt_dynar_push(res, &to_push);
 313       p = q + strlen(sep);
 314     }
 315   }
 316   return res;
 317 }
 318
 319 /** @brief Just like @xbt_str_split_quoted (Splits a string into a dynar of strings), but without memory allocation
 320  *
 321  * The string passed as argument must be writable (not const)
 322  * The elements of the dynar are just parts of the string passed as argument.
 323  *
 324  * To free the structure constructed by this function, free the first element and free the dynar:
 325  *
 326  * free(xbt_dynar_get_ptr(dynar,0));
 327  * xbt_dynar_free(&dynar);
 328  */
 329 xbt_dynar_t xbt_str_split_quoted_in_place(char *s) {
 330   xbt_dynar_t res = xbt_dynar_new(sizeof(char *), NULL);
 331   char *beg, *end;              /* pointers around the parsed chunk */
 332   int in_simple_quote = 0, in_double_quote = 0;
 333   int done = 0;
 334   int ctn = 0;                  /* Got something in this block */
 335
 336   if (s[0] == '\0')
 337     return res;
 338
 339   beg = s;
 340
 341   /* do not trim leading spaces: caller responsability to clean his cruft */
 342   end = beg;
 343
 344   while (!done) {
 345
 346
 347     switch (*end) {
 348     case '\\':
 349       ctn = 1;
 350       /* Protected char; move it closer */
 351       memmove(end, end + 1, strlen(end));
 352       if (*end == '\0')
 353         THROW0(arg_error, 0, "String ends with \\");
 354       end++;                    /* Pass the protected char */
 355       break;
 356
 357     case '\'':
 358       ctn = 1;
 359       if (!in_double_quote) {
 360         in_simple_quote = !in_simple_quote;
 361         memmove(end, end + 1, strlen(end));
 362       } else {
 363         /* simple quote protected by double ones */
 364         end++;
 365       }
 366       break;
 367     case '"':
 368       ctn = 1;
 369       if (!in_simple_quote) {
 370         in_double_quote = !in_double_quote;
 371         memmove(end, end + 1, strlen(end));
 372       } else {
 373         /* double quote protected by simple ones */
 374         end++;
 375       }
 376       break;
 377
 378     case ' ':
 379     case '\t':
 380     case '\n':
 381     case '\0':
 382       if (*end == '\0' && (in_simple_quote || in_double_quote)) {
 383         THROW2(arg_error, 0,
 384                "End of string found while searching for %c in %s",
 385                (in_simple_quote ? '\'' : '"'), s);
 386       }
 387       if (in_simple_quote || in_double_quote) {
 388         end++;
 389       } else {
 390         if (*end == '\0')
 391           done = 1;
 392
 393         *end = '\0';
 394         if (ctn) {
 395           /* Found a separator. Push the string if contains something */
 396           xbt_dynar_push(res, &beg);
 397         }
 398         ctn = 0;
 399
 400         if (done)
 401           break;
 402
 403         beg = ++end;
 404         /* trim within the string, manually to speed things up */
 405         while (*beg == ' ')
 406           beg++;
 407         end = beg;
 408       }
 409       break;
 410
 411     default:
 412       ctn = 1;
 413       end++;
 414     }
 415   }
 416   return res;
 417 }
 418
 419 /** @brief Splits a string into a dynar of strings, taking quotes into account
 420  *
 421  * It basically does the same argument separation than the shell, where white
 422  * spaces can be escaped and where arguments are never split within a
 423  * quote group.
 424  * Several subsequent spaces are ignored (unless within quotes, of course).
 425  * You may want to trim the input string, if you want to avoid empty entries
 426  *
 427  */
 428
 429 xbt_dynar_t xbt_str_split_quoted(const char *s)
 430 {
 431   xbt_dynar_t res = xbt_dynar_new(sizeof(char *), &xbt_free_ref);
 432   xbt_dynar_t parsed;
 433   char *str_to_free;            /* we have to copy the string before, to handle backslashes */
 434   unsigned int cursor;
 435   char *p;
 436
 437   if (s[0] == '\0')
 438     return res;
 439   str_to_free = xbt_strdup(s);
 440
 441   parsed = xbt_str_split_quoted_in_place(str_to_free);
 442   xbt_dynar_foreach(parsed,cursor,p) {
 443     char *q=xbt_strdup(p);
 444     xbt_dynar_push(res,&q);
 445   }
 446   free(str_to_free);
 447   xbt_dynar_shrink(res, 0);
 448   xbt_dynar_free(&parsed);
 449   return res;
 450 }
 451
 452 #ifdef SIMGRID_TEST
 453 #include "xbt/str.h"
 454
 455 #define mytest(name, input, expected) \
 456   xbt_test_add0(name); \
 457   d=xbt_str_split_quoted(input); \
 458   s=xbt_str_join(d,"XXX"); \
 459   xbt_test_assert3(!strcmp(s,expected),\
 460                    "Input (%s) leads to (%s) instead of (%s)", \
 461                    input,s,expected);\
 462                    free(s); \
 463                    xbt_dynar_free(&d);
 464
 465 XBT_TEST_SUITE("xbt_str", "String Handling");
 466 XBT_TEST_UNIT("xbt_str_split_quoted", test_split_quoted, "test the function xbt_str_split_quoted")
 467 {
 468   xbt_dynar_t d;
 469   char *s;
 470
 471   mytest("Empty", "", "");
 472   mytest("Basic test", "toto tutu", "totoXXXtutu");
 473   mytest("Useless backslashes", "\\t\\o\\t\\o \\t\\u\\t\\u",
 474          "totoXXXtutu");
 475   mytest("Protected space", "toto\\ tutu", "toto tutu");
 476   mytest("Several spaces", "toto   tutu", "totoXXXtutu");
 477   mytest("LTriming", "  toto tatu", "totoXXXtatu");
 478   mytest("Triming", "  toto   tutu  ", "totoXXXtutu");
 479   mytest("Single quotes", "'toto tutu' tata", "toto tutuXXXtata");
 480   mytest("Double quotes", "\"toto tutu\" tata", "toto tutuXXXtata");
 481   mytest("Mixed quotes", "\"toto' 'tutu\" tata", "toto' 'tutuXXXtata");
 482   mytest("Backslashed quotes", "\\'toto tutu\\' tata",
 483          "'totoXXXtutu'XXXtata");
 484   mytest("Backslashed quotes + quotes", "'toto \\'tutu' tata",
 485          "toto 'tutuXXXtata");
 486
 487 }
 488
 489 #define mytest_str(name, input, separator, expected) \
 490   xbt_test_add0(name); \
 491   d=xbt_str_split_str(input, separator); \
 492   s=xbt_str_join(d,"XXX"); \
 493   xbt_test_assert3(!strcmp(s,expected),\
 494                    "Input (%s) leads to (%s) instead of (%s)", \
 495                    input,s,expected);\
 496                    free(s); \
 497                    xbt_dynar_free(&d);
 498
 499 XBT_TEST_UNIT("xbt_str_split_str", test_split_str, "test the function xbt_str_split_str")
 500 {
 501   xbt_dynar_t d;
 502   char *s;
 503
 504   mytest_str("Empty string and separator", "", "", "");
 505   mytest_str("Empty string", "", "##", "");
 506   mytest_str("Empty separator", "toto", "", "toto");
 507   mytest_str("String with no separator in it", "toto", "##", "toto");
 508   mytest_str("Basic test", "toto##tutu", "##", "totoXXXtutu");
 509 }
 510 #endif                          /* SIMGRID_TEST */
 511
 512 /** @brief Join a set of strings as a single string */
 513 char *xbt_str_join(xbt_dynar_t dyn, const char *sep)
 514 {
 515   int len = 1, dyn_len = xbt_dynar_length(dyn);
 516   unsigned int cpt;
 517   char *cursor;
 518   char *res, *p;
 519
 520   if (!dyn_len)
 521     return xbt_strdup("");
 522
 523   /* compute the length */
 524   xbt_dynar_foreach(dyn, cpt, cursor) {
 525     len += strlen(cursor);
 526   }
 527   len += strlen(sep) * dyn_len;
 528   /* Do the job */
 529   res = xbt_malloc(len);
 530   p = res;
 531   xbt_dynar_foreach(dyn, cpt, cursor) {
 532     if ((int) cpt < dyn_len - 1)
 533       p += sprintf(p, "%s%s", cursor, sep);
 534     else
 535       p += sprintf(p, "%s", cursor);
 536   }
 537   return res;
 538 }
 539 /** @brief Join a set of strings as a single string
 540  *
 541  * The parameter must be a NULL-terminated array of chars,
 542  * just like xbt_dynar_to_array() produces
 543  */
 544 char *xbt_str_join_array(char*const* strs, const char *sep)
 545 {
 546   char *res,*q;
 547   int amount_strings=0;
 548   int len=0;
 549   int i;
 550
 551   if ((!strs) || (!strs[0]))
 552     return xbt_strdup("");
 553
 554   /* compute the length before malloc */
 555   for (i=0;strs[i];i++) {
 556     len += strlen(strs[i]);
 557     amount_strings++;
 558   }
 559   len += strlen(sep) * amount_strings;
 560
 561   /* Do the job */
 562   q = res = xbt_malloc(len);
 563   for (i=0;strs[i];i++) {
 564     if (i!=0) { // not first loop
 565       q += sprintf(q, "%s%s", sep, strs[i]);
 566     } else {
 567       q += sprintf(q,"%s",strs[i]);
 568     }
 569   }
 570   return res;
 571 }
 572
 573 #if defined(SIMGRID_NEED_GETLINE) || defined(DOXYGEN)
 574 /** @brief Get a single line from the stream (reimplementation of the GNU getline)
 575  *
 576  * This is a redefinition of the GNU getline function, used on platforms where it does not exists.
 577  *
 578  * getline() reads an entire line from stream, storing the address of the buffer
 579  * containing the text into *buf.  The buffer is null-terminated and includes
 580  * the newline character, if one was found.
 581  *
 582  * If *buf is NULL, then getline() will allocate a buffer for storing the line,
 583  * which should be freed by the user program.  Alternatively, before calling getline(),
 584  * *buf can contain a pointer to a malloc()-allocated buffer *n bytes in size.  If the buffer
 585  * is not large enough to hold the line, getline() resizes it with realloc(), updating *buf and *n
 586  * as necessary.  In either case, on a successful call, *buf and *n will be updated to
 587  * reflect the buffer address and allocated size respectively.
 588  */
 589 long getline(char **buf, size_t * n, FILE * stream)
 590 {
 591
 592   size_t i;
 593   int ch;
 594
 595   if (!*buf) {
 596     *buf = xbt_malloc(512);
 597     *n = 512;
 598   }
 599
 600   if (feof(stream))
 601     return (ssize_t) - 1;
 602
 603   for (i = 0; (ch = fgetc(stream)) != EOF; i++) {
 604
 605     if (i >= (*n) + 1)
 606       *buf = xbt_realloc(*buf, *n += 512);
 607
 608     (*buf)[i] = ch;
 609
 610     if ((*buf)[i] == '\n') {
 611       i++;
 612       (*buf)[i] = '\0';
 613       break;
 614     }
 615   }
 616
 617   if (i == *n)
 618     *buf = xbt_realloc(*buf, *n += 1);
 619
 620   (*buf)[i] = '\0';
 621
 622   return (ssize_t) i;
 623 }
 624
 625 #endif                          /* HAVE_GETLINE */
 626
 627 /*
 628  * Diff related functions
 629  */
 630 static xbt_matrix_t diff_build_LCS(xbt_dynar_t da, xbt_dynar_t db)
 631 {
 632   xbt_matrix_t C =
 633       xbt_matrix_new(xbt_dynar_length(da), xbt_dynar_length(db),
 634                      sizeof(int), NULL);
 635   unsigned long i, j;
 636
 637   /* Compute the LCS */
 638   /*
 639      C = array(0..m, 0..n)
 640      for i := 0..m
 641      C[i,0] = 0
 642      for j := 1..n
 643      C[0,j] = 0
 644      for i := 1..m
 645      for j := 1..n
 646      if X[i] = Y[j]
 647      C[i,j] := C[i-1,j-1] + 1
 648      else:
 649      C[i,j] := max(C[i,j-1], C[i-1,j])
 650      return C[m,n]
 651    */
 652   if (xbt_dynar_length(db) != 0)
 653     for (i = 0; i < xbt_dynar_length(da); i++)
 654       *((int *) xbt_matrix_get_ptr(C, i, 0)) = 0;
 655
 656   if (xbt_dynar_length(da) != 0)
 657     for (j = 0; j < xbt_dynar_length(db); j++)
 658       *((int *) xbt_matrix_get_ptr(C, 0, j)) = 0;
 659
 660   for (i = 1; i < xbt_dynar_length(da); i++)
 661     for (j = 1; j < xbt_dynar_length(db); j++) {
 662
 663       if (!strcmp
 664           (xbt_dynar_get_as(da, i, char *),
 665            xbt_dynar_get_as(db, j, char *)))
 666         *((int *) xbt_matrix_get_ptr(C, i, j)) =
 667             xbt_matrix_get_as(C, i - 1, j - 1, int) + 1;
 668       else
 669         *((int *) xbt_matrix_get_ptr(C, i, j)) =
 670             max(xbt_matrix_get_as(C, i, j - 1, int),
 671                 xbt_matrix_get_as(C, i - 1, j, int));
 672     }
 673   return C;
 674 }
 675
 676 static void diff_build_diff(xbt_dynar_t res,
 677                             xbt_matrix_t C,
 678                             xbt_dynar_t da, xbt_dynar_t db, int i, int j)
 679 {
 680   char *topush;
 681   /* Construct the diff
 682      function printDiff(C[0..m,0..n], X[1..m], Y[1..n], i, j)
 683      if i > 0 and j > 0 and X[i] = Y[j]
 684      printDiff(C, X, Y, i-1, j-1)
 685      print "  " + X[i]
 686      else
 687      if j > 0 and (i = 0 or C[i,j-1] >= C[i-1,j])
 688      printDiff(C, X, Y, i, j-1)
 689      print "+ " + Y[j]
 690      else if i > 0 and (j = 0 or C[i,j-1] < C[i-1,j])
 691      printDiff(C, X, Y, i-1, j)
 692      print "- " + X[i]
 693    */
 694
 695   if (i >= 0 && j >= 0 && !strcmp(xbt_dynar_get_as(da, i, char *),
 696                                   xbt_dynar_get_as(db, j, char *))) {
 697     diff_build_diff(res, C, da, db, i - 1, j - 1);
 698     topush = bprintf("  %s", xbt_dynar_get_as(da, i, char *));
 699     xbt_dynar_push(res, &topush);
 700   } else if (j >= 0 &&
 701              (i <= 0 || j == 0
 702               || xbt_matrix_get_as(C, i, j - 1,
 703                                    int) >= xbt_matrix_get_as(C, i - 1, j,
 704                                                              int))) {
 705     diff_build_diff(res, C, da, db, i, j - 1);
 706     topush = bprintf("+ %s", xbt_dynar_get_as(db, j, char *));
 707     xbt_dynar_push(res, &topush);
 708   } else if (i >= 0 &&
 709              (j <= 0
 710               || xbt_matrix_get_as(C, i, j - 1, int) < xbt_matrix_get_as(C,
 711                                                                          i
 712                                                                          -
 713                                                                          1,
 714                                                                          j,
 715                                                                          int)))
 716   {
 717     diff_build_diff(res, C, da, db, i - 1, j);
 718     topush = bprintf("- %s", xbt_dynar_get_as(da, i, char *));
 719     xbt_dynar_push(res, &topush);
 720   } else if (i <= 0 && j <= 0) {
 721     return;
 722   } else {
 723     THROW2(arg_error, 0, "Invalid values: i=%d, j=%d", i, j);
 724   }
 725
 726 }
 727
 728 /** @brief Compute the unified diff of two strings */
 729 char *xbt_str_diff(char *a, char *b)
 730 {
 731   xbt_dynar_t da = xbt_str_split(a, "\n");
 732   xbt_dynar_t db = xbt_str_split(b, "\n");
 733
 734   xbt_matrix_t C = diff_build_LCS(da, db);
 735   xbt_dynar_t diff = xbt_dynar_new(sizeof(char *), &xbt_free_ref);
 736   char *res = NULL;
 737
 738   diff_build_diff(diff, C, da, db, xbt_dynar_length(da) - 1,
 739                   xbt_dynar_length(db) - 1);
 740   /* Clean empty lines at the end */
 741   while (xbt_dynar_length(diff) > 0) {
 742     char *str;
 743     xbt_dynar_pop(diff, &str);
 744     if (str[0] == '\0' || !strcmp(str, "  ")) {
 745       free(str);
 746     } else {
 747       xbt_dynar_push(diff, &str);
 748       break;
 749     }
 750   }
 751   res = xbt_str_join(diff, "\n");
 752
 753   xbt_dynar_free(&da);
 754   xbt_dynar_free(&db);
 755   xbt_dynar_free(&diff);
 756   xbt_matrix_free(C);
 757
 758   return res;
 759 }
 760
 761
 762 /** @brief creates a new string containing what can be read on a fd
 763  *
 764  */
 765 char *xbt_str_from_file(FILE * file)
 766 {
 767   xbt_strbuff_t buff = xbt_strbuff_new();
 768   char *res;
 769   char bread[1024];
 770   memset(bread, 0, 1024);
 771
 772   while (!feof(file)) {
 773     int got = fread(bread, 1, 1023, file);
 774     bread[got] = '\0';
 775     xbt_strbuff_append(buff, bread);
 776   }
 777
 778   res = buff->data;
 779   xbt_strbuff_free_container(buff);
 780   return res;
 781 }