fix .src matching .src and .nosrc packages
[platform/upstream/libsolv.git] / src / solvable.c
1 /*
2  * Copyright (c) 2008, Novell Inc.
3  *
4  * This program is licensed under the BSD license, read LICENSE.BSD
5  * for further information
6  */
7
8 /*
9  * solvable.c
10  *
11  * set/retrieve data from solvables
12  */
13
14 #include <stdio.h>
15 #include <stdlib.h>
16 #include <stdarg.h>
17 #include <unistd.h>
18 #include <string.h>
19
20 #include "pool.h"
21 #include "repo.h"
22 #include "util.h"
23 #include "chksum.h"
24
25 const char *
26 pool_solvable2str(Pool *pool, Solvable *s)
27 {
28   const char *n, *e, *a;
29   int nl, el, al;
30   char *p;
31   n = pool_id2str(pool, s->name);
32   e = pool_id2str(pool, s->evr);
33   /* XXX: may want to skip the epoch here */
34   a = pool_id2str(pool, s->arch);
35   nl = strlen(n);
36   el = strlen(e);
37   al = strlen(a);
38   if (pool->havedistepoch)
39     {
40       /* strip the distepoch from the evr */
41       const char *de = strrchr(e, '-');
42       if (de && (de = strchr(de, ':')) != 0)
43         el = de - e;
44     }
45   p = pool_alloctmpspace(pool, nl + el + al + 3);
46   strcpy(p, n);
47   p[nl] = '-';
48   strncpy(p + nl + 1, e, el);
49   p[nl + 1 + el] = '.';
50   strcpy(p + nl + 1 + el + 1, a);
51   return p;
52 }
53
54 Id
55 solvable_lookup_type(Solvable *s, Id keyname)
56 {
57   if (!s->repo)
58     return 0;
59   return repo_lookup_type(s->repo, s - s->repo->pool->solvables, keyname);
60 }
61
62 Id
63 solvable_lookup_id(Solvable *s, Id keyname)
64 {
65   if (!s->repo)
66     return 0;
67   return repo_lookup_id(s->repo, s - s->repo->pool->solvables, keyname);
68 }
69
70 int
71 solvable_lookup_idarray(Solvable *s, Id keyname, Queue *q)
72 {
73   if (!s->repo)
74     {
75       queue_empty(q);
76       return 0;
77     }
78   return repo_lookup_idarray(s->repo, s - s->repo->pool->solvables, keyname, q);
79 }
80
81 int
82 solvable_lookup_deparray(Solvable *s, Id keyname, Queue *q, Id marker)
83 {
84   if (!s->repo)
85     {
86       queue_empty(q);
87       return 0;
88     }
89   return repo_lookup_deparray(s->repo, s - s->repo->pool->solvables, keyname, q, marker);
90 }
91
92 const char *
93 solvable_lookup_str(Solvable *s, Id keyname)
94 {
95   if (!s->repo)
96     return 0;
97   return repo_lookup_str(s->repo, s - s->repo->pool->solvables, keyname);
98 }
99
100 static const char *
101 solvable_lookup_str_base(Solvable *s, Id keyname, Id basekeyname, int usebase)
102 {
103   Pool *pool;
104   const char *str, *basestr;
105   Id p, pp;
106   Solvable *s2;
107   int pass;
108
109   if (!s->repo)
110     return 0;
111   pool = s->repo->pool;
112   str = solvable_lookup_str(s, keyname);
113   if (str || keyname == basekeyname)
114     return str;
115   basestr = solvable_lookup_str(s, basekeyname);
116   if (!basestr)
117     return 0;
118   /* search for a solvable with same name and same base that has the
119    * translation */
120   if (!pool->whatprovides)
121     return usebase ? basestr : 0;
122   /* we do this in two passes, first same vendor, then all other vendors */
123   for (pass = 0; pass < 2; pass++)
124     {
125       FOR_PROVIDES(p, pp, s->name)
126         {
127           s2 = pool->solvables + p;
128           if (s2->name != s->name)
129             continue;
130           if ((s->vendor == s2->vendor) != (pass == 0))
131             continue;
132           str = solvable_lookup_str(s2, basekeyname);
133           if (!str || strcmp(str, basestr))
134             continue;
135           str = solvable_lookup_str(s2, keyname);
136           if (str)
137             return str;
138         }
139     }
140   return usebase ? basestr : 0;
141 }
142
143 const char *
144 solvable_lookup_str_poollang(Solvable *s, Id keyname)
145 {
146   Pool *pool;
147   int i, cols;
148   const char *str;
149   Id *row;
150
151   if (!s->repo)
152     return 0;
153   pool = s->repo->pool;
154   if (!pool->nlanguages)
155     return solvable_lookup_str(s, keyname);
156   cols = pool->nlanguages + 1;
157   if (!pool->languagecache)
158     {
159       pool->languagecache = solv_calloc(cols * ID_NUM_INTERNAL, sizeof(Id));
160       pool->languagecacheother = 0;
161     }
162   if (keyname >= ID_NUM_INTERNAL)
163     {
164       row = pool->languagecache + ID_NUM_INTERNAL * cols;
165       for (i = 0; i < pool->languagecacheother; i++, row += cols)
166         if (*row == keyname)
167           break;
168       if (i >= pool->languagecacheother)
169         {
170           pool->languagecache = solv_realloc2(pool->languagecache, pool->languagecacheother + 1, cols * sizeof(Id));
171           row = pool->languagecache + cols * (ID_NUM_INTERNAL + pool->languagecacheother++);
172           *row = keyname;
173         }
174     }
175   else
176     row = pool->languagecache + keyname * cols;
177   row++;        /* skip keyname */
178   for (i = 0; i < pool->nlanguages; i++, row++)
179     {
180       if (!*row)
181         *row = pool_id2langid(pool, keyname, pool->languages[i], 1);
182       str = solvable_lookup_str_base(s, *row, keyname, 0);
183       if (str)
184         return str;
185     }
186   return solvable_lookup_str(s, keyname);
187 }
188
189 const char *
190 solvable_lookup_str_lang(Solvable *s, Id keyname, const char *lang, int usebase)
191 {
192   if (s->repo)
193     {
194       Id id = pool_id2langid(s->repo->pool, keyname, lang, 0);
195       if (id)
196         return solvable_lookup_str_base(s, id, keyname, usebase);
197       if (!usebase)
198         return 0;
199     }
200   return solvable_lookup_str(s, keyname);
201 }
202
203 unsigned long long
204 solvable_lookup_num(Solvable *s, Id keyname, unsigned long long notfound)
205 {
206   if (!s->repo)
207     return notfound;
208   return repo_lookup_num(s->repo, s - s->repo->pool->solvables, keyname, notfound);
209 }
210
211 unsigned int
212 solvable_lookup_sizek(Solvable *s, Id keyname, unsigned int notfound)
213 {
214   unsigned long long size;
215   if (!s->repo)
216     return notfound;
217   size = solvable_lookup_num(s, keyname, (unsigned long long)notfound << 10);
218   return (unsigned int)((size + 1023) >> 10);
219 }
220
221 int
222 solvable_lookup_void(Solvable *s, Id keyname)
223 {
224   if (!s->repo)
225     return 0;
226   return repo_lookup_void(s->repo, s - s->repo->pool->solvables, keyname);
227 }
228
229 int
230 solvable_lookup_bool(Solvable *s, Id keyname)
231 {
232   if (!s->repo)
233     return 0;
234   /* historic nonsense: there are two ways of storing a bool, as num == 1 or void. test both. */
235   if (repo_lookup_type(s->repo, s - s->repo->pool->solvables, keyname) == REPOKEY_TYPE_VOID)
236     return 1;
237   return repo_lookup_num(s->repo, s - s->repo->pool->solvables, keyname, 0) == 1;
238 }
239
240 const unsigned char *
241 solvable_lookup_bin_checksum(Solvable *s, Id keyname, Id *typep)
242 {
243   Repo *repo = s->repo;
244
245   if (!repo)
246     {
247       *typep = 0;
248       return 0;
249     }
250   return repo_lookup_bin_checksum(repo, s - repo->pool->solvables, keyname, typep);
251 }
252
253 const char *
254 solvable_lookup_checksum(Solvable *s, Id keyname, Id *typep)
255 {
256   const unsigned char *chk = solvable_lookup_bin_checksum(s, keyname, typep);
257   return chk ? pool_bin2hex(s->repo->pool, chk, solv_chksum_len(*typep)) : 0;
258 }
259
260 static inline const char *
261 evrid2vrstr(Pool *pool, Id evrid)
262 {
263   const char *p, *evr = pool_id2str(pool, evrid);
264   if (!evr)
265     return evr;
266   for (p = evr; *p >= '0' && *p <= '9'; p++)
267     ;
268   return p != evr && *p == ':' && p[1] ? p + 1 : evr;
269 }
270
271 const char *
272 solvable_get_location(Solvable *s, unsigned int *medianrp)
273 {
274   Pool *pool;
275   int l = 0;
276   char *loc;
277   const char *mediadir, *mediafile;
278
279   if (medianrp)
280     *medianrp = 0;
281   if (!s->repo)
282     return 0;
283   pool = s->repo->pool;
284   if (medianrp)
285     *medianrp = solvable_lookup_num(s, SOLVABLE_MEDIANR, 1);
286   if (solvable_lookup_void(s, SOLVABLE_MEDIADIR))
287     mediadir = pool_id2str(pool, s->arch);
288   else
289     mediadir = solvable_lookup_str(s, SOLVABLE_MEDIADIR);
290   if (mediadir)
291     l = strlen(mediadir) + 1;
292   if (solvable_lookup_void(s, SOLVABLE_MEDIAFILE))
293     {
294       const char *name, *evr, *arch;
295       name = pool_id2str(pool, s->name);
296       evr = evrid2vrstr(pool, s->evr);
297       arch = pool_id2str(pool, s->arch);
298       /* name-vr.arch.rpm */
299       loc = pool_alloctmpspace(pool, l + strlen(name) + strlen(evr) + strlen(arch) + 7);
300       if (mediadir)
301         sprintf(loc, "%s/%s-%s.%s.rpm", mediadir, name, evr, arch);
302       else
303         sprintf(loc, "%s-%s.%s.rpm", name, evr, arch);
304     }
305   else
306     {
307       mediafile = solvable_lookup_str(s, SOLVABLE_MEDIAFILE);
308       if (!mediafile)
309         return 0;
310       loc = pool_alloctmpspace(pool, l + strlen(mediafile) + 1);
311       if (mediadir)
312         sprintf(loc, "%s/%s", mediadir, mediafile);
313       else
314         strcpy(loc, mediafile);
315     }
316   return loc;
317 }
318
319 const char *
320 solvable_lookup_sourcepkg(Solvable *s)
321 {
322   Pool *pool;
323   const char *evr, *name;
324   Id archid;
325
326   if (!s->repo)
327     return 0;
328   pool = s->repo->pool;
329   if (solvable_lookup_void(s, SOLVABLE_SOURCENAME))
330     name = pool_id2str(pool, s->name);
331   else
332     name = solvable_lookup_str(s, SOLVABLE_SOURCENAME);
333   if (!name)
334     return 0;
335   archid = solvable_lookup_id(s, SOLVABLE_SOURCEARCH);
336   if (solvable_lookup_void(s, SOLVABLE_SOURCEEVR))
337     evr = evrid2vrstr(pool, s->evr);
338   else
339     evr = solvable_lookup_str(s, SOLVABLE_SOURCEEVR);
340   if (archid == ARCH_SRC || archid == ARCH_NOSRC)
341     {
342       char *str;
343       str = pool_tmpjoin(pool, name, evr ? "-" : 0, evr);
344       str = pool_tmpappend(pool, str, ".", pool_id2str(pool, archid));
345       return pool_tmpappend(pool, str, ".rpm", 0);
346     }
347   else 
348     return name;        /* FIXME */
349 }
350
351
352 /*****************************************************************************/
353
354 static inline Id dep2name(Pool *pool, Id dep)
355 {
356   while (ISRELDEP(dep))
357     {
358       Reldep *rd = rd = GETRELDEP(pool, dep);
359       dep = rd->name;
360     }
361   return dep;
362 }
363
364 static int providedbyinstalled_multiversion(Pool *pool, Map *installed, Id n, Id con) 
365 {
366   Id p, pp;
367   Solvable *sn = pool->solvables + n; 
368
369   FOR_PROVIDES(p, pp, sn->name)
370     {    
371       Solvable *s = pool->solvables + p; 
372       if (s->name != sn->name || s->arch != sn->arch)
373         continue;
374       if (!MAPTST(installed, p))
375         continue;
376       if (pool_match_nevr(pool, pool->solvables + p, con))
377         continue;
378       return 1;         /* found installed package that doesn't conflict */
379     }    
380   return 0;
381 }
382
383 static inline int providedbyinstalled(Pool *pool, Map *installed, Id dep, int ispatch, Map *noobsoletesmap)
384 {
385   Id p, pp;
386   FOR_PROVIDES(p, pp, dep)
387     {
388       if (p == SYSTEMSOLVABLE)
389         return -1;
390       if (ispatch && !pool_match_nevr(pool, pool->solvables + p, dep))
391         continue;
392       if (ispatch && noobsoletesmap && noobsoletesmap->size && MAPTST(noobsoletesmap, p) && ISRELDEP(dep))
393         if (providedbyinstalled_multiversion(pool, installed, p, dep))
394           continue;
395       if (MAPTST(installed, p))
396         return 1;
397     }
398   return 0;
399 }
400
401 /*
402  * solvable_trivial_installable_map - anwers is a solvable is installable
403  * without any other installs/deinstalls.
404  * The packages considered to be installed are provided via the
405  * installedmap bitmap. A additional "conflictsmap" bitmap providing
406  * information about the conflicts of the installed packages can be
407  * used for extra speed up. Provide a NULL pointer if you do not
408  * have this information.
409  * Both maps can be created with pool_create_state_maps() or
410  * solver_create_state_maps().
411  *
412  * returns:
413  * 1:  solvable is installable without any other package changes
414  * 0:  solvable is not installable
415  * -1: solvable is installable, but doesn't constrain any installed packages
416  */
417 int
418 solvable_trivial_installable_map(Solvable *s, Map *installedmap, Map *conflictsmap, Map *noobsoletesmap)
419 {
420   Pool *pool = s->repo->pool;
421   Solvable *s2;
422   Id p, *dp;
423   Id *reqp, req;
424   Id *conp, con;
425   int r, interesting = 0;
426
427   if (conflictsmap && MAPTST(conflictsmap, s - pool->solvables))
428     return 0;
429   if (s->requires)
430     {
431       reqp = s->repo->idarraydata + s->requires;
432       while ((req = *reqp++) != 0)
433         {
434           if (req == SOLVABLE_PREREQMARKER)
435             continue;
436           r = providedbyinstalled(pool, installedmap, req, 0, 0);
437           if (!r)
438             return 0;
439           if (r > 0)
440             interesting = 1;
441         }
442     }
443   if (s->conflicts)
444     {
445       int ispatch = 0;
446
447       if (!strncmp("patch:", pool_id2str(pool, s->name), 6))
448         ispatch = 1;
449       conp = s->repo->idarraydata + s->conflicts;
450       while ((con = *conp++) != 0)
451         {
452           if (providedbyinstalled(pool, installedmap, con, ispatch, noobsoletesmap))
453             return 0;
454           if (!interesting && ISRELDEP(con))
455             {
456               con = dep2name(pool, con);
457               if (providedbyinstalled(pool, installedmap, con, ispatch, noobsoletesmap))
458                 interesting = 1;
459             }
460         }
461     }
462 #if 0
463   if (s->repo)
464     {
465       Id *obsp, obs;
466       Repo *installed = 0;
467       if (s->obsoletes && s->repo != installed)
468         {
469           obsp = s->repo->idarraydata + s->obsoletes;
470           while ((obs = *obsp++) != 0)
471             {
472               if (providedbyinstalled(pool, installedmap, obs, 0, 0))
473                 return 0;
474             }
475         }
476       if (s->repo != installed)
477         {
478           Id pp;
479           FOR_PROVIDES(p, pp, s->name)
480             {
481               s2 = pool->solvables + p;
482               if (s2->repo == installed && s2->name == s->name)
483                 return 0;
484             }
485         }
486     }
487 #endif
488   if (!conflictsmap)
489     {
490       int i;
491
492       p = s - pool->solvables;
493       for (i = 1; i < pool->nsolvables; i++)
494         {
495           if (!MAPTST(installedmap, i))
496             continue;
497           s2 = pool->solvables + i;
498           if (!s2->conflicts)
499             continue;
500           conp = s2->repo->idarraydata + s2->conflicts;
501           while ((con = *conp++) != 0)
502             {
503               dp = pool_whatprovides_ptr(pool, con);
504               for (; *dp; dp++)
505                 if (*dp == p)
506                   return 0;
507             }
508         }
509      }
510   return interesting ? 1 : -1;
511 }
512
513 /*
514  * different interface for solvable_trivial_installable_map, where
515  * the information about the installed packages is provided
516  * by a queue.
517  */
518 int
519 solvable_trivial_installable_queue(Solvable *s, Queue *installed, Map *noobsoletesmap)
520 {
521   Pool *pool = s->repo->pool;
522   int i;
523   Id p;
524   Map installedmap;
525   int r;
526
527   map_init(&installedmap, pool->nsolvables);
528   for (i = 0; i < installed->count; i++)
529     {
530       p = installed->elements[i];
531       if (p > 0)                /* makes it work with decisionq */
532         MAPSET(&installedmap, p);
533     }
534   r = solvable_trivial_installable_map(s, &installedmap, 0, noobsoletesmap);
535   map_free(&installedmap);
536   return r;
537 }
538
539 /*
540  * different interface for solvable_trivial_installable_map, where
541  * the information about the installed packages is provided
542  * by a repo containing the installed solvables.
543  */
544 int
545 solvable_trivial_installable_repo(Solvable *s, Repo *installed, Map *noobsoletesmap)
546 {
547   Pool *pool = s->repo->pool;
548   Id p;
549   Solvable *s2;
550   Map installedmap;
551   int r;
552
553   map_init(&installedmap, pool->nsolvables);
554   FOR_REPO_SOLVABLES(installed, p, s2)
555     MAPSET(&installedmap, p);
556   r = solvable_trivial_installable_map(s, &installedmap, 0, noobsoletesmap);
557   map_free(&installedmap);
558   return r;
559 }
560
561
562 /*****************************************************************************/
563
564 /*
565  * Create maps containing the state of each solvable. Input is a "installed" queue,
566  * it contains all solvable ids that are considered to be installed.
567  * 
568  * The created maps can be used for solvable_trivial_installable_map(),
569  * pool_calc_duchanges(), pool_calc_installsizechange().
570  *
571  */
572 void
573 pool_create_state_maps(Pool *pool, Queue *installed, Map *installedmap, Map *conflictsmap)
574 {
575   int i;
576   Solvable *s;
577   Id p, *dp;
578   Id *conp, con;
579
580   map_init(installedmap, pool->nsolvables);
581   if (conflictsmap)
582     map_init(conflictsmap, pool->nsolvables);
583   for (i = 0; i < installed->count; i++)
584     {
585       p = installed->elements[i];
586       if (p <= 0)       /* makes it work with decisionq */
587         continue;
588       MAPSET(installedmap, p);
589       if (!conflictsmap)
590         continue;
591       s = pool->solvables + p;
592       if (!s->conflicts)
593         continue;
594       conp = s->repo->idarraydata + s->conflicts;
595       while ((con = *conp++) != 0)
596         {
597           dp = pool_whatprovides_ptr(pool, con);
598           for (; *dp; dp++)
599             MAPSET(conflictsmap, *dp);
600         }
601     }
602 }
603
604 /* Tests if two solvables have identical content. Currently
605  * both solvables need to come from the same pool
606  */
607 int
608 solvable_identical(Solvable *s1, Solvable *s2)
609 {
610   unsigned int bt1, bt2;
611   Id rq1, rq2;
612   Id *reqp;
613
614   if (s1->name != s2->name)
615     return 0;
616   if (s1->arch != s2->arch)
617     return 0;
618   if (s1->evr != s2->evr)
619     return 0;
620   /* map missing vendor to empty string */
621   if ((s1->vendor ? s1->vendor : 1) != (s2->vendor ? s2->vendor : 1))
622     return 0;
623
624   /* looking good, try some fancier stuff */
625   /* might also look up the package checksum here */
626   bt1 = solvable_lookup_num(s1, SOLVABLE_BUILDTIME, 0);
627   bt2 = solvable_lookup_num(s2, SOLVABLE_BUILDTIME, 0);
628   if (bt1 && bt2)
629     {
630       if (bt1 != bt2)
631         return 0;
632     }
633   else
634     {
635       /* look at requires in a last attempt to find recompiled packages */
636       rq1 = rq2 = 0;
637       if (s1->requires)
638         for (reqp = s1->repo->idarraydata + s1->requires; *reqp; reqp++)
639           rq1 ^= *reqp;
640       if (s2->requires)
641         for (reqp = s2->repo->idarraydata + s2->requires; *reqp; reqp++)
642           rq2 ^= *reqp;
643       if (rq1 != rq2)
644          return 0;
645     }
646   return 1;
647 }
648
649 /* return the self provide dependency of a solvable */
650 Id
651 solvable_selfprovidedep(Solvable *s)
652 {
653   Pool *pool;
654   Reldep *rd;
655   Id prov, *provp;
656
657   if (!s->repo)
658     return s->name;
659   pool = s->repo->pool;
660   if (s->provides)
661     {
662       provp = s->repo->idarraydata + s->provides;
663       while ((prov = *provp++) != 0)
664         {
665           if (!ISRELDEP(prov))
666             continue;
667           rd = GETRELDEP(pool, prov);
668           if (rd->name == s->name && rd->evr == s->evr && rd->flags == REL_EQ)
669             return prov;
670         }
671     }
672   return pool_rel2id(pool, s->name, s->evr, REL_EQ, 1);
673 }
674
675 /* setter functions, simply call the repo variants */
676 void
677 solvable_set_id(Solvable *s, Id keyname, Id id)
678 {
679   repo_set_id(s->repo, s - s->repo->pool->solvables, keyname, id);
680 }
681
682 void
683 solvable_set_num(Solvable *s, Id keyname, unsigned long long num)
684 {
685   repo_set_num(s->repo, s - s->repo->pool->solvables, keyname, num);
686 }
687
688 void
689 solvable_set_str(Solvable *s, Id keyname, const char *str)
690 {
691   repo_set_str(s->repo, s - s->repo->pool->solvables, keyname, str);
692 }
693
694 void
695 solvable_set_poolstr(Solvable *s, Id keyname, const char *str)
696 {
697   repo_set_poolstr(s->repo, s - s->repo->pool->solvables, keyname, str);
698 }
699
700 void
701 solvable_add_poolstr_array(Solvable *s, Id keyname, const char *str)
702 {
703   repo_add_poolstr_array(s->repo, s - s->repo->pool->solvables, keyname, str);
704 }
705
706 void
707 solvable_add_idarray(Solvable *s, Id keyname, Id id)
708 {
709   repo_add_idarray(s->repo, s - s->repo->pool->solvables, keyname, id);
710 }
711
712 void
713 solvable_add_deparray(Solvable *s, Id keyname, Id dep, Id marker)
714 {
715   repo_add_deparray(s->repo, s - s->repo->pool->solvables, keyname, dep, marker);
716 }
717
718 void
719 solvable_set_idarray(Solvable *s, Id keyname, Queue *q)
720 {
721   repo_set_idarray(s->repo, s - s->repo->pool->solvables, keyname, q);
722 }
723
724 void
725 solvable_set_deparray(Solvable *s, Id keyname, Queue *q, Id marker)
726 {
727   repo_set_deparray(s->repo, s - s->repo->pool->solvables, keyname, q, marker);
728 }
729