]> git.saurik.com Git - apt.git/blame - apt-pkg/orderlist.cc
French translation *comp-ple-ted*!
[apt.git] / apt-pkg / orderlist.cc
CommitLineData
6c139d6e
AL
1// -*- mode: cpp; mode: fold -*-
2// Description /*{{{*/
5819a761 3// $Id: orderlist.cc,v 1.14 2001/05/07 05:49:43 jgg Exp $
6c139d6e
AL
4/* ######################################################################
5
6 Order List - Represents and Manipulates an ordered list of packages.
7
8 A list of packages can be ordered by a number of conflicting criteria
9 each given a specific priority. Each package also has a set of flags
b2e465d6 10 indicating some useful things about it that are derived in the
6c139d6e
AL
11 course of sorting. The pkgPackageManager class uses this class for
12 all of it's installation ordering needs.
13
14 This is a modified version of Manoj's Routine B. It consists of four
15 independent ordering algorithms that can be applied at for different
16 points in the ordering. By appling progressivly fewer ordering
17 operations it is possible to give each consideration it's own
18 priority and create an order that satisfies the lowest applicable
19 consideration.
20
21 The rules for unpacking ordering are:
22 1) Unpacking ignores Depends: on all packages
23 2) Unpacking requires Conflicts: on -ALL- packages to be satisfied
24 3) Unpacking requires PreDepends: on this package only to be satisfied
25 4) Removing requires that no packages depend on the package to be
26 removed.
27
28 And the rule for configuration ordering is:
29 1) Configuring requires that the Depends: of the package be satisfied
30 Conflicts+PreDepends are ignored because unpacking says they are
31 already correct [exageration, it does check but we need not be
32 concerned]
33
34 And some features that are valuable for unpacking ordering.
35 f1) Unpacking a new package should advoid breaking dependencies of
36 configured packages
37 f2) Removal should not require a force, corrolory of f1
38 f3) Unpacking should order by depends rather than fall back to random
39 ordering.
40
41 Each of the features can be enabled in the sorting routine at an
7365ff46 42 arbitrary priority to give quite abit of control over the final unpacking
6c139d6e
AL
43 order.
44
281daf46 45 The rules listed above may never be violated and are called Critical.
6c139d6e
AL
46 When a critical rule is violated then a loop condition is recorded
47 and will have to be delt with in the caller.
63d3141a
AL
48
49 The ordering keeps two lists, the main list and the 'After List'. The
50 purpose of the after list is to allow packages to be delayed. This is done
51 by setting the after flag on the package. Any package which requires this
52 package to be ordered before will inherit the after flag and so on. This
53 is used for CD swap ordering where all packages on a second CD have the
54 after flag set. This forces them and all their dependents to be ordered
55 toward the end.
6c139d6e 56
b2e465d6
AL
57 There are complications in this algorithm when presented with cycles.
58 For all known practical cases it works, all cases where it doesn't work
59 is fixable by tweaking the package descriptions. However, it should be
60 possible to impove this further to make some better choices when
61 presented with cycles.
62
6c139d6e
AL
63 ##################################################################### */
64 /*}}}*/
65// Include Files /*{{{*/
094a497d
AL
66#include <apt-pkg/orderlist.h>
67#include <apt-pkg/depcache.h>
68#include <apt-pkg/error.h>
69#include <apt-pkg/version.h>
b2e465d6
AL
70#include <apt-pkg/sptr.h>
71#include <apt-pkg/configuration.h>
5819a761
AL
72
73#include <iostream>
6c139d6e
AL
74 /*}}}*/
75
5819a761
AL
76using namespace std;
77
6c139d6e
AL
78pkgOrderList *pkgOrderList::Me = 0;
79
80// OrderList::pkgOrderList - Constructor /*{{{*/
81// ---------------------------------------------------------------------
82/* */
b2e465d6 83pkgOrderList::pkgOrderList(pkgDepCache *pCache) : Cache(*pCache)
6c139d6e 84{
281daf46 85 FileList = 0;
6c139d6e
AL
86 Primary = 0;
87 Secondary = 0;
88 RevDepends = 0;
89 Remove = 0;
90 LoopCount = -1;
b2e465d6
AL
91 Debug = _config->FindB("Debug::pkgOrderList",false);
92
6c139d6e
AL
93 /* Construct the arrays, egcs 1.0.1 bug requires the package count
94 hack */
b2e465d6 95 unsigned long Size = Cache.Head().PackageCount;
63d3141a 96 Flags = new unsigned short[Size];
6c139d6e
AL
97 End = List = new Package *[Size];
98 memset(Flags,0,sizeof(*Flags)*Size);
99}
100 /*}}}*/
101// OrderList::~pkgOrderList - Destructor /*{{{*/
102// ---------------------------------------------------------------------
103/* */
104pkgOrderList::~pkgOrderList()
105{
106 delete [] List;
107 delete [] Flags;
108}
109 /*}}}*/
2fd65468
AL
110// OrderList::IsMissing - Check if a file is missing /*{{{*/
111// ---------------------------------------------------------------------
112/* */
113bool pkgOrderList::IsMissing(PkgIterator Pkg)
114{
115 // Skip packages to erase
116 if (Cache[Pkg].Delete() == true)
117 return false;
118
119 // Skip Packages that need configure only.
120 if (Pkg.State() == pkgCache::PkgIterator::NeedsConfigure &&
121 Cache[Pkg].Keep() == true)
122 return false;
7cd4153b
AL
123
124 if (FileList == 0)
125 return false;
2fd65468 126
7cd4153b 127 if (FileList[Pkg->ID].empty() == false)
2fd65468
AL
128 return false;
129 return true;
130}
131 /*}}}*/
6c139d6e
AL
132// OrderList::DoRun - Does an order run /*{{{*/
133// ---------------------------------------------------------------------
134/* The caller is expeted to have setup the desired probe state */
135bool pkgOrderList::DoRun()
281daf46 136{
6c139d6e 137 // Temp list
b2e465d6
AL
138 unsigned long Size = Cache.Head().PackageCount;
139 SPtrArray<Package *> NList = new Package *[Size];
140 SPtrArray<Package *> AfterList = new Package *[Size];
63d3141a
AL
141 AfterEnd = AfterList;
142
6c139d6e
AL
143 Depth = 0;
144 WipeFlags(Added | AddPending | Loop | InList);
145
146 for (iterator I = List; I != End; I++)
147 Flag(*I,InList);
63d3141a 148
6c139d6e
AL
149 // Rebuild the main list into the temp list.
150 iterator OldEnd = End;
151 End = NList;
152 for (iterator I = List; I != OldEnd; I++)
153 if (VisitNode(PkgIterator(Cache,*I)) == false)
154 {
155 End = OldEnd;
6c139d6e
AL
156 return false;
157 }
158
63d3141a
AL
159 // Copy the after list to the end of the main list
160 for (Package **I = AfterList; I != AfterEnd; I++)
161 *End++ = *I;
162
6c139d6e
AL
163 // Swap the main list to the new list
164 delete [] List;
b2e465d6 165 List = NList.UnGuard();
6c139d6e
AL
166 return true;
167}
168 /*}}}*/
169// OrderList::OrderCritical - Perform critical unpacking ordering /*{{{*/
170// ---------------------------------------------------------------------
171/* This performs predepends and immediate configuration ordering only.
172 This is termed critical unpacking ordering. Any loops that form are
173 fatal and indicate that the packages cannot be installed. */
174bool pkgOrderList::OrderCritical()
175{
281daf46
AL
176 FileList = 0;
177
727f18af 178 Primary = &pkgOrderList::DepUnPackPre;
6c139d6e
AL
179 Secondary = 0;
180 RevDepends = 0;
181 Remove = 0;
182 LoopCount = 0;
183
184 // Sort
185 Me = this;
186 qsort(List,End - List,sizeof(*List),&OrderCompareB);
187
188 if (DoRun() == false)
189 return false;
190
191 if (LoopCount != 0)
192 return _error->Error("Fatal, predepends looping detected");
193 return true;
194}
195 /*}}}*/
196// OrderList::OrderUnpack - Perform complete unpacking ordering /*{{{*/
197// ---------------------------------------------------------------------
198/* This performs complete unpacking ordering and creates an order that is
199 suitable for unpacking */
281daf46 200bool pkgOrderList::OrderUnpack(string *FileList)
6c139d6e 201{
281daf46
AL
202 this->FileList = FileList;
203
63d3141a
AL
204 // Setup the after flags
205 if (FileList != 0)
206 {
207 WipeFlags(After);
208
209 // Set the inlist flag
210 for (iterator I = List; I != End; I++)
211 {
212 PkgIterator P(Cache,*I);
213 if (IsMissing(P) == true && IsNow(P) == true)
214 Flag(*I,After);
215 }
216 }
217
727f18af
AL
218 Primary = &pkgOrderList::DepUnPackCrit;
219 Secondary = &pkgOrderList::DepConfigure;
220 RevDepends = &pkgOrderList::DepUnPackDep;
221 Remove = &pkgOrderList::DepRemove;
6c139d6e
AL
222 LoopCount = -1;
223
224 // Sort
225 Me = this;
226 qsort(List,End - List,sizeof(*List),&OrderCompareA);
281daf46 227
b2e465d6
AL
228 if (Debug == true)
229 clog << "** Pass A" << endl;
6c139d6e
AL
230 if (DoRun() == false)
231 return false;
232
b2e465d6
AL
233 if (Debug == true)
234 clog << "** Pass B" << endl;
6c139d6e
AL
235 Secondary = 0;
236 if (DoRun() == false)
237 return false;
238
b2e465d6
AL
239 if (Debug == true)
240 clog << "** Pass C" << endl;
6c139d6e
AL
241 LoopCount = 0;
242 RevDepends = 0;
243 Remove = 0; // Otherwise the libreadline remove problem occures
244 if (DoRun() == false)
245 return false;
b2e465d6
AL
246
247 if (Debug == true)
248 clog << "** Pass D" << endl;
6c139d6e 249 LoopCount = 0;
727f18af 250 Primary = &pkgOrderList::DepUnPackPre;
6c139d6e
AL
251 if (DoRun() == false)
252 return false;
253
b2e465d6 254 if (Debug == true)
6c139d6e 255 {
b2e465d6
AL
256 clog << "** Unpack ordering done" << endl;
257
258 for (iterator I = List; I != End; I++)
259 {
260 PkgIterator P(Cache,*I);
261 if (IsNow(P) == true)
262 clog << P.Name() << ' ' << IsMissing(P) << ',' << IsFlag(P,After) << endl;
263 }
264 }
6c139d6e
AL
265
266 return true;
267}
268 /*}}}*/
269// OrderList::OrderConfigure - Perform configuration ordering /*{{{*/
270// ---------------------------------------------------------------------
271/* This orders by depends only and produces an order which is suitable
272 for configuration */
273bool pkgOrderList::OrderConfigure()
274{
281daf46 275 FileList = 0;
727f18af 276 Primary = &pkgOrderList::DepConfigure;
6c139d6e
AL
277 Secondary = 0;
278 RevDepends = 0;
279 Remove = 0;
280 LoopCount = -1;
281 return DoRun();
282}
283 /*}}}*/
6c139d6e
AL
284// OrderList::Score - Score the package for sorting /*{{{*/
285// ---------------------------------------------------------------------
286/* Higher scores order earlier */
287int pkgOrderList::Score(PkgIterator Pkg)
288{
289 // Removal is always done first
290 if (Cache[Pkg].Delete() == true)
291 return 200;
281daf46
AL
292
293 // This should never happen..
294 if (Cache[Pkg].InstVerIter(Cache).end() == true)
295 return -1;
296
6c139d6e
AL
297 int Score = 0;
298 if ((Pkg->Flags & pkgCache::Flag::Essential) == pkgCache::Flag::Essential)
299 Score += 100;
300
b2e465d6
AL
301 if (IsFlag(Pkg,Immediate) == true)
302 Score += 10;
303
6c139d6e
AL
304 for (DepIterator D = Cache[Pkg].InstVerIter(Cache).DependsList();
305 D.end() == false; D++)
306 if (D->Type == pkgCache::Dep::PreDepends)
307 {
308 Score += 50;
309 break;
310 }
311
312 // Important Required Standard Optional Extra
313 signed short PrioMap[] = {0,5,4,3,1,0};
314 if (Cache[Pkg].InstVerIter(Cache)->Priority <= 5)
315 Score += PrioMap[Cache[Pkg].InstVerIter(Cache)->Priority];
316 return Score;
317}
318 /*}}}*/
319// OrderList::FileCmp - Compare by package file /*{{{*/
320// ---------------------------------------------------------------------
321/* This compares by the package file that the install version is in. */
322int pkgOrderList::FileCmp(PkgIterator A,PkgIterator B)
323{
324 if (Cache[A].Delete() == true && Cache[B].Delete() == true)
325 return 0;
326 if (Cache[A].Delete() == true)
327 return -1;
328 if (Cache[B].Delete() == true)
329 return 1;
330
331 if (Cache[A].InstVerIter(Cache).FileList().end() == true)
332 return -1;
281daf46 333 if (Cache[B].InstVerIter(Cache).FileList().end() == true)
6c139d6e
AL
334 return 1;
335
336 pkgCache::PackageFile *FA = Cache[A].InstVerIter(Cache).FileList().File();
337 pkgCache::PackageFile *FB = Cache[B].InstVerIter(Cache).FileList().File();
338 if (FA < FB)
339 return -1;
340 if (FA > FB)
341 return 1;
342 return 0;
343}
344 /*}}}*/
281daf46
AL
345// BoolCompare - Comparison function for two booleans /*{{{*/
346// ---------------------------------------------------------------------
347/* */
348static int BoolCompare(bool A,bool B)
349{
350 if (A == B)
351 return 0;
352 if (A == false)
353 return -1;
354 return 1;
355}
356 /*}}}*/
6c139d6e
AL
357// OrderList::OrderCompareA - Order the installation by op /*{{{*/
358// ---------------------------------------------------------------------
359/* This provides a first-pass sort of the list and gives a decent starting
360 point for further complete ordering. It is used by OrderUnpack only */
361int pkgOrderList::OrderCompareA(const void *a, const void *b)
362{
363 PkgIterator A(Me->Cache,*(Package **)a);
364 PkgIterator B(Me->Cache,*(Package **)b);
365
281daf46
AL
366 // We order packages with a set state toward the front
367 int Res;
7834cb57 368 if ((Res = BoolCompare(Me->IsNow(A),Me->IsNow(B))) != 0)
281daf46
AL
369 return -1*Res;
370
371 // We order missing files to toward the end
63d3141a 372/* if (Me->FileList != 0)
281daf46 373 {
2fd65468 374 if ((Res = BoolCompare(Me->IsMissing(A),
7834cb57 375 Me->IsMissing(B))) != 0)
2fd65468 376 return Res;
63d3141a 377 }*/
281daf46 378
6c139d6e
AL
379 if (A.State() != pkgCache::PkgIterator::NeedsNothing &&
380 B.State() == pkgCache::PkgIterator::NeedsNothing)
381 return -1;
382
383 if (A.State() == pkgCache::PkgIterator::NeedsNothing &&
384 B.State() != pkgCache::PkgIterator::NeedsNothing)
385 return 1;
386
387 int ScoreA = Me->Score(A);
388 int ScoreB = Me->Score(B);
389 if (ScoreA > ScoreB)
390 return -1;
391
392 if (ScoreA < ScoreB)
393 return 1;
394
395 return strcmp(A.Name(),B.Name());
396}
397 /*}}}*/
398// OrderList::OrderCompareB - Order the installation by source /*{{{*/
399// ---------------------------------------------------------------------
b2e465d6 400/* This orders by installation source. This is useful to handle
6c139d6e
AL
401 inter-source breaks */
402int pkgOrderList::OrderCompareB(const void *a, const void *b)
403{
404 PkgIterator A(Me->Cache,*(Package **)a);
405 PkgIterator B(Me->Cache,*(Package **)b);
406
407 if (A.State() != pkgCache::PkgIterator::NeedsNothing &&
408 B.State() == pkgCache::PkgIterator::NeedsNothing)
409 return -1;
410
411 if (A.State() == pkgCache::PkgIterator::NeedsNothing &&
412 B.State() != pkgCache::PkgIterator::NeedsNothing)
413 return 1;
414
415 int F = Me->FileCmp(A,B);
416 if (F != 0)
417 {
418 if (F > 0)
419 return -1;
420 return 1;
421 }
422
423 int ScoreA = Me->Score(A);
424 int ScoreB = Me->Score(B);
425 if (ScoreA > ScoreB)
426 return -1;
427
428 if (ScoreA < ScoreB)
429 return 1;
430
431 return strcmp(A.Name(),B.Name());
432}
433 /*}}}*/
6c139d6e
AL
434// OrderList::VisitDeps - Visit forward install dependencies /*{{{*/
435// ---------------------------------------------------------------------
436/* This calls the dependency function for the normal forwards dependencies
437 of the package */
438bool pkgOrderList::VisitDeps(DepFunc F,PkgIterator Pkg)
439{
440 if (F == 0 || Pkg.end() == true || Cache[Pkg].InstallVer == 0)
441 return true;
442
443 return (this->*F)(Cache[Pkg].InstVerIter(Cache).DependsList());
444}
445 /*}}}*/
446// OrderList::VisitRDeps - Visit reverse dependencies /*{{{*/
447// ---------------------------------------------------------------------
448/* This calls the dependency function for all of the normal reverse depends
449 of the package */
450bool pkgOrderList::VisitRDeps(DepFunc F,PkgIterator Pkg)
451{
452 if (F == 0 || Pkg.end() == true)
453 return true;
454
455 return (this->*F)(Pkg.RevDependsList());
456}
457 /*}}}*/
458// OrderList::VisitRProvides - Visit provides reverse dependencies /*{{{*/
459// ---------------------------------------------------------------------
460/* This calls the dependency function for all reverse dependencies
461 generated by the provides line on the package. */
462bool pkgOrderList::VisitRProvides(DepFunc F,VerIterator Ver)
463{
464 if (F == 0 || Ver.end() == true)
465 return true;
466
467 bool Res = true;
468 for (PrvIterator P = Ver.ProvidesList(); P.end() == false; P++)
469 Res &= (this->*F)(P.ParentPkg().RevDependsList());
470 return true;
471}
472 /*}}}*/
473// OrderList::VisitProvides - Visit all of the providing packages /*{{{*/
474// ---------------------------------------------------------------------
475/* This routine calls visit on all providing packages. */
3fb5f4e4 476bool pkgOrderList::VisitProvides(DepIterator D,bool Critical)
25be5a8f 477{
b2e465d6 478 SPtrArray<Version *> List = D.AllTargets();
6c139d6e
AL
479 for (Version **I = List; *I != 0; I++)
480 {
481 VerIterator Ver(Cache,*I);
482 PkgIterator Pkg = Ver.ParentPkg();
25be5a8f
AL
483
484 if (Cache[Pkg].Keep() == true && Pkg.State() == PkgIterator::NeedsNothing)
6c139d6e
AL
485 continue;
486
b2e465d6 487 if (D->Type != pkgCache::Dep::Conflicts &&
308c7d30 488 D->Type != pkgCache::Dep::DpkgBreaks &&
b2e465d6
AL
489 D->Type != pkgCache::Dep::Obsoletes &&
490 Cache[Pkg].InstallVer != *I)
6c139d6e
AL
491 continue;
492
b2e465d6 493 if ((D->Type == pkgCache::Dep::Conflicts ||
308c7d30 494 D->Type == pkgCache::Dep::DpkgBreaks ||
b2e465d6
AL
495 D->Type == pkgCache::Dep::Obsoletes) &&
496 (Version *)Pkg.CurrentVer() != *I)
6c139d6e
AL
497 continue;
498
3fb5f4e4 499 // Skip over missing files
140fd43f 500 if (Critical == false && IsMissing(D.ParentPkg()) == true)
3fb5f4e4 501 continue;
25be5a8f 502
6c139d6e 503 if (VisitNode(Pkg) == false)
6c139d6e 504 return false;
6c139d6e 505 }
6c139d6e
AL
506 return true;
507}
508 /*}}}*/
509// OrderList::VisitNode - Recursive ordering director /*{{{*/
510// ---------------------------------------------------------------------
511/* This is the core ordering routine. It calls the set dependency
512 consideration functions which then potentialy call this again. Finite
513 depth is achived through the colouring mechinism. */
514bool pkgOrderList::VisitNode(PkgIterator Pkg)
515{
516 // Looping or irrelevent.
e1b74f61 517 // This should probably trancend not installed packages
6c139d6e
AL
518 if (Pkg.end() == true || IsFlag(Pkg,Added) == true ||
519 IsFlag(Pkg,AddPending) == true || IsFlag(Pkg,InList) == false)
520 return true;
521
b2e465d6
AL
522 if (Debug == true)
523 {
524 for (int j = 0; j != Depth; j++) clog << ' ';
525 clog << "Visit " << Pkg.Name() << endl;
526 }
527
6c139d6e
AL
528 Depth++;
529
530 // Color grey
531 Flag(Pkg,AddPending);
532
533 DepFunc Old = Primary;
534
535 // Perform immedate configuration of the package if so flagged.
727f18af
AL
536 if (IsFlag(Pkg,Immediate) == true && Primary != &pkgOrderList::DepUnPackPre)
537 Primary = &pkgOrderList::DepUnPackPreD;
281daf46
AL
538
539 if (IsNow(Pkg) == true)
6c139d6e 540 {
281daf46
AL
541 bool Res = true;
542 if (Cache[Pkg].Delete() == false)
543 {
544 // Primary
545 Res &= Res && VisitDeps(Primary,Pkg);
546 Res &= Res && VisitRDeps(Primary,Pkg);
547 Res &= Res && VisitRProvides(Primary,Pkg.CurrentVer());
548 Res &= Res && VisitRProvides(Primary,Cache[Pkg].InstVerIter(Cache));
549
550 // RevDep
551 Res &= Res && VisitRDeps(RevDepends,Pkg);
552 Res &= Res && VisitRProvides(RevDepends,Pkg.CurrentVer());
553 Res &= Res && VisitRProvides(RevDepends,Cache[Pkg].InstVerIter(Cache));
554
555 // Secondary
556 Res &= Res && VisitDeps(Secondary,Pkg);
557 Res &= Res && VisitRDeps(Secondary,Pkg);
558 Res &= Res && VisitRProvides(Secondary,Pkg.CurrentVer());
559 Res &= Res && VisitRProvides(Secondary,Cache[Pkg].InstVerIter(Cache));
560 }
561 else
562 {
563 // RevDep
564 Res &= Res && VisitRDeps(Remove,Pkg);
565 Res &= Res && VisitRProvides(Remove,Pkg.CurrentVer());
566 }
6c139d6e 567 }
281daf46 568
6c139d6e
AL
569 if (IsFlag(Pkg,Added) == false)
570 {
571 Flag(Pkg,Added,Added | AddPending);
63d3141a
AL
572 if (IsFlag(Pkg,After) == true)
573 *AfterEnd++ = Pkg;
574 else
575 *End++ = Pkg;
6c139d6e
AL
576 }
577
578 Primary = Old;
579 Depth--;
6c139d6e 580
b2e465d6
AL
581 if (Debug == true)
582 {
583 for (int j = 0; j != Depth; j++) clog << ' ';
584 clog << "Leave " << Pkg.Name() << ' ' << IsFlag(Pkg,Added) << ',' << IsFlag(Pkg,AddPending) << endl;
585 }
586
6c139d6e
AL
587 return true;
588}
589 /*}}}*/
6c139d6e
AL
590// OrderList::DepUnPackCrit - Critical UnPacking ordering /*{{{*/
591// ---------------------------------------------------------------------
592/* Critical unpacking ordering strives to satisfy Conflicts: and
593 PreDepends: only. When a prdepends is encountered the Primary
594 DepFunc is changed to be DepUnPackPreD.
595
596 Loops are preprocessed and logged. */
597bool pkgOrderList::DepUnPackCrit(DepIterator D)
598{
599 for (; D.end() == false; D++)
600 {
601 if (D.Reverse() == true)
602 {
603 /* Reverse depenanices are only interested in conflicts,
604 predepend breakage is ignored here */
b2e465d6
AL
605 if (D->Type != pkgCache::Dep::Conflicts &&
606 D->Type != pkgCache::Dep::Obsoletes)
6c139d6e
AL
607 continue;
608
609 // Duplication elimination, consider only the current version
610 if (D.ParentPkg().CurrentVer() != D.ParentVer())
611 continue;
612
613 /* For reverse dependencies we wish to check if the
614 dependency is satisifed in the install state. The
615 target package (caller) is going to be in the installed
616 state. */
617 if (CheckDep(D) == true)
618 continue;
619
620 if (VisitNode(D.ParentPkg()) == false)
621 return false;
622 }
623 else
624 {
625 /* Forward critical dependencies MUST be correct before the
626 package can be unpacked. */
b2e465d6 627 if (D->Type != pkgCache::Dep::Conflicts &&
308c7d30 628 D->Type != pkgCache::Dep::DpkgBreaks &&
b2e465d6
AL
629 D->Type != pkgCache::Dep::Obsoletes &&
630 D->Type != pkgCache::Dep::PreDepends)
6c139d6e
AL
631 continue;
632
633 /* We wish to check if the dep is okay in the now state of the
634 target package against the install state of this package. */
635 if (CheckDep(D) == true)
636 {
637 /* We want to catch predepends loops with the code below.
638 Conflicts loops that are Dep OK are ignored */
639 if (IsFlag(D.TargetPkg(),AddPending) == false ||
640 D->Type != pkgCache::Dep::PreDepends)
641 continue;
642 }
643
644 // This is the loop detection
645 if (IsFlag(D.TargetPkg(),Added) == true ||
646 IsFlag(D.TargetPkg(),AddPending) == true)
647 {
648 if (IsFlag(D.TargetPkg(),AddPending) == true)
649 AddLoop(D);
650 continue;
651 }
652
653 /* Predepends require a special ordering stage, they must have
654 all dependents installed as well */
655 DepFunc Old = Primary;
656 bool Res = false;
657 if (D->Type == pkgCache::Dep::PreDepends)
727f18af 658 Primary = &pkgOrderList::DepUnPackPreD;
3fb5f4e4 659 Res = VisitProvides(D,true);
6c139d6e
AL
660 Primary = Old;
661 if (Res == false)
662 return false;
663 }
664 }
665 return true;
666}
92fcbfc1 667 /*}}}*/
6c139d6e
AL
668// OrderList::DepUnPackPreD - Critical UnPacking ordering with depends /*{{{*/
669// ---------------------------------------------------------------------
670/* Critical PreDepends (also configure immediate and essential) strives to
671 ensure not only that all conflicts+predepends are met but that this
92fcbfc1 672 package will be immediately configurable when it is unpacked.
6c139d6e
AL
673 Loops are preprocessed and logged. */
674bool pkgOrderList::DepUnPackPreD(DepIterator D)
675{
676 if (D.Reverse() == true)
677 return DepUnPackCrit(D);
678
679 for (; D.end() == false; D++)
680 {
681 if (D.IsCritical() == false)
682 continue;
683
684 /* We wish to check if the dep is okay in the now state of the
685 target package against the install state of this package. */
686 if (CheckDep(D) == true)
687 {
688 /* We want to catch predepends loops with the code below.
689 Conflicts loops that are Dep OK are ignored */
690 if (IsFlag(D.TargetPkg(),AddPending) == false ||
691 D->Type != pkgCache::Dep::PreDepends)
692 continue;
693 }
694
695 // This is the loop detection
696 if (IsFlag(D.TargetPkg(),Added) == true ||
697 IsFlag(D.TargetPkg(),AddPending) == true)
698 {
699 if (IsFlag(D.TargetPkg(),AddPending) == true)
700 AddLoop(D);
701 continue;
702 }
703
3fb5f4e4 704 if (VisitProvides(D,true) == false)
6c139d6e
AL
705 return false;
706 }
707 return true;
708}
709 /*}}}*/
710// OrderList::DepUnPackPre - Critical Predepends ordering /*{{{*/
711// ---------------------------------------------------------------------
712/* Critical PreDepends (also configure immediate and essential) strives to
713 ensure not only that all conflicts+predepends are met but that this
714 package will be immediately configurable when it is unpacked.
715
716 Loops are preprocessed and logged. All loops will be fatal. */
717bool pkgOrderList::DepUnPackPre(DepIterator D)
718{
719 if (D.Reverse() == true)
720 return true;
721
722 for (; D.end() == false; D++)
723 {
724 /* Only consider the PreDepends or Depends. Depends are only
725 considered at the lowest depth or in the case of immediate
726 configure */
727 if (D->Type != pkgCache::Dep::PreDepends)
728 {
729 if (D->Type == pkgCache::Dep::Depends)
730 {
731 if (Depth == 1 && IsFlag(D.ParentPkg(),Immediate) == false)
732 continue;
733 }
734 else
735 continue;
736 }
b2e465d6 737
6c139d6e
AL
738 /* We wish to check if the dep is okay in the now state of the
739 target package against the install state of this package. */
740 if (CheckDep(D) == true)
741 {
742 /* We want to catch predepends loops with the code below.
743 Conflicts loops that are Dep OK are ignored */
744 if (IsFlag(D.TargetPkg(),AddPending) == false)
745 continue;
746 }
b2e465d6 747
6c139d6e
AL
748 // This is the loop detection
749 if (IsFlag(D.TargetPkg(),Added) == true ||
750 IsFlag(D.TargetPkg(),AddPending) == true)
751 {
752 if (IsFlag(D.TargetPkg(),AddPending) == true)
753 AddLoop(D);
754 continue;
755 }
756
3fb5f4e4 757 if (VisitProvides(D,true) == false)
6c139d6e
AL
758 return false;
759 }
760 return true;
761}
762 /*}}}*/
763// OrderList::DepUnPackDep - Reverse dependency considerations /*{{{*/
764// ---------------------------------------------------------------------
765/* Reverse dependencies are considered to determine if unpacking this
766 package will break any existing dependencies. If so then those
767 packages are ordered before this one so that they are in the
768 UnPacked state.
769
770 The forwards depends loop is designed to bring the packages dependents
771 close to the package. This helps reduce deconfigure time.
772
773 Loops are irrelevent to this. */
774bool pkgOrderList::DepUnPackDep(DepIterator D)
775{
776
777 for (; D.end() == false; D++)
778 if (D.IsCritical() == true)
779 {
780 if (D.Reverse() == true)
781 {
782 /* Duplication prevention. We consider rev deps only on
783 the current version, a not installed package
784 cannot break */
785 if (D.ParentPkg()->CurrentVer == 0 ||
786 D.ParentPkg().CurrentVer() != D.ParentVer())
787 continue;
788
789 // The dep will not break so it is irrelevent.
790 if (CheckDep(D) == true)
791 continue;
792
3fb5f4e4
AL
793 // Skip over missing files
794 if (IsMissing(D.ParentPkg()) == true)
795 continue;
796
6c139d6e
AL
797 if (VisitNode(D.ParentPkg()) == false)
798 return false;
799 }
800 else
308c7d30 801 {
6c139d6e 802 if (D->Type == pkgCache::Dep::Depends)
3fb5f4e4 803 if (VisitProvides(D,false) == false)
6c139d6e 804 return false;
308c7d30
IJ
805
806 if (D->Type == pkgCache::Dep::DpkgBreaks)
807 {
808 if (CheckDep(D) == true)
809 continue;
810
811 if (VisitNode(D.TargetPkg()) == false)
812 return false;
813 }
814 }
6c139d6e
AL
815 }
816 return true;
817}
818 /*}}}*/
819// OrderList::DepConfigure - Configuration ordering /*{{{*/
820// ---------------------------------------------------------------------
821/* Configuration only ordering orders by the Depends: line only. It
822 orders configuration so that when a package comes to be configured it's
823 dependents are configured.
824
825 Loops are ingored. Depends loop entry points are chaotic. */
826bool pkgOrderList::DepConfigure(DepIterator D)
827{
828 // Never consider reverse configuration dependencies.
829 if (D.Reverse() == true)
830 return true;
831
832 for (; D.end() == false; D++)
833 if (D->Type == pkgCache::Dep::Depends)
3fb5f4e4 834 if (VisitProvides(D,false) == false)
6c139d6e
AL
835 return false;
836 return true;
837}
838 /*}}}*/
839// OrderList::DepRemove - Removal ordering /*{{{*/
840// ---------------------------------------------------------------------
841/* Removal visits all reverse depends. It considers if the dependency
842 of the Now state version to see if it is okay with removing this
843 package. This check should always fail, but is provided for symetery
844 with the other critical handlers.
845
846 Loops are preprocessed and logged. Removal loops can also be
847 detected in the critical handler. They are characterized by an
848 old version of A depending on B but the new version of A conflicting
849 with B, thus either A or B must break to install. */
850bool pkgOrderList::DepRemove(DepIterator D)
851{
852 if (D.Reverse() == false)
853 return true;
854 for (; D.end() == false; D++)
855 if (D->Type == pkgCache::Dep::Depends || D->Type == pkgCache::Dep::PreDepends)
856 {
857 // Duplication elimination, consider the current version only
858 if (D.ParentPkg().CurrentVer() != D.ParentVer())
859 continue;
860
861 /* We wish to see if the dep on the parent package is okay
862 in the removed (install) state of the target pkg. */
863 if (CheckDep(D) == true)
864 {
865 // We want to catch loops with the code below.
866 if (IsFlag(D.ParentPkg(),AddPending) == false)
867 continue;
868 }
869
870 // This is the loop detection
871 if (IsFlag(D.ParentPkg(),Added) == true ||
872 IsFlag(D.ParentPkg(),AddPending) == true)
873 {
874 if (IsFlag(D.ParentPkg(),AddPending) == true)
875 AddLoop(D);
876 continue;
877 }
878
3fb5f4e4
AL
879 // Skip over missing files
880 if (IsMissing(D.ParentPkg()) == true)
881 continue;
882
6c139d6e
AL
883 if (VisitNode(D.ParentPkg()) == false)
884 return false;
885 }
886
887 return true;
888}
889 /*}}}*/
6c139d6e
AL
890// OrderList::AddLoop - Add a loop to the loop list /*{{{*/
891// ---------------------------------------------------------------------
892/* We record the loops. This is a relic since loop breaking is done
893 genericaly as part of the safety routines. */
894bool pkgOrderList::AddLoop(DepIterator D)
895{
896 if (LoopCount < 0 || LoopCount >= 20)
897 return false;
898
899 // Skip dups
900 if (LoopCount != 0)
901 {
902 if (Loops[LoopCount - 1].ParentPkg() == D.ParentPkg() ||
903 Loops[LoopCount - 1].TargetPkg() == D.ParentPkg())
904 return true;
905 }
906
907 Loops[LoopCount++] = D;
908
909 // Mark the packages as being part of a loop.
910 Flag(D.TargetPkg(),Loop);
911 Flag(D.ParentPkg(),Loop);
912 return true;
913}
914 /*}}}*/
915// OrderList::WipeFlags - Unset the given flags from all packages /*{{{*/
916// ---------------------------------------------------------------------
917/* */
918void pkgOrderList::WipeFlags(unsigned long F)
919{
b2e465d6 920 unsigned long Size = Cache.Head().PackageCount;
6c139d6e
AL
921 for (unsigned long I = 0; I != Size; I++)
922 Flags[I] &= ~F;
923}
924 /*}}}*/
925// OrderList::CheckDep - Check a dependency for truth /*{{{*/
926// ---------------------------------------------------------------------
927/* This performs a complete analysis of the dependency wrt to the
928 current add list. It returns true if after all events are
929 performed it is still true. This sort of routine can be approximated
930 by examining the DepCache, however in convoluted cases of provides
931 this fails to produce a suitable result. */
932bool pkgOrderList::CheckDep(DepIterator D)
933{
b2e465d6 934 SPtrArray<Version *> List = D.AllTargets();
63d3141a 935 bool Hit = false;
6c139d6e
AL
936 for (Version **I = List; *I != 0; I++)
937 {
938 VerIterator Ver(Cache,*I);
939 PkgIterator Pkg = Ver.ParentPkg();
940
941 /* The meaning of Added and AddPending is subtle. AddPending is
942 an indication that the package is looping. Because of the
943 way ordering works Added means the package will be unpacked
944 before this one and AddPending means after. It is therefore
945 correct to ignore AddPending in all cases, but that exposes
63d3141a
AL
946 reverse-ordering loops which should be ignored. */
947 if (IsFlag(Pkg,Added) == true ||
6c139d6e
AL
948 (IsFlag(Pkg,AddPending) == true && D.Reverse() == true))
949 {
950 if (Cache[Pkg].InstallVer != *I)
951 continue;
952 }
953 else
954 if ((Version *)Pkg.CurrentVer() != *I ||
955 Pkg.State() != PkgIterator::NeedsNothing)
956 continue;
b2e465d6 957
6c139d6e
AL
958 /* Conflicts requires that all versions are not present, depends
959 just needs one */
b2e465d6 960 if (D->Type != pkgCache::Dep::Conflicts &&
308c7d30 961 D->Type != pkgCache::Dep::DpkgBreaks &&
b2e465d6 962 D->Type != pkgCache::Dep::Obsoletes)
63d3141a
AL
963 {
964 /* Try to find something that does not have the after flag set
965 if at all possible */
966 if (IsFlag(Pkg,After) == true)
967 {
968 Hit = true;
969 continue;
970 }
971
6c139d6e 972 return true;
63d3141a 973 }
6c139d6e 974 else
63d3141a
AL
975 {
976 if (IsFlag(Pkg,After) == true)
977 Flag(D.ParentPkg(),After);
978
6c139d6e 979 return false;
63d3141a 980 }
6c139d6e 981 }
63d3141a
AL
982
983 // We found a hit, but it had the after flag set
984 if (Hit == true && D->Type == pkgCache::Dep::PreDepends)
985 {
986 Flag(D.ParentPkg(),After);
987 return true;
988 }
989
6c139d6e
AL
990 /* Conflicts requires that all versions are not present, depends
991 just needs one */
b2e465d6
AL
992 if (D->Type == pkgCache::Dep::Conflicts ||
993 D->Type == pkgCache::Dep::Obsoletes)
6c139d6e
AL
994 return true;
995 return false;
996}
997 /*}}}*/