/* * Copyright (c) 2012, Novell Inc. * * This program is licensed under the BSD license, read LICENSE.BSD * for further information */ /* * selection.c * */ #define _GNU_SOURCE #include #include #include #include #include #include "selection.h" #include "solver.h" #include "evr.h" static int str2archid(Pool *pool, const char *arch) { Id id; if (!*arch) return 0; id = pool_str2id(pool, arch, 0); if (!id || id == ARCH_SRC || id == ARCH_NOSRC || id == ARCH_NOARCH) return id; if (pool->id2arch && (id > pool->lastarch || !pool->id2arch[id])) return 0; return id; } static void selection_prune(Pool *pool, Queue *selection) { int i, j; Id p, pp; for (i = j = 0; i < selection->count; i += 2) { Id select = selection->elements[i] & SOLVER_SELECTMASK; p = 0; if (select == SOLVER_SOLVABLE_ALL) p = 1; else if (select == SOLVER_SOLVABLE_REPO) { Solvable *s; Repo *repo = pool_id2repo(pool, selection->elements[i + 1]); if (repo) FOR_REPO_SOLVABLES(repo, p, s) break; } else { FOR_JOB_SELECT(p, pp, select, selection->elements[i + 1]) break; } if (!p) continue; selection->elements[j] = selection->elements[i]; selection->elements[j + 1] = selection->elements[i + 1]; j += 2; } queue_truncate(selection, j); } static int selection_solvables_sortcmp(const void *ap, const void *bp, void *dp) { return *(const Id *)ap - *(const Id *)bp; } void selection_solvables(Pool *pool, Queue *selection, Queue *pkgs) { int i, j; Id p, pp, lastid; queue_empty(pkgs); for (i = 0; i < selection->count; i += 2) { Id select = selection->elements[i] & SOLVER_SELECTMASK; if (select == SOLVER_SOLVABLE_ALL) { FOR_POOL_SOLVABLES(p) queue_push(pkgs, p); } if (select == SOLVER_SOLVABLE_REPO) { Solvable *s; Repo *repo = pool_id2repo(pool, selection->elements[i + 1]); if (repo) FOR_REPO_SOLVABLES(repo, p, s) queue_push(pkgs, p); } else { FOR_JOB_SELECT(p, pp, select, selection->elements[i + 1]) queue_push(pkgs, p); } } if (pkgs->count < 2) return; /* sort and unify */ solv_sort(pkgs->elements, pkgs->count, sizeof(Id), selection_solvables_sortcmp, NULL); lastid = pkgs->elements[0]; for (i = j = 1; i < pkgs->count; i++) if (pkgs->elements[i] != lastid) pkgs->elements[j++] = lastid = pkgs->elements[i]; queue_truncate(pkgs, j); } static void selection_flatten(Pool *pool, Queue *selection) { Queue q; int i; if (selection->count <= 2) return; for (i = 0; i < selection->count; i += 2) if ((selection->elements[i] & SOLVER_SELECTMASK) == SOLVER_SOLVABLE_ALL) { selection->elements[0] = selection->elements[i]; selection->elements[1] = selection->elements[i + 1]; queue_truncate(selection, 2); return; } queue_init(&q); selection_solvables(pool, selection, &q); if (!q.count) { queue_empty(selection); return; } queue_truncate(selection, 2); if (q.count > 1) { selection->elements[0] = SOLVER_SOLVABLE_ONE_OF; selection->elements[1] = pool_queuetowhatprovides(pool, &q); } else { selection->elements[0] = SOLVER_SOLVABLE | SOLVER_NOAUTOSET; selection->elements[1] = q.elements[0]; } } static void selection_filter_rel(Pool *pool, Queue *selection, Id relflags, Id relevr) { int i; for (i = 0; i < selection->count; i += 2) { Id select = selection->elements[i] & SOLVER_SELECTMASK; Id id = selection->elements[i + 1]; if (select == SOLVER_SOLVABLE || select == SOLVER_SOLVABLE_ONE_OF) { /* done by selection_addsrc */ Queue q; Id p, pp; Id rel = 0, relname = 0; int miss = 0; queue_init(&q); FOR_JOB_SELECT(p, pp, select, id) { Solvable *s = pool->solvables + p; if (!rel || s->name != relname) { relname = s->name; rel = pool_rel2id(pool, relname, relevr, relflags, 1); } if (pool_match_nevr(pool, s, rel)) queue_push(&q, p); else miss = 1; } if (miss) { if (q.count == 1) { selection->elements[i] = SOLVER_SOLVABLE | SOLVER_NOAUTOSET; selection->elements[i + 1] = q.elements[0]; } else { selection->elements[i] = SOLVER_SOLVABLE_ONE_OF; selection->elements[i + 1] = pool_queuetowhatprovides(pool, &q); } } queue_free(&q); } else if (select == SOLVER_SOLVABLE_NAME || select == SOLVER_SOLVABLE_PROVIDES) { /* don't stack src reldeps */ if (relflags == REL_ARCH && (relevr == ARCH_SRC || relevr == ARCH_NOSRC) && ISRELDEP(id)) { Reldep *rd = GETRELDEP(pool, id); if (rd->flags == REL_ARCH && rd->evr == ARCH_SRC) id = rd->name; } selection->elements[i + 1] = pool_rel2id(pool, id, relevr, relflags, 1); } else continue; /* actually internal error */ if (relflags == REL_ARCH) selection->elements[i] |= SOLVER_SETARCH; if (relflags == REL_EQ && select != SOLVER_SOLVABLE_PROVIDES) { if (pool->disttype == DISTTYPE_DEB) selection->elements[i] |= SOLVER_SETEVR; /* debian can't match version only like rpm */ else { const char *rel = strrchr(pool_id2str(pool, relevr), '-'); selection->elements[i] |= rel ? SOLVER_SETEVR : SOLVER_SETEV; } } } selection_prune(pool, selection); } static void selection_addsrc(Pool *pool, Queue *selection, int flags) { Queue q; Id p, name; int i, havesrc; if ((flags & SELECTION_INSTALLED_ONLY) != 0) return; /* sources can't be installed */ queue_init(&q); for (i = 0; i < selection->count; i += 2) { if (selection->elements[i] != SOLVER_SOLVABLE_NAME) continue; name = selection->elements[i + 1]; havesrc = 0; queue_empty(&q); FOR_POOL_SOLVABLES(p) { Solvable *s = pool->solvables + p; if (s->name != name) continue; if (s->arch == ARCH_SRC || s->arch == ARCH_NOSRC) { if (pool_disabled_solvable(pool, s)) continue; havesrc = 1; } else if (s->repo != pool->installed && !pool_installable(pool, s)) continue; queue_push(&q, p); } if (!havesrc || !q.count) continue; if (q.count == 1) { selection->elements[i] = SOLVER_SOLVABLE | SOLVER_NOAUTOSET; selection->elements[i + 1] = q.elements[0]; } else { selection->elements[i] = SOLVER_SOLVABLE_ONE_OF; selection->elements[i + 1] = pool_queuetowhatprovides(pool, &q); } } queue_free(&q); } static int selection_depglob(Pool *pool, Queue *selection, const char *name, int flags) { Id id, p, pp; int i, match = 0; int doglob = 0; int globflags = 0; if ((flags & SELECTION_SOURCE_ONLY) != 0) { flags &= ~SELECTION_PROVIDES; /* sources don't provide anything */ flags &= ~SELECTION_WITH_SOURCE; } if (!(flags & (SELECTION_NAME|SELECTION_PROVIDES))) return 0; if ((flags & SELECTION_INSTALLED_ONLY) != 0 && !pool->installed) return 0; if (!(flags & SELECTION_NOCASE)) { id = pool_str2id(pool, name, 0); if (id) { if ((flags & (SELECTION_SOURCE_ONLY | SELECTION_WITH_SOURCE)) != 0 && (flags & SELECTION_NAME) != 0) { /* src rpms don't have provides, so we must check every solvable */ FOR_PROVIDES(p, pp, id) /* try fast path first */ { Solvable *s = pool->solvables + p; if (s->name == id) { if ((flags & SELECTION_INSTALLED_ONLY) != 0 && s->repo != pool->installed) continue; if ((flags & SELECTION_SOURCE_ONLY) != 0) id = pool_rel2id(pool, id, ARCH_SRC, REL_ARCH, 1); queue_push2(selection, SOLVER_SOLVABLE_NAME, id); if ((flags & SELECTION_WITH_SOURCE) != 0) selection_addsrc(pool, selection, flags); return SELECTION_NAME; } } FOR_POOL_SOLVABLES(p) /* slow path */ { Solvable *s = pool->solvables + p; if (s->name == id && (s->arch == ARCH_SRC || s->arch == ARCH_NOSRC)) { if ((flags & SELECTION_INSTALLED_ONLY) != 0 && s->repo != pool->installed) continue; /* just in case... src rpms can't be installed */ if (pool_disabled_solvable(pool, s)) continue; if ((flags & SELECTION_SOURCE_ONLY) != 0) id = pool_rel2id(pool, id, ARCH_SRC, REL_ARCH, 1); queue_push2(selection, SOLVER_SOLVABLE_NAME, id); if ((flags & SELECTION_WITH_SOURCE) != 0) selection_addsrc(pool, selection, flags); return SELECTION_NAME; } } } FOR_PROVIDES(p, pp, id) { Solvable *s = pool->solvables + p; if ((flags & SELECTION_INSTALLED_ONLY) != 0 && s->repo != pool->installed) continue; match = 1; if (s->name == id && (flags & SELECTION_NAME) != 0) { if ((flags & SELECTION_SOURCE_ONLY) != 0) id = pool_rel2id(pool, id, ARCH_SRC, REL_ARCH, 1); queue_push2(selection, SOLVER_SOLVABLE_NAME, id); if ((flags & SELECTION_WITH_SOURCE) != 0) selection_addsrc(pool, selection, flags); return SELECTION_NAME; } } if (match && (flags & SELECTION_PROVIDES) != 0) { queue_push2(selection, SOLVER_SOLVABLE_PROVIDES, id); return SELECTION_PROVIDES; } } } if ((flags & SELECTION_GLOB) != 0 && strpbrk(name, "[*?") != 0) doglob = 1; if (!doglob && !(flags & SELECTION_NOCASE)) return 0; if (doglob && (flags & SELECTION_NOCASE) != 0) globflags = FNM_CASEFOLD; #if 0 /* doesn't work with selection_filter_rel yet */ if (doglob && !strcmp(name, "*") && (flags & SELECTION_FLAT) != 0) { /* can't do this for SELECTION_PROVIDES, as src rpms don't provide anything */ if ((flags & SELECTION_NAME) != 0) { queue_push2(selection, SOLVER_SOLVABLE_ALL, 0); return SELECTION_NAME; } } #endif if ((flags & SELECTION_NAME) != 0) { /* looks like a name glob. hard work. */ FOR_POOL_SOLVABLES(p) { Solvable *s = pool->solvables + p; if (s->repo != pool->installed && !pool_installable(pool, s)) { if (!(flags & SELECTION_SOURCE_ONLY) || (s->arch != ARCH_SRC && s->arch != ARCH_NOSRC)) continue; if (pool_disabled_solvable(pool, s)) continue; } if ((flags & SELECTION_INSTALLED_ONLY) != 0 && s->repo != pool->installed) continue; id = s->name; if ((doglob ? fnmatch(name, pool_id2str(pool, id), globflags) : strcasecmp(name, pool_id2str(pool, id))) == 0) { if ((flags & SELECTION_SOURCE_ONLY) != 0) id = pool_rel2id(pool, id, ARCH_SRC, REL_ARCH, 1); /* queue_pushunique2 */ for (i = 0; i < selection->count; i += 2) if (selection->elements[i] == SOLVER_SOLVABLE_NAME && selection->elements[i + 1] == id) break; if (i == selection->count) queue_push2(selection, SOLVER_SOLVABLE_NAME, id); match = 1; } } if (match) { if ((flags & SELECTION_WITH_SOURCE) != 0) selection_addsrc(pool, selection, flags); return SELECTION_NAME; } } if ((flags & SELECTION_PROVIDES)) { /* looks like a dep glob. really hard work. */ for (id = 1; id < pool->ss.nstrings; id++) { if (!pool->whatprovides[id] || pool->whatprovides[id] == 1) continue; if ((doglob ? fnmatch(name, pool_id2str(pool, id), globflags) : strcasecmp(name, pool_id2str(pool, id))) == 0) { if ((flags & SELECTION_INSTALLED_ONLY) != 0) { FOR_PROVIDES(p, pp, id) if (pool->solvables[p].repo == pool->installed) break; if (!p) continue; } queue_push2(selection, SOLVER_SOLVABLE_PROVIDES, id); match = 1; } } if (match) return SELECTION_PROVIDES; } return 0; } static int selection_depglob_arch(Pool *pool, Queue *selection, const char *name, int flags) { int ret; const char *r; Id archid; if ((ret = selection_depglob(pool, selection, name, flags)) != 0) return ret; if (!(flags & SELECTION_DOTARCH)) return 0; /* check if there is an .arch suffix */ if ((r = strrchr(name, '.')) != 0 && r[1] && (archid = str2archid(pool, r + 1)) != 0) { char *rname = solv_strdup(name); rname[r - name] = 0; if (archid == ARCH_SRC || archid == ARCH_NOSRC) flags |= SELECTION_SOURCE_ONLY; if ((ret = selection_depglob(pool, selection, rname, flags)) != 0) { selection_filter_rel(pool, selection, REL_ARCH, archid); solv_free(rname); return ret | SELECTION_DOTARCH; } solv_free(rname); } return 0; } static int selection_filelist(Pool *pool, Queue *selection, const char *name, int flags) { Dataiterator di; Queue q; int type; type = !(flags & SELECTION_GLOB) || strpbrk(name, "[*?") == 0 ? SEARCH_STRING : SEARCH_GLOB; if ((flags & SELECTION_NOCASE) != 0) type |= SEARCH_NOCASE; queue_init(&q); dataiterator_init(&di, pool, flags & SELECTION_INSTALLED_ONLY ? pool->installed : 0, 0, SOLVABLE_FILELIST, name, type|SEARCH_FILES|SEARCH_COMPLETE_FILELIST); while (dataiterator_step(&di)) { Solvable *s = pool->solvables + di.solvid; if (!s->repo) continue; if (s->repo != pool->installed && !pool_installable(pool, s)) { if (!(flags & SELECTION_SOURCE_ONLY) || (s->arch != ARCH_SRC && s->arch != ARCH_NOSRC)) continue; if (pool_disabled_solvable(pool, s)) continue; } if ((flags & SELECTION_INSTALLED_ONLY) != 0 && s->repo != pool->installed) continue; queue_push(&q, di.solvid); dataiterator_skip_solvable(&di); } dataiterator_free(&di); if (!q.count) return 0; if (q.count > 1) queue_push2(selection, SOLVER_SOLVABLE_ONE_OF, pool_queuetowhatprovides(pool, &q)); else queue_push2(selection, SOLVER_SOLVABLE | SOLVER_NOAUTOSET, q.elements[0]); queue_free(&q); return SELECTION_FILELIST; } static int selection_rel(Pool *pool, Queue *selection, const char *name, int flags) { int ret, rflags = 0; char *r, *rname; /* relation case, support: * depglob rel * depglob.arch rel */ rname = solv_strdup(name); if ((r = strpbrk(rname, "<=>")) != 0) { int nend = r - rname; if (nend && *r == '=' && r[-1] == '!') { nend--; r++; rflags = REL_LT|REL_GT; } for (; *r; r++) { if (*r == '<') rflags |= REL_LT; else if (*r == '=') rflags |= REL_EQ; else if (*r == '>') rflags |= REL_GT; else break; } while (*r && (*r == ' ' || *r == '\t')) r++; while (nend && (rname[nend - 1] == ' ' || rname[nend -1 ] == '\t')) nend--; if (!*rname || !*r) { solv_free(rname); return 0; } rname[nend] = 0; } if ((ret = selection_depglob_arch(pool, selection, rname, flags)) != 0) { if (rflags) selection_filter_rel(pool, selection, rflags, pool_str2id(pool, r, 1)); solv_free(rname); return ret | SELECTION_REL; } solv_free(rname); return 0; } #if defined(MULTI_SEMANTICS) # define EVRCMP_DEPCMP (pool->disttype == DISTTYPE_DEB ? EVRCMP_COMPARE : EVRCMP_MATCH_RELEASE) #elif defined(DEBIAN) # define EVRCMP_DEPCMP EVRCMP_COMPARE #else # define EVRCMP_DEPCMP EVRCMP_MATCH_RELEASE #endif /* magic epoch promotion code, works only for SELECTION_NAME selections */ static void selection_filter_evr(Pool *pool, Queue *selection, char *evr) { int i, j; Queue q; Id qbuf[10]; queue_init(&q); queue_init_buffer(&q, qbuf, sizeof(qbuf)/sizeof(*qbuf)); for (i = j = 0; i < selection->count; i += 2) { Id select = selection->elements[i] & SOLVER_SELECTMASK; Id id = selection->elements[i + 1]; Id p, pp; const char *lastepoch = 0; int lastepochlen = 0; queue_empty(&q); FOR_JOB_SELECT(p, pp, select, id) { Solvable *s = pool->solvables + p; const char *sevr = pool_id2str(pool, s->evr); const char *sp; for (sp = sevr; *sp >= '0' && *sp <= '9'; sp++) ; if (*sp != ':') sp = sevr; /* compare vr part */ if (strcmp(evr, sp != sevr ? sp + 1 : sevr) != 0) { int r = pool_evrcmp_str(pool, sp != sevr ? sp + 1 : sevr, evr, EVRCMP_DEPCMP); if (r == -1 || r == 1) continue; /* solvable does not match vr */ } queue_push(&q, p); if (sp > sevr) { while (sevr < sp && *sevr == '0') /* normalize epoch */ sevr++; } if (!lastepoch) { lastepoch = sevr; lastepochlen = sp - sevr; } else if (lastepochlen != sp - sevr || strncmp(lastepoch, sevr, lastepochlen) != 0) lastepochlen = -1; /* multiple different epochs */ } if (!lastepoch || lastepochlen == 0) id = pool_str2id(pool, evr, 1); /* no match at all or zero epoch */ else if (lastepochlen >= 0) { /* found exactly one epoch, simply prepend */ char *evrx = solv_malloc(strlen(evr) + lastepochlen + 2); strncpy(evrx, lastepoch, lastepochlen + 1); strcpy(evrx + lastepochlen + 1, evr); id = pool_str2id(pool, evrx, 1); solv_free(evrx); } else { /* multiple epochs in multiple solvables, convert to list of solvables */ selection->elements[j] = (selection->elements[i] & ~SOLVER_SELECTMASK) | SOLVER_SOLVABLE_ONE_OF; selection->elements[j + 1] = pool_queuetowhatprovides(pool, &q); j += 2; continue; } queue_empty(&q); queue_push2(&q, selection->elements[i], selection->elements[i + 1]); selection_filter_rel(pool, &q, REL_EQ, id); if (!q.count) continue; /* oops, no match */ selection->elements[j] = q.elements[0]; selection->elements[j + 1] = q.elements[1]; j += 2; } queue_truncate(selection, j); queue_free(&q); } /* match the "canonical" name of the package */ static int selection_canon(Pool *pool, Queue *selection, const char *name, int flags) { char *rname, *r, *r2; Id archid = 0; int ret; /* * nameglob-version * nameglob-version.arch * nameglob-version-release * nameglob-version-release.arch */ flags |= SELECTION_NAME; flags &= ~SELECTION_PROVIDES; if (pool->disttype == DISTTYPE_DEB) { if ((r = strchr(name, '_')) == 0) return 0; rname = solv_strdup(name); /* so we can modify it */ r = rname + (r - name); *r++ = 0; if ((ret = selection_depglob(pool, selection, rname, flags)) == 0) { solv_free(rname); return 0; } /* is there a vaild arch? */ if ((r2 = strrchr(r, '_')) != 0 && r[1] && (archid = str2archid(pool, r + 1)) != 0) { *r2 = 0; /* split off */ selection_filter_rel(pool, selection, REL_ARCH, archid); } selection_filter_rel(pool, selection, REL_EQ, pool_str2id(pool, r, 1)); solv_free(rname); return ret | SELECTION_CANON; } if (pool->disttype == DISTTYPE_HAIKU) { if ((r = strchr(name, '-')) == 0) return 0; rname = solv_strdup(name); /* so we can modify it */ r = rname + (r - name); *r++ = 0; if ((ret = selection_depglob(pool, selection, rname, flags)) == 0) { solv_free(rname); return 0; } /* is there a vaild arch? */ if ((r2 = strrchr(r, '-')) != 0 && r[1] && (archid = str2archid(pool, r + 1)) != 0) { *r2 = 0; /* split off */ selection_filter_rel(pool, selection, REL_ARCH, archid); } selection_filter_rel(pool, selection, REL_EQ, pool_str2id(pool, r, 1)); solv_free(rname); return ret | SELECTION_CANON; } if ((r = strrchr(name, '-')) == 0) return 0; rname = solv_strdup(name); /* so we can modify it */ r = rname + (r - name); *r = 0; /* split off potential arch part from version */ if ((r2 = strrchr(r + 1, '.')) != 0 && r2[1] && (archid = str2archid(pool, r2 + 1)) != 0) *r2 = 0; /* found valid arch, split it off */ if (archid == ARCH_SRC || archid == ARCH_NOSRC) flags |= SELECTION_SOURCE_ONLY; /* try with just the version */ if ((ret = selection_depglob(pool, selection, rname, flags)) == 0) { /* no luck, try with version-release */ if ((r2 = strrchr(rname, '-')) == 0) { solv_free(rname); return 0; } *r = '-'; *r2 = 0; r = r2; if ((ret = selection_depglob(pool, selection, rname, flags)) == 0) { solv_free(rname); return 0; } } if (archid) selection_filter_rel(pool, selection, REL_ARCH, archid); selection_filter_evr(pool, selection, r + 1); /* magic epoch promotion */ solv_free(rname); return ret | SELECTION_CANON; } int selection_make(Pool *pool, Queue *selection, const char *name, int flags) { int ret = 0; const char *r; queue_empty(selection); if (*name == '/' && (flags & SELECTION_FILELIST)) ret = selection_filelist(pool, selection, name, flags); if (!ret && (flags & SELECTION_REL) != 0 && (r = strpbrk(name, "<=>")) != 0) ret = selection_rel(pool, selection, name, flags); if (!ret) ret = selection_depglob_arch(pool, selection, name, flags); if (!ret && (flags & SELECTION_CANON) != 0) ret = selection_canon(pool, selection, name, flags); if (ret && !selection->count) ret = 0; /* no match -> always return zero */ if (ret && (flags & SELECTION_FLAT) != 0) selection_flatten(pool, selection); return ret; } void selection_filter(Pool *pool, Queue *sel1, Queue *sel2) { int i, j, miss; Id p, pp; Queue q1; Map m2; Id setflags = 0; if (!sel1->count || !sel2->count) { queue_empty(sel1); return; } if (sel1->count == 2 && (sel1->elements[0] & SOLVER_SELECTMASK) == SOLVER_SOLVABLE_ALL) { /* XXX: not 100% correct, but very useful */ queue_free(sel1); queue_init_clone(sel1, sel2); return; } queue_init(&q1); map_init(&m2, pool->nsolvables); for (i = 0; i < sel2->count; i += 2) { Id select = sel2->elements[i] & SOLVER_SELECTMASK; if (select == SOLVER_SOLVABLE_ALL) { queue_free(&q1); map_free(&m2); return; } if (select == SOLVER_SOLVABLE_REPO) { Solvable *s; Repo *repo = pool_id2repo(pool, sel2->elements[i + 1]); if (repo) FOR_REPO_SOLVABLES(repo, p, s) map_set(&m2, p); } else { FOR_JOB_SELECT(p, pp, select, sel2->elements[i + 1]) map_set(&m2, p); } } if (sel2->count == 2) /* XXX: AND all setmasks instead? */ setflags = sel2->elements[0] & SOLVER_SETMASK & ~SOLVER_NOAUTOSET; for (i = j = 0; i < sel1->count; i += 2) { Id select = sel1->elements[i] & SOLVER_SELECTMASK; queue_empty(&q1); miss = 0; if (select == SOLVER_SOLVABLE_ALL) { FOR_POOL_SOLVABLES(p) { if (map_tst(&m2, p)) queue_push(&q1, p); else miss = 1; } } else if (select == SOLVER_SOLVABLE_REPO) { Solvable *s; Repo *repo = pool_id2repo(pool, sel1->elements[i + 1]); if (repo) FOR_REPO_SOLVABLES(repo, p, s) { if (map_tst(&m2, p)) queue_push(&q1, p); else miss = 1; } } else { FOR_JOB_SELECT(p, pp, select, sel1->elements[i + 1]) { if (map_tst(&m2, p)) queue_pushunique(&q1, p); else miss = 1; } } if (!q1.count) continue; if (!miss) { sel1->elements[j] = sel1->elements[i] | setflags; sel1->elements[j + 1] = sel1->elements[i + 1]; } else if (q1.count > 1) { sel1->elements[j] = (sel1->elements[i] & ~SOLVER_SELECTMASK) | SOLVER_SOLVABLE_ONE_OF | setflags; sel1->elements[j + 1] = pool_queuetowhatprovides(pool, &q1); } else { sel1->elements[j] = (sel1->elements[i] & ~SOLVER_SELECTMASK) | SOLVER_SOLVABLE | SOLVER_NOAUTOSET | setflags; sel1->elements[j + 1] = q1.elements[0]; } j += 2; } queue_truncate(sel1, j); queue_free(&q1); map_free(&m2); } void selection_add(Pool *pool, Queue *sel1, Queue *sel2) { int i; for (i = 0; i < sel2->count; i++) queue_push(sel1, sel2->elements[i]); } const char * pool_selection2str(Pool *pool, Queue *selection, Id flagmask) { char *s; const char *s2; int i; s = pool_tmpjoin(pool, 0, 0, 0); for (i = 0; i < selection->count; i += 2) { Id how = selection->elements[i]; if (*s) s = pool_tmpappend(pool, s, " + ", 0); s2 = solver_select2str(pool, how & SOLVER_SELECTMASK, selection->elements[i + 1]); s = pool_tmpappend(pool, s, s2, 0); pool_freetmpspace(pool, s2); how &= flagmask & SOLVER_SETMASK; if (how) { int o = strlen(s); s = pool_tmpappend(pool, s, " ", 0); if (how & SOLVER_SETEV) s = pool_tmpappend(pool, s, ",setev", 0); if (how & SOLVER_SETEVR) s = pool_tmpappend(pool, s, ",setevr", 0); if (how & SOLVER_SETARCH) s = pool_tmpappend(pool, s, ",setarch", 0); if (how & SOLVER_SETVENDOR) s = pool_tmpappend(pool, s, ",setvendor", 0); if (how & SOLVER_SETREPO) s = pool_tmpappend(pool, s, ",setrepo", 0); if (how & SOLVER_NOAUTOSET) s = pool_tmpappend(pool, s, ",noautoset", 0); if (s[o + 1] != ',') s = pool_tmpappend(pool, s, ",?", 0); s[o + 1] = '['; s = pool_tmpappend(pool, s, "]", 0); } } return s; }