add repodata_set_sourcepkg and solvable_lookup_sourcepkg, fix solvable_get_location...
[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 : 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     {
338       evr = pool_id2str(pool, s->evr);
339       if (evr && (archid == ARCH_SRC || archid == ARCH_NOSRC))
340         {
341           /* assume rpm, strip epoch */
342           const char *p;
343           for (p = evr; *p >= '0' && *p <= '9'; p++)
344             ;
345           if (*p == ':' && p[1])
346             evr = p + 1;
347         }
348     }
349   else
350     evr = solvable_lookup_str(s, SOLVABLE_SOURCEEVR);
351   if (archid == ARCH_SRC || archid == ARCH_NOSRC)
352     {
353       char *str;
354       str = pool_tmpjoin(pool, name, evr ? "-" : 0, evr);
355       str = pool_tmpappend(pool, str, ".", pool_id2str(pool, archid));
356       return pool_tmpappend(pool, str, ".rpm", 0);
357     }
358   else 
359     return name;        /* FIXME */
360 }
361
362
363 /*****************************************************************************/
364
365 static inline Id dep2name(Pool *pool, Id dep)
366 {
367   while (ISRELDEP(dep))
368     {
369       Reldep *rd = rd = GETRELDEP(pool, dep);
370       dep = rd->name;
371     }
372   return dep;
373 }
374
375 static int providedbyinstalled_multiversion(Pool *pool, Map *installed, Id n, Id con) 
376 {
377   Id p, pp;
378   Solvable *sn = pool->solvables + n; 
379
380   FOR_PROVIDES(p, pp, sn->name)
381     {    
382       Solvable *s = pool->solvables + p; 
383       if (s->name != sn->name || s->arch != sn->arch)
384         continue;
385       if (!MAPTST(installed, p))
386         continue;
387       if (pool_match_nevr(pool, pool->solvables + p, con))
388         continue;
389       return 1;         /* found installed package that doesn't conflict */
390     }    
391   return 0;
392 }
393
394 static inline int providedbyinstalled(Pool *pool, Map *installed, Id dep, int ispatch, Map *noobsoletesmap)
395 {
396   Id p, pp;
397   FOR_PROVIDES(p, pp, dep)
398     {
399       if (p == SYSTEMSOLVABLE)
400         return -1;
401       if (ispatch && !pool_match_nevr(pool, pool->solvables + p, dep))
402         continue;
403       if (ispatch && noobsoletesmap && noobsoletesmap->size && MAPTST(noobsoletesmap, p) && ISRELDEP(dep))
404         if (providedbyinstalled_multiversion(pool, installed, p, dep))
405           continue;
406       if (MAPTST(installed, p))
407         return 1;
408     }
409   return 0;
410 }
411
412 /*
413  * solvable_trivial_installable_map - anwers is a solvable is installable
414  * without any other installs/deinstalls.
415  * The packages considered to be installed are provided via the
416  * installedmap bitmap. A additional "conflictsmap" bitmap providing
417  * information about the conflicts of the installed packages can be
418  * used for extra speed up. Provide a NULL pointer if you do not
419  * have this information.
420  * Both maps can be created with pool_create_state_maps() or
421  * solver_create_state_maps().
422  *
423  * returns:
424  * 1:  solvable is installable without any other package changes
425  * 0:  solvable is not installable
426  * -1: solvable is installable, but doesn't constrain any installed packages
427  */
428 int
429 solvable_trivial_installable_map(Solvable *s, Map *installedmap, Map *conflictsmap, Map *noobsoletesmap)
430 {
431   Pool *pool = s->repo->pool;
432   Solvable *s2;
433   Id p, *dp;
434   Id *reqp, req;
435   Id *conp, con;
436   int r, interesting = 0;
437
438   if (conflictsmap && MAPTST(conflictsmap, s - pool->solvables))
439     return 0;
440   if (s->requires)
441     {
442       reqp = s->repo->idarraydata + s->requires;
443       while ((req = *reqp++) != 0)
444         {
445           if (req == SOLVABLE_PREREQMARKER)
446             continue;
447           r = providedbyinstalled(pool, installedmap, req, 0, 0);
448           if (!r)
449             return 0;
450           if (r > 0)
451             interesting = 1;
452         }
453     }
454   if (s->conflicts)
455     {
456       int ispatch = 0;
457
458       if (!strncmp("patch:", pool_id2str(pool, s->name), 6))
459         ispatch = 1;
460       conp = s->repo->idarraydata + s->conflicts;
461       while ((con = *conp++) != 0)
462         {
463           if (providedbyinstalled(pool, installedmap, con, ispatch, noobsoletesmap))
464             return 0;
465           if (!interesting && ISRELDEP(con))
466             {
467               con = dep2name(pool, con);
468               if (providedbyinstalled(pool, installedmap, con, ispatch, noobsoletesmap))
469                 interesting = 1;
470             }
471         }
472     }
473 #if 0
474   if (s->repo)
475     {
476       Id *obsp, obs;
477       Repo *installed = 0;
478       if (s->obsoletes && s->repo != installed)
479         {
480           obsp = s->repo->idarraydata + s->obsoletes;
481           while ((obs = *obsp++) != 0)
482             {
483               if (providedbyinstalled(pool, installedmap, obs, 0, 0))
484                 return 0;
485             }
486         }
487       if (s->repo != installed)
488         {
489           Id pp;
490           FOR_PROVIDES(p, pp, s->name)
491             {
492               s2 = pool->solvables + p;
493               if (s2->repo == installed && s2->name == s->name)
494                 return 0;
495             }
496         }
497     }
498 #endif
499   if (!conflictsmap)
500     {
501       int i;
502
503       p = s - pool->solvables;
504       for (i = 1; i < pool->nsolvables; i++)
505         {
506           if (!MAPTST(installedmap, i))
507             continue;
508           s2 = pool->solvables + i;
509           if (!s2->conflicts)
510             continue;
511           conp = s2->repo->idarraydata + s2->conflicts;
512           while ((con = *conp++) != 0)
513             {
514               dp = pool_whatprovides_ptr(pool, con);
515               for (; *dp; dp++)
516                 if (*dp == p)
517                   return 0;
518             }
519         }
520      }
521   return interesting ? 1 : -1;
522 }
523
524 /*
525  * different interface for solvable_trivial_installable_map, where
526  * the information about the installed packages is provided
527  * by a queue.
528  */
529 int
530 solvable_trivial_installable_queue(Solvable *s, Queue *installed, Map *noobsoletesmap)
531 {
532   Pool *pool = s->repo->pool;
533   int i;
534   Id p;
535   Map installedmap;
536   int r;
537
538   map_init(&installedmap, pool->nsolvables);
539   for (i = 0; i < installed->count; i++)
540     {
541       p = installed->elements[i];
542       if (p > 0)                /* makes it work with decisionq */
543         MAPSET(&installedmap, p);
544     }
545   r = solvable_trivial_installable_map(s, &installedmap, 0, noobsoletesmap);
546   map_free(&installedmap);
547   return r;
548 }
549
550 /*
551  * different interface for solvable_trivial_installable_map, where
552  * the information about the installed packages is provided
553  * by a repo containing the installed solvables.
554  */
555 int
556 solvable_trivial_installable_repo(Solvable *s, Repo *installed, Map *noobsoletesmap)
557 {
558   Pool *pool = s->repo->pool;
559   Id p;
560   Solvable *s2;
561   Map installedmap;
562   int r;
563
564   map_init(&installedmap, pool->nsolvables);
565   FOR_REPO_SOLVABLES(installed, p, s2)
566     MAPSET(&installedmap, p);
567   r = solvable_trivial_installable_map(s, &installedmap, 0, noobsoletesmap);
568   map_free(&installedmap);
569   return r;
570 }
571
572
573 /*****************************************************************************/
574
575 /*
576  * Create maps containing the state of each solvable. Input is a "installed" queue,
577  * it contains all solvable ids that are considered to be installed.
578  * 
579  * The created maps can be used for solvable_trivial_installable_map(),
580  * pool_calc_duchanges(), pool_calc_installsizechange().
581  *
582  */
583 void
584 pool_create_state_maps(Pool *pool, Queue *installed, Map *installedmap, Map *conflictsmap)
585 {
586   int i;
587   Solvable *s;
588   Id p, *dp;
589   Id *conp, con;
590
591   map_init(installedmap, pool->nsolvables);
592   if (conflictsmap)
593     map_init(conflictsmap, pool->nsolvables);
594   for (i = 0; i < installed->count; i++)
595     {
596       p = installed->elements[i];
597       if (p <= 0)       /* makes it work with decisionq */
598         continue;
599       MAPSET(installedmap, p);
600       if (!conflictsmap)
601         continue;
602       s = pool->solvables + p;
603       if (!s->conflicts)
604         continue;
605       conp = s->repo->idarraydata + s->conflicts;
606       while ((con = *conp++) != 0)
607         {
608           dp = pool_whatprovides_ptr(pool, con);
609           for (; *dp; dp++)
610             MAPSET(conflictsmap, *dp);
611         }
612     }
613 }
614
615 /* Tests if two solvables have identical content. Currently
616  * both solvables need to come from the same pool
617  */
618 int
619 solvable_identical(Solvable *s1, Solvable *s2)
620 {
621   unsigned int bt1, bt2;
622   Id rq1, rq2;
623   Id *reqp;
624
625   if (s1->name != s2->name)
626     return 0;
627   if (s1->arch != s2->arch)
628     return 0;
629   if (s1->evr != s2->evr)
630     return 0;
631   /* map missing vendor to empty string */
632   if ((s1->vendor ? s1->vendor : 1) != (s2->vendor ? s2->vendor : 1))
633     return 0;
634
635   /* looking good, try some fancier stuff */
636   /* might also look up the package checksum here */
637   bt1 = solvable_lookup_num(s1, SOLVABLE_BUILDTIME, 0);
638   bt2 = solvable_lookup_num(s2, SOLVABLE_BUILDTIME, 0);
639   if (bt1 && bt2)
640     {
641       if (bt1 != bt2)
642         return 0;
643     }
644   else
645     {
646       /* look at requires in a last attempt to find recompiled packages */
647       rq1 = rq2 = 0;
648       if (s1->requires)
649         for (reqp = s1->repo->idarraydata + s1->requires; *reqp; reqp++)
650           rq1 ^= *reqp;
651       if (s2->requires)
652         for (reqp = s2->repo->idarraydata + s2->requires; *reqp; reqp++)
653           rq2 ^= *reqp;
654       if (rq1 != rq2)
655          return 0;
656     }
657   return 1;
658 }
659
660 /* return the self provide dependency of a solvable */
661 Id
662 solvable_selfprovidedep(Solvable *s)
663 {
664   Pool *pool;
665   Reldep *rd;
666   Id prov, *provp;
667
668   if (!s->repo)
669     return s->name;
670   pool = s->repo->pool;
671   if (s->provides)
672     {
673       provp = s->repo->idarraydata + s->provides;
674       while ((prov = *provp++) != 0)
675         {
676           if (!ISRELDEP(prov))
677             continue;
678           rd = GETRELDEP(pool, prov);
679           if (rd->name == s->name && rd->evr == s->evr && rd->flags == REL_EQ)
680             return prov;
681         }
682     }
683   return pool_rel2id(pool, s->name, s->evr, REL_EQ, 1);
684 }
685
686 /* setter functions, simply call the repo variants */
687 void
688 solvable_set_id(Solvable *s, Id keyname, Id id)
689 {
690   repo_set_id(s->repo, s - s->repo->pool->solvables, keyname, id);
691 }
692
693 void
694 solvable_set_num(Solvable *s, Id keyname, unsigned long long num)
695 {
696   repo_set_num(s->repo, s - s->repo->pool->solvables, keyname, num);
697 }
698
699 void
700 solvable_set_str(Solvable *s, Id keyname, const char *str)
701 {
702   repo_set_str(s->repo, s - s->repo->pool->solvables, keyname, str);
703 }
704
705 void
706 solvable_set_poolstr(Solvable *s, Id keyname, const char *str)
707 {
708   repo_set_poolstr(s->repo, s - s->repo->pool->solvables, keyname, str);
709 }
710
711 void
712 solvable_add_poolstr_array(Solvable *s, Id keyname, const char *str)
713 {
714   repo_add_poolstr_array(s->repo, s - s->repo->pool->solvables, keyname, str);
715 }
716
717 void
718 solvable_add_idarray(Solvable *s, Id keyname, Id id)
719 {
720   repo_add_idarray(s->repo, s - s->repo->pool->solvables, keyname, id);
721 }
722
723 void
724 solvable_add_deparray(Solvable *s, Id keyname, Id dep, Id marker)
725 {
726   repo_add_deparray(s->repo, s - s->repo->pool->solvables, keyname, dep, marker);
727 }
728
729 void
730 solvable_set_idarray(Solvable *s, Id keyname, Queue *q)
731 {
732   repo_set_idarray(s->repo, s - s->repo->pool->solvables, keyname, q);
733 }
734
735 void
736 solvable_set_deparray(Solvable *s, Id keyname, Queue *q, Id marker)
737 {
738   repo_set_deparray(s->repo, s - s->repo->pool->solvables, keyname, q, marker);
739 }
740