src/evr.c

   1 /*
   2  * Copyright (c) 2007-2009, Novell Inc.
   3  *
   4  * This program is licensed under the BSD license, read LICENSE.BSD
   5  * for further information
   6  */
   7
   8 /*
   9  * evr.c
  10  *
  11  * version compare
  12  */
  13
  14 #include <ctype.h>
  15 #include <stdio.h>
  16 #include <string.h>
  17 #include "evr.h"
  18 #include "pool.h"
  19
  20
  21
  22 #if defined(DEBIAN) || defined(MULTI_SEMANTICS)
  23
  24 /* debian type version compare */
  25 int
  26 solv_vercmp_deb(const char *s1, const char *q1, const char *s2, const char *q2)
  27 {
  28   int r, c1, c2;
  29   while (1)
  30     {
  31       c1 = s1 < q1 ? *(const unsigned char *)s1++ : 0;
  32       c2 = s2 < q2 ? *(const unsigned char *)s2++ : 0;
  33       if ((c1 >= '0' && c1 <= '9') && (c2 >= '0' && c2 <= '9'))
  34         {
  35           while (c1 == '0')
  36             c1 = s1 < q1 ? *(const unsigned char *)s1++ : 0;
  37           while (c2 == '0')
  38             c2 = s2 < q2 ? *(const unsigned char *)s2++ : 0;
  39           r = 0;
  40           while ((c1 >= '0' && c1 <= '9') && (c2 >= '0' && c2 <= '9'))
  41             {
  42               if (!r)
  43                 r = c1 - c2;
  44               c1 = s1 < q1 ? *(const unsigned char *)s1++ : 0;
  45               c2 = s2 < q2 ? *(const unsigned char *)s2++ : 0;
  46             }
  47           if (c1 >= '0' && c1 <= '9')
  48             return 1;
  49           if (c2 >= '0' && c2 <= '9')
  50             return -1;
  51           if (r)
  52             return r < 0 ? -1 : 1;
  53         }
  54       c1 = c1 == '~' ? -1 : !c1 || (c1 >= '0' && c1 <= '9') || (c1 >= 'A' && c1 <= 'Z') || (c1 >= 'a' && c1 <= 'z')  ? c1 : c1 + 256;
  55       c2 = c2 == '~' ? -1 : !c2 || (c2 >= '0' && c2 <= '9') || (c2 >= 'A' && c2 <= 'Z') || (c2 >= 'a' && c2 <= 'z')  ? c2 : c2 + 256;
  56       r = c1 - c2;
  57       if (r)
  58         return r < 0 ? -1 : 1;
  59       if (!c1)
  60         return 0;
  61     }
  62 }
  63
  64 #endif
  65
  66 #if !defined(DEBIAN) || defined(MULTI_SEMANTICS)
  67
  68 /* rpm type version compare */
  69 /* note: the code assumes that *q1 and *q2 are not alphanumeric! */
  70
  71 int
  72 solv_vercmp_rpm(const char *s1, const char *q1, const char *s2, const char *q2)
  73 {
  74   int r = 0;
  75   const char *e1, *e2;
  76
  77   for (;;)
  78     {
  79       while (s1 < q1 && !(*s1 >= '0' && *s1 <= '9') &&
  80           !(*s1 >= 'a' && *s1 <= 'z') && !(*s1 >= 'A' && *s1 <= 'Z') && *s1 != '~')
  81         s1++;
  82       while (s2 < q2 && !(*s2 >= '0' && *s2 <= '9') &&
  83           !(*s2 >= 'a' && *s2 <= 'z') && !(*s2 >= 'A' && *s2 <= 'Z') && *s2 != '~')
  84         s2++;
  85       if (s1 < q1 && *s1 == '~')
  86         {
  87           if (s2 < q2 && *s2 == '~')
  88             {
  89               s1++;
  90               s2++;
  91               continue;
  92             }
  93           return -1;
  94         }
  95       if (s2 < q2 && *s2 == '~')
  96         return 1;
  97       if (s1 >= q1 || s2 >= q2)
  98         break;
  99       if ((*s1 >= '0' && *s1 <= '9') || (*s2 >= '0' && *s2 <= '9'))
 100         {
 101           while (*s1 == '0' && s1[1] >= '0' && s1[1] <= '9')
 102             s1++;
 103           while (*s2 == '0' && s2[1] >= '0' && s2[1] <= '9')
 104             s2++;
 105           for (e1 = s1; *e1 >= '0' && *e1 <= '9'; )
 106             e1++;
 107           for (e2 = s2; *e2 >= '0' && *e2 <= '9'; )
 108             e2++;
 109           r = (e1 - s1) - (e2 - s2);
 110           if (!r)
 111             r = strncmp(s1, s2, e1 - s1);
 112           if (r)
 113             return r > 0 ? 1 : -1;
 114         }
 115       else
 116         {
 117           for (e1 = s1; (*e1 >= 'a' && *e1 <= 'z') || (*e1 >= 'A' && *e1 <= 'Z'); )
 118             e1++;
 119           for (e2 = s2; (*e2 >= 'a' && *e2 <= 'z') || (*e2 >= 'A' && *e2 <= 'Z'); )
 120             e2++;
 121           r = (e1 - s1) - (e2 - s2);
 122           if (r > 0)
 123             {
 124               r = strncmp(s1, s2, e2 - s2);
 125               return r >= 0 ? 1 : -1;
 126             }
 127           if (r < 0)
 128             {
 129               r = strncmp(s1, s2, e1 - s1);
 130               return r <= 0 ? -1 : 1;
 131             }
 132           r = strncmp(s1, s2, e1 - s1);
 133           if (r)
 134             return r > 0 ? 1 : -1;
 135         }
 136       s1 = e1;
 137       s2 = e2;
 138     }
 139   return s1 < q1 ? 1 : s2 < q2 ? -1 : 0;
 140 }
 141
 142 int
 143 solv_vercmp_rpm_notilde(const char *s1, const char *q1, const char *s2, const char *q2)
 144 {
 145   int r = 0;
 146   const char *e1, *e2;
 147
 148   while (s1 < q1 && s2 < q2)
 149     {
 150       while (s1 < q1 && !(*s1 >= '0' && *s1 <= '9') &&
 151           !(*s1 >= 'a' && *s1 <= 'z') && !(*s1 >= 'A' && *s1 <= 'Z'))
 152         s1++;
 153       while (s2 < q2 && !(*s2 >= '0' && *s2 <= '9') &&
 154           !(*s2 >= 'a' && *s2 <= 'z') && !(*s2 >= 'A' && *s2 <= 'Z'))
 155         s2++;
 156       if ((*s1 >= '0' && *s1 <= '9') || (*s2 >= '0' && *s2 <= '9'))
 157         {
 158           while (*s1 == '0' && s1[1] >= '0' && s1[1] <= '9')
 159             s1++;
 160           while (*s2 == '0' && s2[1] >= '0' && s2[1] <= '9')
 161             s2++;
 162           for (e1 = s1; *e1 >= '0' && *e1 <= '9'; )
 163             e1++;
 164           for (e2 = s2; *e2 >= '0' && *e2 <= '9'; )
 165             e2++;
 166           r = (e1 - s1) - (e2 - s2);
 167           if (!r)
 168             r = strncmp(s1, s2, e1 - s1);
 169           if (r)
 170             return r > 0 ? 1 : -1;
 171         }
 172       else
 173         {
 174           for (e1 = s1; (*e1 >= 'a' && *e1 <= 'z') || (*e1 >= 'A' && *e1 <= 'Z'); )
 175             e1++;
 176           for (e2 = s2; (*e2 >= 'a' && *e2 <= 'z') || (*e2 >= 'A' && *e2 <= 'Z'); )
 177             e2++;
 178           r = (e1 - s1) - (e2 - s2);
 179           if (r > 0)
 180             {
 181               r = strncmp(s1, s2, e2 - s2);
 182               return r >= 0 ? 1 : -1;
 183             }
 184           if (r < 0)
 185             {
 186               r = strncmp(s1, s2, e1 - s1);
 187               return r <= 0 ? -1 : 1;
 188             }
 189           r = strncmp(s1, s2, e1 - s1);
 190           if (r)
 191             return r > 0 ? 1 : -1;
 192         }
 193       s1 = e1;
 194       s2 = e2;
 195     }
 196   return s1 < q1 ? 1 : s2 < q2 ? -1 : 0;
 197 }
 198
 199 #endif
 200
 201 #if defined(HAIKU) || defined(MULTI_SEMANTICS)
 202
 203 static int
 204 solv_cmp_version_part_haiku(const char *s1, const char *q1, const char *s2,
 205   const char *q2)
 206 {
 207   while (s1 < q1 && s2 < q2)
 208     {
 209       int cmp, len1, len2;
 210       const char *part1 = s1, *part2 = s2;
 211
 212       /* compare non-number part */
 213       while (s1 < q1 && !isdigit(*s1))
 214         s1++;
 215       while (s2 < q2 && !isdigit(*s2))
 216         s2++;
 217
 218       if (part1 != s1)
 219         {
 220           if (part2 == s2)
 221             return 1;
 222
 223           len1 = s1 - part1;
 224           len2 = s2 - part2;
 225           cmp = strncmp(part1, part2, len1 < len2 ? len1 : len2);
 226           if (cmp != 0)
 227             return cmp;
 228           if (len1 != len2)
 229             return len1 - len2;
 230        }
 231       else if (part2 != s2)
 232         return -1;
 233
 234       /* compare number part */
 235       part1 = s1;
 236       part2 = s2;
 237
 238       while (s1 < q1 && isdigit(*s1))
 239         s1++;
 240       while (s2 < q2 && isdigit(*s2))
 241         s2++;
 242
 243       while (part1 + 1 < s1 && *part1 == '0')
 244         part1++;
 245       while (part2 + 1 < s1 && *part2 == '0')
 246         part2++;
 247
 248       len1 = s1 - part1;
 249       len2 = s2 - part2;
 250       if (len1 != len2)
 251         return len1 - len2;
 252       if (len1 == 0)
 253         return 0;
 254
 255       cmp = strncmp(part1, part2, len1);
 256       if (cmp != 0)
 257        return cmp;
 258     }
 259
 260   return s1 < q1 ? 1 : s2 < q2 ? -1 : 0;
 261 }
 262
 263 int
 264 solv_vercmp_haiku(const char *s1, const char *q1, const char *s2, const char *q2)
 265 {
 266   const char *pre1 = s1;
 267   const char *pre2 = s2;
 268   int cmp;
 269
 270   /* find pre-release separator */
 271   while (pre1 != q1 && *pre1 != '~')
 272     pre1++;
 273   while (pre2 != q2 && *pre2 != '~')
 274     pre2++;
 275
 276   /* compare main versions */
 277   cmp = solv_cmp_version_part_haiku(s1, pre1, s2, pre2);
 278   if (cmp != 0)
 279     return cmp < 0 ? -1 : 1; /* must return -1, 0, or 1 */
 280
 281   /* main versions are equal -- compare pre-release (none is greatest) */
 282   if (pre1 == q1)
 283     return pre2 == q2 ? 0 : 1;
 284   if (pre2 == q2)
 285     return -1;
 286
 287   return solv_cmp_version_part_haiku(pre1 + 1, q1, pre2 + 1, q2);
 288 }
 289
 290 #endif /* HAIKU */
 291
 292
 293 /*
 294  * the solv_vercmp variant your system uses.
 295  */
 296 int
 297 solv_vercmp(const char *s1, const char *q1, const char *s2, const char *q2)
 298 {
 299 #if defined(DEBIAN)
 300   return solv_vercmp_deb(s1, q1, s2, q2);
 301 #elif defined(ARCHLINUX)
 302   return solv_vercmp_rpm_notilde(s1, q1, s2, q2);
 303 #elif defined(HAIKU)
 304   return solv_vercmp_haiku(s1, q1, s2, q2);
 305 #else
 306   return solv_vercmp_rpm(s1, q1, s2, q2);
 307 #endif
 308 }
 309
 310 #if defined(MULTI_SEMANTICS)
 311 # define solv_vercmp (*(pool->disttype == DISTTYPE_DEB ? &solv_vercmp_deb : \
 312                         pool->disttype == DISTTYPE_HAIKU ? solv_vercmp_haiku : \
 313                         &solv_ver##cmp_rpm))
 314 #elif defined(DEBIAN)
 315 # define solv_vercmp solv_vercmp_deb
 316 #elif defined(ARCHLINUX)
 317 # define solv_vercmp solv_vercmp_rpm_notilde
 318 #elif defined(HAIKU)
 319 # define solv_vercmp solv_vercmp_haiku
 320 #else
 321 # define solv_vercmp solv_vercmp_rpm
 322 #endif
 323
 324 /* edition (e:v-r) compare */
 325 int
 326 pool_evrcmp_str(const Pool *pool, const char *evr1, const char *evr2, int mode)
 327 {
 328   int r;
 329   const char *s1, *s2;
 330   const char *r1, *r2;
 331
 332   if (evr1 == evr2)
 333     return 0;
 334
 335 #if 0
 336   POOL_DEBUG(DEBUG_EVRCMP, "evrcmp %s %s mode=%d\n", evr1, evr2, mode);
 337 #endif
 338   for (s1 = evr1; *s1 >= '0' && *s1 <= '9'; s1++)
 339     ;
 340   for (s2 = evr2; *s2 >= '0' && *s2 <= '9'; s2++)
 341     ;
 342   if (mode == EVRCMP_MATCH && (*evr1 == ':' || *evr2 == ':'))
 343     {
 344       /* empty epoch, skip epoch check */
 345       if (*s1 == ':')
 346         evr1 = s1 + 1;
 347       if (*s2 == ':')
 348         evr2 = s2 + 1;
 349       s1 = evr1;
 350       s2 = evr2;
 351     }
 352
 353   /* compare the epoch */
 354   if (s1 == evr1 || *s1 != ':')
 355     s1 = 0;
 356   if (s2 == evr2 || *s2 != ':')
 357     s2 = 0;
 358   if (s1 && s2)
 359     {
 360       r = solv_vercmp(evr1, s1, evr2, s2);
 361       if (r)
 362         return r;
 363       evr1 = s1 + 1;
 364       evr2 = s2 + 1;
 365     }
 366   else if (s1)
 367     {
 368       if (!pool->promoteepoch)
 369         {
 370           while (*evr1 == '0')
 371             evr1++;
 372           if (*evr1 != ':')
 373             return 1;
 374         }
 375       evr1 = s1 + 1;
 376     }
 377   else if (s2)
 378     {
 379       while (*evr2 == '0')
 380         evr2++;
 381       if (*evr2 != ':')
 382         return -1;
 383       evr2 = s2 + 1;
 384     }
 385
 386   /* same epoch, now split into version/release */
 387   for (s1 = evr1, r1 = 0; *s1; s1++)
 388     if (*s1 == '-')
 389       r1 = s1;
 390   for (s2 = evr2, r2 = 0; *s2; s2++)
 391     if (*s2 == '-')
 392       r2 = s2;
 393   r = 0;
 394   if (mode != EVRCMP_MATCH || (evr1 != (r1 ? r1 : s1) && evr2 != (r2 ? r2 : s2)))
 395     r = solv_vercmp(evr1, r1 ? r1 : s1, evr2, r2 ? r2 : s2);
 396   if (r)
 397     return r;
 398
 399   if (mode == EVRCMP_COMPARE)
 400     {
 401       if (!r1 && r2)
 402         return -1;
 403       if (r1 && !r2)
 404         return 1;
 405     }
 406   if (mode == EVRCMP_COMPARE_EVONLY)
 407     return 0;
 408   if (mode == EVRCMP_MATCH_RELEASE)
 409     {
 410       /* rpm treats empty releases as missing, i.e "foo = 4-" is the same as "foo = 4" */
 411       if (r1 && r1 + 1 == s1)
 412         r1 = 0;
 413       if (r2 && r2 + 1 == s2)
 414         r2 = 0;
 415     }
 416   if (r1 && r2)
 417     {
 418       r1++;
 419       r2++;
 420       if (mode != EVRCMP_MATCH || (s1 != r1 && s2 != r2))
 421         {
 422           if (pool->havedistepoch)
 423             {
 424               const char *d1, *d2;
 425               for (d1 = r1; d1 < s1; d1++)
 426                 if (*d1 == ':')
 427                   break;
 428               for (d2 = r2; d2 < s2; d2++)
 429                 if (*d2 == ':')
 430                   break;
 431               /* XXX: promote just in one direction? */
 432               r = solv_vercmp(r1, d1 ? d1 : s1, r2, d2 ? d2 : s2);
 433               if (r == 0 && d1 < s1 && d2 < s2)
 434                 r = solv_vercmp(d1 + 1, s1, d2 + 1, s2);
 435             }
 436           else
 437             r = solv_vercmp(r1, s1, r2, s2);
 438         }
 439     }
 440   else if (mode == EVRCMP_MATCH_RELEASE)
 441     {
 442       if (!r1 && r2)
 443         return -2;
 444       if (r1 && !r2)
 445         return 2;
 446     }
 447   return r;
 448 }
 449
 450 int
 451 pool_evrcmp(const Pool *pool, Id evr1id, Id evr2id, int mode)
 452 {
 453   const char *evr1, *evr2;
 454   if (evr1id == evr2id)
 455     return 0;
 456   evr1 = pool_id2str(pool, evr1id);
 457   evr2 = pool_id2str(pool, evr2id);
 458   return pool_evrcmp_str(pool, evr1, evr2, mode);
 459 }
 460
 461 int
 462 pool_evrmatch(const Pool *pool, Id evrid, const char *epoch, const char *version, const char *release)
 463 {
 464   const char *evr1;
 465   const char *s1;
 466   const char *r1;
 467   int r;
 468
 469   evr1 = pool_id2str(pool, evrid);
 470   for (s1 = evr1; *s1 >= '0' && *s1 <= '9'; s1++)
 471     ;
 472   if (s1 != evr1 && *s1 == ':')
 473     {
 474       if (epoch)
 475         {
 476           r = solv_vercmp(evr1, s1, epoch, epoch + strlen(epoch));
 477           if (r)
 478             return r;
 479         }
 480       evr1 = s1 + 1;
 481     }
 482   else if (epoch)
 483     {
 484       while (*epoch == '0')
 485         epoch++;
 486       if (*epoch)
 487         return -1;
 488     }
 489   for (s1 = evr1, r1 = 0; *s1; s1++)
 490     if (*s1 == '-')
 491       r1 = s1;
 492   if (version)
 493     {
 494       r = solv_vercmp(evr1, r1 ? r1 : s1, version, version + strlen(version));
 495       if (r)
 496         return r;
 497     }
 498   if (release)
 499     {
 500       if (!r1)
 501         return -1;
 502       r = solv_vercmp(r1 + 1, s1, release, release + strlen(release));
 503       if (r)
 504         return r;
 505     }
 506   return 0;
 507 }
 508