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