]> git.saurik.com Git - apt.git/blob - apt-pkg/depcache.cc
* apt-pkg/depcache.cc:
[apt.git] / apt-pkg / depcache.cc
1 // -*- mode: cpp; mode: fold -*-
2 // Description /*{{{*/
3 // $Id: depcache.cc,v 1.25 2001/05/27 05:36:04 jgg Exp $
4 /* ######################################################################
5
6 Dependency Cache - Caches Dependency information.
7
8 ##################################################################### */
9 /*}}}*/
10 // Include Files /*{{{*/
11 #include <apt-pkg/depcache.h>
12 #include <apt-pkg/version.h>
13 #include <apt-pkg/versionmatch.h>
14 #include <apt-pkg/error.h>
15 #include <apt-pkg/sptr.h>
16 #include <apt-pkg/algorithms.h>
17
18 #include <apt-pkg/fileutl.h>
19 #include <apt-pkg/strutl.h>
20 #include <apt-pkg/configuration.h>
21 #include <apt-pkg/aptconfiguration.h>
22 #include <apt-pkg/pkgsystem.h>
23 #include <apt-pkg/tagfile.h>
24
25 #include <iostream>
26 #include <sstream>
27 #include <set>
28
29 #include <sys/stat.h>
30
31 #include <apti18n.h>
32 /*}}}*/
33 // helper for Install-Recommends-Sections and Never-MarkAuto-Sections /*{{{*/
34 static bool
35 ConfigValueInSubTree(const char* SubTree, const char *needle)
36 {
37 Configuration::Item const *Opts;
38 Opts = _config->Tree(SubTree);
39 if (Opts != 0 && Opts->Child != 0)
40 {
41 Opts = Opts->Child;
42 for (; Opts != 0; Opts = Opts->Next)
43 {
44 if (Opts->Value.empty() == true)
45 continue;
46 if (strcmp(needle, Opts->Value.c_str()) == 0)
47 return true;
48 }
49 }
50 return false;
51 }
52 /*}}}*/
53 pkgDepCache::ActionGroup::ActionGroup(pkgDepCache &cache) : /*{{{*/
54 cache(cache), released(false)
55 {
56 ++cache.group_level;
57 }
58
59 void pkgDepCache::ActionGroup::release()
60 {
61 if(!released)
62 {
63 if(cache.group_level == 0)
64 std::cerr << "W: Unbalanced action groups, expect badness" << std::endl;
65 else
66 {
67 --cache.group_level;
68
69 if(cache.group_level == 0)
70 cache.MarkAndSweep();
71 }
72
73 released = true;
74 }
75 }
76
77 pkgDepCache::ActionGroup::~ActionGroup()
78 {
79 release();
80 }
81 /*}}}*/
82 // DepCache::pkgDepCache - Constructors /*{{{*/
83 // ---------------------------------------------------------------------
84 /* */
85 pkgDepCache::pkgDepCache(pkgCache *pCache,Policy *Plcy) :
86 group_level(0), Cache(pCache), PkgState(0), DepState(0)
87 {
88 DebugMarker = _config->FindB("Debug::pkgDepCache::Marker", false);
89 DebugAutoInstall = _config->FindB("Debug::pkgDepCache::AutoInstall", false);
90 delLocalPolicy = 0;
91 LocalPolicy = Plcy;
92 if (LocalPolicy == 0)
93 delLocalPolicy = LocalPolicy = new Policy;
94 }
95 /*}}}*/
96 // DepCache::~pkgDepCache - Destructor /*{{{*/
97 // ---------------------------------------------------------------------
98 /* */
99 pkgDepCache::~pkgDepCache()
100 {
101 delete [] PkgState;
102 delete [] DepState;
103 delete delLocalPolicy;
104 }
105 /*}}}*/
106 // DepCache::Init - Generate the initial extra structures. /*{{{*/
107 // ---------------------------------------------------------------------
108 /* This allocats the extension buffers and initializes them. */
109 bool pkgDepCache::Init(OpProgress *Prog)
110 {
111 // Suppress mark updates during this operation (just in case) and
112 // run a mark operation when Init terminates.
113 ActionGroup actions(*this);
114
115 delete [] PkgState;
116 delete [] DepState;
117 PkgState = new StateCache[Head().PackageCount];
118 DepState = new unsigned char[Head().DependsCount];
119 memset(PkgState,0,sizeof(*PkgState)*Head().PackageCount);
120 memset(DepState,0,sizeof(*DepState)*Head().DependsCount);
121
122 if (Prog != 0)
123 {
124 Prog->OverallProgress(0,2*Head().PackageCount,Head().PackageCount,
125 _("Building dependency tree"));
126 Prog->SubProgress(Head().PackageCount,_("Candidate versions"));
127 }
128
129 /* Set the current state of everything. In this state all of the
130 packages are kept exactly as is. See AllUpgrade */
131 int Done = 0;
132 for (PkgIterator I = PkgBegin(); I.end() != true; I++,Done++)
133 {
134 if (Prog != 0 && Done%20 == 0)
135 Prog->Progress(Done);
136
137 // Find the proper cache slot
138 StateCache &State = PkgState[I->ID];
139 State.iFlags = 0;
140
141 // Figure out the install version
142 State.CandidateVer = GetCandidateVer(I);
143 State.InstallVer = I.CurrentVer();
144 State.Mode = ModeKeep;
145
146 State.Update(I,*this);
147 }
148
149 if (Prog != 0)
150 {
151
152 Prog->OverallProgress(Head().PackageCount,2*Head().PackageCount,
153 Head().PackageCount,
154 _("Building dependency tree"));
155 Prog->SubProgress(Head().PackageCount,_("Dependency generation"));
156 }
157
158 Update(Prog);
159
160 if(Prog != 0)
161 Prog->Done();
162
163 return true;
164 }
165 /*}}}*/
166 bool pkgDepCache::readStateFile(OpProgress *Prog) /*{{{*/
167 {
168 FileFd state_file;
169 string const state = _config->FindFile("Dir::State::extended_states");
170 if(RealFileExists(state)) {
171 state_file.Open(state, FileFd::ReadOnly);
172 int const file_size = state_file.Size();
173 if(Prog != NULL)
174 Prog->OverallProgress(0, file_size, 1,
175 _("Reading state information"));
176
177 pkgTagFile tagfile(&state_file);
178 pkgTagSection section;
179 int amt = 0;
180 bool const debug_autoremove = _config->FindB("Debug::pkgAutoRemove",false);
181 while(tagfile.Step(section)) {
182 string const pkgname = section.FindS("Package");
183 string pkgarch = section.FindS("Architecture");
184 if (pkgarch.empty() == true)
185 pkgarch = "any";
186 pkgCache::PkgIterator pkg = Cache->FindPkg(pkgname, pkgarch);
187 // Silently ignore unknown packages and packages with no actual version.
188 if(pkg.end() == true || pkg->VersionList == 0)
189 continue;
190
191 short const reason = section.FindI("Auto-Installed", 0);
192 if(reason > 0)
193 {
194 PkgState[pkg->ID].Flags |= Flag::Auto;
195 if (unlikely(debug_autoremove))
196 std::clog << "Auto-Installed : " << pkg.FullName() << std::endl;
197 if (pkgarch == "any")
198 {
199 pkgCache::GrpIterator G = pkg.Group();
200 for (pkg = G.NextPkg(pkg); pkg.end() != true; pkg = G.NextPkg(pkg))
201 if (pkg->VersionList != 0)
202 PkgState[pkg->ID].Flags |= Flag::Auto;
203 }
204 }
205 amt += section.size();
206 if(Prog != NULL)
207 Prog->OverallProgress(amt, file_size, 1,
208 _("Reading state information"));
209 }
210 if(Prog != NULL)
211 Prog->OverallProgress(file_size, file_size, 1,
212 _("Reading state information"));
213 }
214
215 return true;
216 }
217 /*}}}*/
218 bool pkgDepCache::writeStateFile(OpProgress *prog, bool InstalledOnly) /*{{{*/
219 {
220 bool const debug_autoremove = _config->FindB("Debug::pkgAutoRemove",false);
221
222 if(debug_autoremove)
223 std::clog << "pkgDepCache::writeStateFile()" << std::endl;
224
225 FileFd StateFile;
226 string const state = _config->FindFile("Dir::State::extended_states");
227
228 // if it does not exist, create a empty one
229 if(!RealFileExists(state))
230 {
231 StateFile.Open(state, FileFd::WriteAtomic);
232 StateFile.Close();
233 }
234
235 // open it
236 if(!StateFile.Open(state, FileFd::ReadOnly))
237 return _error->Error(_("Failed to open StateFile %s"),
238 state.c_str());
239
240 FILE *OutFile;
241 string const outfile = state + ".tmp";
242 if((OutFile = fopen(outfile.c_str(),"w")) == NULL)
243 return _error->Error(_("Failed to write temporary StateFile %s"),
244 outfile.c_str());
245
246 // first merge with the existing sections
247 pkgTagFile tagfile(&StateFile);
248 pkgTagSection section;
249 std::set<string> pkgs_seen;
250 const char *nullreorderlist[] = {0};
251 while(tagfile.Step(section)) {
252 string const pkgname = section.FindS("Package");
253 string pkgarch = section.FindS("Architecture");
254 if (pkgarch.empty() == true)
255 pkgarch = "native";
256 // Silently ignore unknown packages and packages with no actual
257 // version.
258 pkgCache::PkgIterator pkg = Cache->FindPkg(pkgname, pkgarch);
259 if(pkg.end() || pkg.VersionList().end())
260 continue;
261 StateCache const &P = PkgState[pkg->ID];
262 bool newAuto = (P.Flags & Flag::Auto);
263 // skip not installed or now-removed ones if requested
264 if (InstalledOnly && (
265 (pkg->CurrentVer == 0 && P.Mode != ModeInstall) ||
266 (pkg->CurrentVer != 0 && P.Mode == ModeDelete)))
267 {
268 // The section is obsolete if it contains no other tag
269 unsigned int const count = section.Count();
270 if (count < 2 ||
271 (count == 2 && section.Exists("Auto-Installed")) ||
272 (count == 3 && section.Exists("Auto-Installed") && section.Exists("Architecture")))
273 continue;
274 else
275 newAuto = false;
276 }
277 if(_config->FindB("Debug::pkgAutoRemove",false))
278 std::clog << "Update existing AutoInstall info: "
279 << pkg.FullName() << std::endl;
280 TFRewriteData rewrite[3];
281 rewrite[0].Tag = "Architecture";
282 rewrite[0].Rewrite = pkg.Arch();
283 rewrite[0].NewTag = 0;
284 rewrite[1].Tag = "Auto-Installed";
285 rewrite[1].Rewrite = newAuto ? "1" : "0";
286 rewrite[1].NewTag = 0;
287 rewrite[2].Tag = 0;
288 TFRewrite(OutFile, section, nullreorderlist, rewrite);
289 fprintf(OutFile,"\n");
290 pkgs_seen.insert(pkg.FullName());
291 }
292
293 // then write the ones we have not seen yet
294 std::ostringstream ostr;
295 for(pkgCache::PkgIterator pkg=Cache->PkgBegin(); !pkg.end(); pkg++) {
296 StateCache const &P = PkgState[pkg->ID];
297 if(P.Flags & Flag::Auto) {
298 if (pkgs_seen.find(pkg.FullName()) != pkgs_seen.end()) {
299 if(debug_autoremove)
300 std::clog << "Skipping already written " << pkg.FullName() << std::endl;
301 continue;
302 }
303 // skip not installed ones if requested
304 if (InstalledOnly && (
305 (pkg->CurrentVer == 0 && P.Mode != ModeInstall) ||
306 (pkg->CurrentVer != 0 && P.Mode == ModeDelete)))
307 continue;
308 const char* const pkgarch = pkg.Arch();
309 if (strcmp(pkgarch, "all") == 0)
310 continue;
311 if(debug_autoremove)
312 std::clog << "Writing new AutoInstall: " << pkg.FullName() << std::endl;
313 ostr.str(string(""));
314 ostr << "Package: " << pkg.Name()
315 << "\nArchitecture: " << pkgarch
316 << "\nAuto-Installed: 1\n\n";
317 fprintf(OutFile,"%s",ostr.str().c_str());
318 }
319 }
320 fclose(OutFile);
321
322 // move the outfile over the real file and set permissions
323 rename(outfile.c_str(), state.c_str());
324 chmod(state.c_str(), 0644);
325
326 return true;
327 }
328 /*}}}*/
329 // DepCache::CheckDep - Checks a single dependency /*{{{*/
330 // ---------------------------------------------------------------------
331 /* This first checks the dependency against the main target package and
332 then walks along the package provides list and checks if each provides
333 will be installed then checks the provides against the dep. Res will be
334 set to the package which was used to satisfy the dep. */
335 bool pkgDepCache::CheckDep(DepIterator Dep,int Type,PkgIterator &Res)
336 {
337 Res = Dep.TargetPkg();
338
339 /* Check simple depends. A depends -should- never self match but
340 we allow it anyhow because dpkg does. Technically it is a packaging
341 bug. Conflicts may never self match */
342 if (Dep.TargetPkg() != Dep.ParentPkg() || Dep.IsNegative() == false)
343 {
344 PkgIterator Pkg = Dep.TargetPkg();
345 // Check the base package
346 if (Type == NowVersion && Pkg->CurrentVer != 0)
347 if (VS().CheckDep(Pkg.CurrentVer().VerStr(),Dep->CompareOp,
348 Dep.TargetVer()) == true)
349 return true;
350
351 if (Type == InstallVersion && PkgState[Pkg->ID].InstallVer != 0)
352 if (VS().CheckDep(PkgState[Pkg->ID].InstVerIter(*this).VerStr(),
353 Dep->CompareOp,Dep.TargetVer()) == true)
354 return true;
355
356 if (Type == CandidateVersion && PkgState[Pkg->ID].CandidateVer != 0)
357 if (VS().CheckDep(PkgState[Pkg->ID].CandidateVerIter(*this).VerStr(),
358 Dep->CompareOp,Dep.TargetVer()) == true)
359 return true;
360 }
361
362 if (Dep->Type == Dep::Obsoletes)
363 return false;
364
365 // Check the providing packages
366 PrvIterator P = Dep.TargetPkg().ProvidesList();
367 PkgIterator Pkg = Dep.ParentPkg();
368 for (; P.end() != true; P++)
369 {
370 /* Provides may never be applied against the same package (or group)
371 if it is a conflicts. See the comment above. */
372 if (P.OwnerPkg()->Group == Pkg->Group && Dep.IsNegative() == true)
373 continue;
374
375 // Check if the provides is a hit
376 if (Type == NowVersion)
377 {
378 if (P.OwnerPkg().CurrentVer() != P.OwnerVer())
379 continue;
380 }
381
382 if (Type == InstallVersion)
383 {
384 StateCache &State = PkgState[P.OwnerPkg()->ID];
385 if (State.InstallVer != (Version *)P.OwnerVer())
386 continue;
387 }
388
389 if (Type == CandidateVersion)
390 {
391 StateCache &State = PkgState[P.OwnerPkg()->ID];
392 if (State.CandidateVer != (Version *)P.OwnerVer())
393 continue;
394 }
395
396 // Compare the versions.
397 if (VS().CheckDep(P.ProvideVersion(),Dep->CompareOp,Dep.TargetVer()) == true)
398 {
399 Res = P.OwnerPkg();
400 return true;
401 }
402 }
403
404 return false;
405 }
406 /*}}}*/
407 // DepCache::AddSizes - Add the packages sizes to the counters /*{{{*/
408 // ---------------------------------------------------------------------
409 /* Call with Inverse = true to preform the inverse opration */
410 void pkgDepCache::AddSizes(const PkgIterator &Pkg, bool const Inverse)
411 {
412 StateCache &P = PkgState[Pkg->ID];
413
414 if (Pkg->VersionList == 0)
415 return;
416
417 if (Pkg.State() == pkgCache::PkgIterator::NeedsConfigure &&
418 P.Keep() == true)
419 return;
420
421 // Compute the size data
422 if (P.NewInstall() == true)
423 {
424 if (Inverse == false) {
425 iUsrSize += P.InstVerIter(*this)->InstalledSize;
426 iDownloadSize += P.InstVerIter(*this)->Size;
427 } else {
428 iUsrSize -= P.InstVerIter(*this)->InstalledSize;
429 iDownloadSize -= P.InstVerIter(*this)->Size;
430 }
431 return;
432 }
433
434 // Upgrading
435 if (Pkg->CurrentVer != 0 &&
436 (P.InstallVer != (Version *)Pkg.CurrentVer() ||
437 (P.iFlags & ReInstall) == ReInstall) && P.InstallVer != 0)
438 {
439 if (Inverse == false) {
440 iUsrSize -= Pkg.CurrentVer()->InstalledSize;
441 iUsrSize += P.InstVerIter(*this)->InstalledSize;
442 iDownloadSize += P.InstVerIter(*this)->Size;
443 } else {
444 iUsrSize -= P.InstVerIter(*this)->InstalledSize;
445 iUsrSize += Pkg.CurrentVer()->InstalledSize;
446 iDownloadSize -= P.InstVerIter(*this)->Size;
447 }
448 return;
449 }
450
451 // Reinstall
452 if (Pkg.State() == pkgCache::PkgIterator::NeedsUnpack &&
453 P.Delete() == false)
454 {
455 if (Inverse == false)
456 iDownloadSize += P.InstVerIter(*this)->Size;
457 else
458 iDownloadSize -= P.InstVerIter(*this)->Size;
459 return;
460 }
461
462 // Removing
463 if (Pkg->CurrentVer != 0 && P.InstallVer == 0)
464 {
465 if (Inverse == false)
466 iUsrSize -= Pkg.CurrentVer()->InstalledSize;
467 else
468 iUsrSize += Pkg.CurrentVer()->InstalledSize;
469 return;
470 }
471 }
472 /*}}}*/
473 // DepCache::AddStates - Add the package to the state counter /*{{{*/
474 // ---------------------------------------------------------------------
475 /* This routine is tricky to use, you must make sure that it is never
476 called twice for the same package. This means the Remove/Add section
477 should be as short as possible and not encompass any code that will
478 calld Remove/Add itself. Remember, dependencies can be circular so
479 while processing a dep for Pkg it is possible that Add/Remove
480 will be called on Pkg */
481 void pkgDepCache::AddStates(const PkgIterator &Pkg, bool const Invert)
482 {
483 signed char const Add = (Invert == false) ? 1 : -1;
484 StateCache &State = PkgState[Pkg->ID];
485
486 // The Package is broken (either minimal dep or policy dep)
487 if ((State.DepState & DepInstMin) != DepInstMin)
488 iBrokenCount += Add;
489 if ((State.DepState & DepInstPolicy) != DepInstPolicy)
490 iPolicyBrokenCount += Add;
491
492 // Bad state
493 if (Pkg.State() != PkgIterator::NeedsNothing)
494 iBadCount += Add;
495
496 // Not installed
497 if (Pkg->CurrentVer == 0)
498 {
499 if (State.Mode == ModeDelete &&
500 (State.iFlags & Purge) == Purge && Pkg.Purge() == false)
501 iDelCount += Add;
502
503 if (State.Mode == ModeInstall)
504 iInstCount += Add;
505 return;
506 }
507
508 // Installed, no upgrade
509 if (State.Status == 0)
510 {
511 if (State.Mode == ModeDelete)
512 iDelCount += Add;
513 else
514 if ((State.iFlags & ReInstall) == ReInstall)
515 iInstCount += Add;
516
517 return;
518 }
519
520 // Alll 3 are possible
521 if (State.Mode == ModeDelete)
522 iDelCount += Add;
523 if (State.Mode == ModeKeep)
524 iKeepCount += Add;
525 if (State.Mode == ModeInstall)
526 iInstCount += Add;
527 }
528 /*}}}*/
529 // DepCache::BuildGroupOrs - Generate the Or group dep data /*{{{*/
530 // ---------------------------------------------------------------------
531 /* The or group results are stored in the last item of the or group. This
532 allows easy detection of the state of a whole or'd group. */
533 void pkgDepCache::BuildGroupOrs(VerIterator const &V)
534 {
535 unsigned char Group = 0;
536
537 for (DepIterator D = V.DependsList(); D.end() != true; D++)
538 {
539 // Build the dependency state.
540 unsigned char &State = DepState[D->ID];
541
542 /* Invert for Conflicts. We have to do this twice to get the
543 right sense for a conflicts group */
544 if (D.IsNegative() == true)
545 State = ~State;
546
547 // Add to the group if we are within an or..
548 State &= 0x7;
549 Group |= State;
550 State |= Group << 3;
551 if ((D->CompareOp & Dep::Or) != Dep::Or)
552 Group = 0;
553
554 // Invert for Conflicts
555 if (D.IsNegative() == true)
556 State = ~State;
557 }
558 }
559 /*}}}*/
560 // DepCache::VersionState - Perform a pass over a dependency list /*{{{*/
561 // ---------------------------------------------------------------------
562 /* This is used to run over a dependency list and determine the dep
563 state of the list, filtering it through both a Min check and a Policy
564 check. The return result will have SetMin/SetPolicy low if a check
565 fails. It uses the DepState cache for it's computations. */
566 unsigned char pkgDepCache::VersionState(DepIterator D,unsigned char Check,
567 unsigned char SetMin,
568 unsigned char SetPolicy)
569 {
570 unsigned char Dep = 0xFF;
571
572 while (D.end() != true)
573 {
574 // Compute a single dependency element (glob or)
575 DepIterator Start = D;
576 unsigned char State = 0;
577 for (bool LastOR = true; D.end() == false && LastOR == true; D++)
578 {
579 State |= DepState[D->ID];
580 LastOR = (D->CompareOp & Dep::Or) == Dep::Or;
581 }
582
583 // Minimum deps that must be satisfied to have a working package
584 if (Start.IsCritical() == true)
585 if ((State & Check) != Check)
586 Dep &= ~SetMin;
587
588 // Policy deps that must be satisfied to install the package
589 if (IsImportantDep(Start) == true &&
590 (State & Check) != Check)
591 Dep &= ~SetPolicy;
592 }
593
594 return Dep;
595 }
596 /*}}}*/
597 // DepCache::DependencyState - Compute the 3 results for a dep /*{{{*/
598 // ---------------------------------------------------------------------
599 /* This is the main dependency computation bit. It computes the 3 main
600 results for a dependencys, Now, Install and Candidate. Callers must
601 invert the result if dealing with conflicts. */
602 unsigned char pkgDepCache::DependencyState(DepIterator &D)
603 {
604 unsigned char State = 0;
605
606 if (CheckDep(D,NowVersion) == true)
607 State |= DepNow;
608 if (CheckDep(D,InstallVersion) == true)
609 State |= DepInstall;
610 if (CheckDep(D,CandidateVersion) == true)
611 State |= DepCVer;
612
613 return State;
614 }
615 /*}}}*/
616 // DepCache::UpdateVerState - Compute the Dep member of the state /*{{{*/
617 // ---------------------------------------------------------------------
618 /* This determines the combined dependency representation of a package
619 for its two states now and install. This is done by using the pre-generated
620 dependency information. */
621 void pkgDepCache::UpdateVerState(PkgIterator Pkg)
622 {
623 // Empty deps are always true
624 StateCache &State = PkgState[Pkg->ID];
625 State.DepState = 0xFF;
626
627 // Check the Current state
628 if (Pkg->CurrentVer != 0)
629 {
630 DepIterator D = Pkg.CurrentVer().DependsList();
631 State.DepState &= VersionState(D,DepNow,DepNowMin,DepNowPolicy);
632 }
633
634 /* Check the candidate state. We do not compare against the whole as
635 a candidate state but check the candidate version against the
636 install states */
637 if (State.CandidateVer != 0)
638 {
639 DepIterator D = State.CandidateVerIter(*this).DependsList();
640 State.DepState &= VersionState(D,DepInstall,DepCandMin,DepCandPolicy);
641 }
642
643 // Check target state which can only be current or installed
644 if (State.InstallVer != 0)
645 {
646 DepIterator D = State.InstVerIter(*this).DependsList();
647 State.DepState &= VersionState(D,DepInstall,DepInstMin,DepInstPolicy);
648 }
649 }
650 /*}}}*/
651 // DepCache::Update - Figure out all the state information /*{{{*/
652 // ---------------------------------------------------------------------
653 /* This will figure out the state of all the packages and all the
654 dependencies based on the current policy. */
655 void pkgDepCache::Update(OpProgress *Prog)
656 {
657 iUsrSize = 0;
658 iDownloadSize = 0;
659 iDelCount = 0;
660 iInstCount = 0;
661 iKeepCount = 0;
662 iBrokenCount = 0;
663 iBadCount = 0;
664
665 // Perform the depends pass
666 int Done = 0;
667 for (PkgIterator I = PkgBegin(); I.end() != true; I++,Done++)
668 {
669 if (Prog != 0 && Done%20 == 0)
670 Prog->Progress(Done);
671 for (VerIterator V = I.VersionList(); V.end() != true; V++)
672 {
673 unsigned char Group = 0;
674
675 for (DepIterator D = V.DependsList(); D.end() != true; D++)
676 {
677 // Build the dependency state.
678 unsigned char &State = DepState[D->ID];
679 State = DependencyState(D);
680
681 // Add to the group if we are within an or..
682 Group |= State;
683 State |= Group << 3;
684 if ((D->CompareOp & Dep::Or) != Dep::Or)
685 Group = 0;
686
687 // Invert for Conflicts
688 if (D.IsNegative() == true)
689 State = ~State;
690 }
691 }
692
693 // Compute the package dependency state and size additions
694 AddSizes(I);
695 UpdateVerState(I);
696 AddStates(I);
697 }
698
699 if (Prog != 0)
700 Prog->Progress(Done);
701
702 readStateFile(Prog);
703 }
704 /*}}}*/
705 // DepCache::Update - Update the deps list of a package /*{{{*/
706 // ---------------------------------------------------------------------
707 /* This is a helper for update that only does the dep portion of the scan.
708 It is mainly meant to scan reverse dependencies. */
709 void pkgDepCache::Update(DepIterator D)
710 {
711 // Update the reverse deps
712 for (;D.end() != true; D++)
713 {
714 unsigned char &State = DepState[D->ID];
715 State = DependencyState(D);
716
717 // Invert for Conflicts
718 if (D.IsNegative() == true)
719 State = ~State;
720
721 RemoveStates(D.ParentPkg());
722 BuildGroupOrs(D.ParentVer());
723 UpdateVerState(D.ParentPkg());
724 AddStates(D.ParentPkg());
725 }
726 }
727 /*}}}*/
728 // DepCache::Update - Update the related deps of a package /*{{{*/
729 // ---------------------------------------------------------------------
730 /* This is called whenever the state of a package changes. It updates
731 all cached dependencies related to this package. */
732 void pkgDepCache::Update(PkgIterator const &Pkg)
733 {
734 // Recompute the dep of the package
735 RemoveStates(Pkg);
736 UpdateVerState(Pkg);
737 AddStates(Pkg);
738
739 // Update the reverse deps
740 Update(Pkg.RevDependsList());
741
742 // Update the provides map for the current ver
743 if (Pkg->CurrentVer != 0)
744 for (PrvIterator P = Pkg.CurrentVer().ProvidesList();
745 P.end() != true; P++)
746 Update(P.ParentPkg().RevDependsList());
747
748 // Update the provides map for the candidate ver
749 if (PkgState[Pkg->ID].CandidateVer != 0)
750 for (PrvIterator P = PkgState[Pkg->ID].CandidateVerIter(*this).ProvidesList();
751 P.end() != true; P++)
752 Update(P.ParentPkg().RevDependsList());
753 }
754 /*}}}*/
755 // DepCache::MarkKeep - Put the package in the keep state /*{{{*/
756 // ---------------------------------------------------------------------
757 /* */
758 void pkgDepCache::MarkKeep(PkgIterator const &Pkg, bool Soft, bool FromUser,
759 unsigned long Depth)
760 {
761 if (IsModeChangeOk(ModeKeep, Pkg, Depth, FromUser) == false)
762 return;
763
764 /* Reject an attempt to keep a non-source broken installed package, those
765 must be upgraded */
766 if (Pkg.State() == PkgIterator::NeedsUnpack &&
767 Pkg.CurrentVer().Downloadable() == false)
768 return;
769
770 /* We changed the soft state all the time so the UI is a bit nicer
771 to use */
772 StateCache &P = PkgState[Pkg->ID];
773
774 // Check that it is not already kept
775 if (P.Mode == ModeKeep)
776 return;
777
778 if (Soft == true)
779 P.iFlags |= AutoKept;
780 else
781 P.iFlags &= ~AutoKept;
782
783 ActionGroup group(*this);
784
785 #if 0 // reseting the autoflag here means we lose the
786 // auto-mark information if a user selects a package for removal
787 // but changes his mind then and sets it for keep again
788 // - this makes sense as default when all Garbage dependencies
789 // are automatically marked for removal (as aptitude does).
790 // setting a package for keep then makes it no longer autoinstalled
791 // for all other use-case this action is rather suprising
792 if(FromUser && !P.Marked)
793 P.Flags &= ~Flag::Auto;
794 #endif
795
796 if (DebugMarker == true)
797 std::clog << OutputInDepth(Depth) << "MarkKeep " << Pkg << " FU=" << FromUser << std::endl;
798
799 RemoveSizes(Pkg);
800 RemoveStates(Pkg);
801
802 P.Mode = ModeKeep;
803 if (Pkg->CurrentVer == 0)
804 P.InstallVer = 0;
805 else
806 P.InstallVer = Pkg.CurrentVer();
807
808 AddStates(Pkg);
809
810 Update(Pkg);
811
812 AddSizes(Pkg);
813 }
814 /*}}}*/
815 // DepCache::MarkDelete - Put the package in the delete state /*{{{*/
816 // ---------------------------------------------------------------------
817 /* */
818 void pkgDepCache::MarkDelete(PkgIterator const &Pkg, bool rPurge,
819 unsigned long Depth, bool FromUser)
820 {
821 if (IsModeChangeOk(ModeDelete, Pkg, Depth, FromUser) == false)
822 return;
823
824 StateCache &P = PkgState[Pkg->ID];
825
826 // Check that it is not already marked for delete
827 if ((P.Mode == ModeDelete || P.InstallVer == 0) &&
828 (Pkg.Purge() == true || rPurge == false))
829 return;
830
831 // check if we are allowed to remove the package
832 if (IsDeleteOk(Pkg,rPurge,Depth,FromUser) == false)
833 return;
834
835 P.iFlags &= ~(AutoKept | Purge);
836 if (rPurge == true)
837 P.iFlags |= Purge;
838
839 ActionGroup group(*this);
840
841 if (DebugMarker == true)
842 std::clog << OutputInDepth(Depth) << (rPurge ? "MarkPurge " : "MarkDelete ") << Pkg << " FU=" << FromUser << std::endl;
843
844 RemoveSizes(Pkg);
845 RemoveStates(Pkg);
846
847 if (Pkg->CurrentVer == 0 && (Pkg.Purge() == true || rPurge == false))
848 P.Mode = ModeKeep;
849 else
850 P.Mode = ModeDelete;
851 P.InstallVer = 0;
852
853 AddStates(Pkg);
854 Update(Pkg);
855 AddSizes(Pkg);
856
857 }
858 /*}}}*/
859 // DepCache::IsDeleteOk - check if it is ok to remove this package /*{{{*/
860 // ---------------------------------------------------------------------
861 /* The default implementation tries to prevent deletion of install requests.
862 dpkg holds are enforced by the private IsModeChangeOk */
863 bool pkgDepCache::IsDeleteOk(PkgIterator const &Pkg,bool rPurge,
864 unsigned long Depth, bool FromUser)
865 {
866 if (FromUser == false && Pkg->CurrentVer == 0)
867 {
868 StateCache &P = PkgState[Pkg->ID];
869 if (P.InstallVer != 0 && P.Status == 2 && (P.Flags & Flag::Auto) != Flag::Auto)
870 {
871 if (DebugMarker == true)
872 std::clog << OutputInDepth(Depth) << "Manual install request prevents MarkDelete of " << Pkg << std::endl;
873 return false;
874 }
875 }
876 return true;
877 }
878 /*}}}*/
879 // DepCache::IsModeChangeOk - check if it is ok to change the mode /*{{{*/
880 // ---------------------------------------------------------------------
881 /* this is used by all Mark methods on the very first line to check sanity
882 and prevents mode changes for packages on hold for example.
883 If you want to check Mode specific stuff you can use the virtual public
884 Is<Mode>Ok methods instead */
885 char const* PrintMode(char const mode)
886 {
887 switch (mode)
888 {
889 case pkgDepCache::ModeInstall: return "Install";
890 case pkgDepCache::ModeKeep: return "Keep";
891 case pkgDepCache::ModeDelete: return "Delete";
892 default: return "UNKNOWN";
893 }
894 }
895 bool pkgDepCache::IsModeChangeOk(ModeList const mode, PkgIterator const &Pkg,
896 unsigned long const Depth, bool const FromUser)
897 {
898 // we are not trying to hard…
899 if (unlikely(Depth > 100))
900 return false;
901
902 // general sanity
903 if (unlikely(Pkg.end() == true || Pkg->VersionList == 0))
904 return false;
905
906 // the user is always right
907 if (FromUser == true)
908 return true;
909
910 StateCache &P = PkgState[Pkg->ID];
911
912 // if previous state was set by user only user can reset it
913 if ((P.iFlags & Protected) == Protected)
914 {
915 if (unlikely(DebugMarker == true) && P.Mode != mode)
916 std::clog << OutputInDepth(Depth) << "Ignore Mark" << PrintMode(mode)
917 << " of " << Pkg << " as its mode (" << PrintMode(P.Mode)
918 << ") is protected" << std::endl;
919 return false;
920 }
921 // enforce dpkg holds
922 else if (mode != ModeKeep && Pkg->SelectedState == pkgCache::State::Hold &&
923 _config->FindB("APT::Ignore-Hold",false) == false)
924 {
925 if (unlikely(DebugMarker == true) && P.Mode != mode)
926 std::clog << OutputInDepth(Depth) << "Hold prevents Mark" << PrintMode(mode)
927 << " of " << Pkg << std::endl;
928 return false;
929 }
930
931 return true;
932 }
933 /*}}}*/
934 // DepCache::MarkInstall - Put the package in the install state /*{{{*/
935 // ---------------------------------------------------------------------
936 /* */
937 void pkgDepCache::MarkInstall(PkgIterator const &Pkg,bool AutoInst,
938 unsigned long Depth, bool FromUser,
939 bool ForceImportantDeps)
940 {
941 if (IsModeChangeOk(ModeInstall, Pkg, Depth, FromUser) == false)
942 return;
943
944 StateCache &P = PkgState[Pkg->ID];
945
946 // See if there is even any possible instalation candidate
947 if (P.CandidateVer == 0)
948 return;
949
950 /* Check that it is not already marked for install and that it can be
951 installed */
952 if ((P.InstPolicyBroken() == false && P.InstBroken() == false) &&
953 (P.Mode == ModeInstall ||
954 P.CandidateVer == (Version *)Pkg.CurrentVer()))
955 {
956 if (P.CandidateVer == (Version *)Pkg.CurrentVer() && P.InstallVer == 0)
957 MarkKeep(Pkg, false, FromUser, Depth+1);
958 return;
959 }
960
961 // check if we are allowed to install the package
962 if (IsInstallOk(Pkg,AutoInst,Depth,FromUser) == false)
963 return;
964
965 ActionGroup group(*this);
966 P.iFlags &= ~AutoKept;
967
968 /* Target the candidate version and remove the autoflag. We reset the
969 autoflag below if this was called recursively. Otherwise the user
970 should have the ability to de-auto a package by changing its state */
971 RemoveSizes(Pkg);
972 RemoveStates(Pkg);
973
974 P.Mode = ModeInstall;
975 P.InstallVer = P.CandidateVer;
976
977 if(FromUser)
978 {
979 // Set it to manual if it's a new install or already installed,
980 // but only if its not marked by the autoremover (aptitude depend on this behavior)
981 // or if we do automatic installation (aptitude never does it)
982 if(P.Status == 2 || (Pkg->CurrentVer != 0 && (AutoInst == true || P.Marked == false)))
983 P.Flags &= ~Flag::Auto;
984 }
985 else
986 {
987 // Set it to auto if this is a new install.
988 if(P.Status == 2)
989 P.Flags |= Flag::Auto;
990 }
991 if (P.CandidateVer == (Version *)Pkg.CurrentVer())
992 P.Mode = ModeKeep;
993
994 AddStates(Pkg);
995 Update(Pkg);
996 AddSizes(Pkg);
997
998 if (AutoInst == false || _config->Find("APT::Solver", "internal") != "internal")
999 return;
1000
1001 if (DebugMarker == true)
1002 std::clog << OutputInDepth(Depth) << "MarkInstall " << Pkg << " FU=" << FromUser << std::endl;
1003
1004 DepIterator Dep = P.InstVerIter(*this).DependsList();
1005 for (; Dep.end() != true;)
1006 {
1007 // Grok or groups
1008 DepIterator Start = Dep;
1009 bool Result = true;
1010 unsigned Ors = 0;
1011 for (bool LastOR = true; Dep.end() == false && LastOR == true; Dep++,Ors++)
1012 {
1013 LastOR = (Dep->CompareOp & Dep::Or) == Dep::Or;
1014
1015 if ((DepState[Dep->ID] & DepInstall) == DepInstall)
1016 Result = false;
1017 }
1018
1019 // Dep is satisfied okay.
1020 if (Result == false)
1021 continue;
1022
1023 /* Check if this dep should be consider for install. If it is a user
1024 defined important dep and we are installed a new package then
1025 it will be installed. Otherwise we only check for important
1026 deps that have changed from the installed version
1027 */
1028 if (IsImportantDep(Start) == false)
1029 continue;
1030
1031 /* If we are in an or group locate the first or that can
1032 succeed. We have already cached this.. */
1033 for (; Ors > 1 && (DepState[Start->ID] & DepCVer) != DepCVer; --Ors)
1034 ++Start;
1035 if (Ors == 1 && (DepState[Start->ID] &DepCVer) != DepCVer && Start.IsNegative() == false)
1036 {
1037 if(DebugAutoInstall == true)
1038 std::clog << OutputInDepth(Depth) << Start << " can't be satisfied!" << std::endl;
1039 if (Start.IsCritical() == false)
1040 continue;
1041 // if the dependency was critical, we can't install it, so remove it again
1042 MarkDelete(Pkg,false,Depth + 1, false);
1043 return;
1044 }
1045
1046 /* Check if any ImportantDep() (but not Critical) were added
1047 * since we installed the package. Also check for deps that
1048 * were satisfied in the past: for instance, if a version
1049 * restriction in a Recommends was tightened, upgrading the
1050 * package should follow that Recommends rather than causing the
1051 * dependency to be removed. (bug #470115)
1052 */
1053 if (Pkg->CurrentVer != 0 && ForceImportantDeps == false && Start.IsCritical() == false)
1054 {
1055 bool isNewImportantDep = true;
1056 bool isPreviouslySatisfiedImportantDep = false;
1057 for (DepIterator D = Pkg.CurrentVer().DependsList(); D.end() != true; ++D)
1058 {
1059 //FIXME: Should we handle or-group better here?
1060 // We do not check if the package we look for is part of the same or-group
1061 // we might find while searching, but could that really be a problem?
1062 if (D.IsCritical() == true || IsImportantDep(D) == false ||
1063 Start.TargetPkg() != D.TargetPkg())
1064 continue;
1065
1066 isNewImportantDep = false;
1067
1068 while ((D->CompareOp & Dep::Or) != 0)
1069 ++D;
1070
1071 isPreviouslySatisfiedImportantDep = (((*this)[D] & DepGNow) != 0);
1072 if (isPreviouslySatisfiedImportantDep == true)
1073 break;
1074 }
1075
1076 if(isNewImportantDep == true)
1077 {
1078 if (DebugAutoInstall == true)
1079 std::clog << OutputInDepth(Depth) << "new important dependency: "
1080 << Start.TargetPkg().FullName() << std::endl;
1081 }
1082 else if(isPreviouslySatisfiedImportantDep == true)
1083 {
1084 if (DebugAutoInstall == true)
1085 std::clog << OutputInDepth(Depth) << "previously satisfied important dependency on "
1086 << Start.TargetPkg().FullName() << std::endl;
1087 }
1088 else
1089 {
1090 if (DebugAutoInstall == true)
1091 std::clog << OutputInDepth(Depth) << "ignore old unsatisfied important dependency on "
1092 << Start.TargetPkg().FullName() << std::endl;
1093 continue;
1094 }
1095 }
1096
1097 /* This bit is for processing the possibilty of an install/upgrade
1098 fixing the problem */
1099 SPtrArray<Version *> List = Start.AllTargets();
1100 if (Start->Type != Dep::DpkgBreaks &&
1101 (DepState[Start->ID] & DepCVer) == DepCVer)
1102 {
1103 // Right, find the best version to install..
1104 Version **Cur = List;
1105 PkgIterator P = Start.TargetPkg();
1106 PkgIterator InstPkg(*Cache,0);
1107
1108 // See if there are direct matches (at the start of the list)
1109 for (; *Cur != 0 && (*Cur)->ParentPkg == P.Index(); Cur++)
1110 {
1111 PkgIterator Pkg(*Cache,Cache->PkgP + (*Cur)->ParentPkg);
1112 if (PkgState[Pkg->ID].CandidateVer != *Cur)
1113 continue;
1114 InstPkg = Pkg;
1115 break;
1116 }
1117
1118 // Select the highest priority providing package
1119 if (InstPkg.end() == true)
1120 {
1121 pkgPrioSortList(*Cache,Cur);
1122 for (; *Cur != 0; Cur++)
1123 {
1124 PkgIterator Pkg(*Cache,Cache->PkgP + (*Cur)->ParentPkg);
1125 if (PkgState[Pkg->ID].CandidateVer != *Cur)
1126 continue;
1127 InstPkg = Pkg;
1128 break;
1129 }
1130 }
1131
1132 if (InstPkg.end() == false)
1133 {
1134 if(DebugAutoInstall == true)
1135 std::clog << OutputInDepth(Depth) << "Installing " << InstPkg.Name()
1136 << " as " << Start.DepType() << " of " << Pkg.Name()
1137 << std::endl;
1138 // now check if we should consider it a automatic dependency or not
1139 if(Pkg.Section() && ConfigValueInSubTree("APT::Never-MarkAuto-Sections", Pkg.Section()))
1140 {
1141 if(DebugAutoInstall == true)
1142 std::clog << OutputInDepth(Depth) << "Setting NOT as auto-installed (direct "
1143 << Start.DepType() << " of pkg in APT::Never-MarkAuto-Sections)" << std::endl;
1144 MarkInstall(InstPkg,true,Depth + 1, true);
1145 }
1146 else
1147 {
1148 // mark automatic dependency
1149 MarkInstall(InstPkg,true,Depth + 1, false, ForceImportantDeps);
1150 // Set the autoflag, after MarkInstall because MarkInstall unsets it
1151 if (P->CurrentVer == 0)
1152 PkgState[InstPkg->ID].Flags |= Flag::Auto;
1153 }
1154 }
1155 continue;
1156 }
1157
1158 /* For conflicts we just de-install the package and mark as auto,
1159 Conflicts may not have or groups. For dpkg's Breaks we try to
1160 upgrade the package. */
1161 if (Start.IsNegative() == true)
1162 {
1163 for (Version **I = List; *I != 0; I++)
1164 {
1165 VerIterator Ver(*this,*I);
1166 PkgIterator Pkg = Ver.ParentPkg();
1167
1168 /* The List includes all packages providing this dependency,
1169 even providers which are not installed, so skip them. */
1170 if (PkgState[Pkg->ID].InstallVer == 0)
1171 continue;
1172
1173 if (PkgState[Pkg->ID].CandidateVer != *I &&
1174 Start->Type == Dep::DpkgBreaks)
1175 MarkInstall(Pkg,true,Depth + 1, false, ForceImportantDeps);
1176 else
1177 MarkDelete(Pkg,false,Depth + 1, false);
1178 }
1179 continue;
1180 }
1181 }
1182 }
1183 /*}}}*/
1184 // DepCache::IsInstallOk - check if it is ok to install this package /*{{{*/
1185 // ---------------------------------------------------------------------
1186 /* The default implementation does nothing.
1187 dpkg holds are enforced by the private IsModeChangeOk */
1188 bool pkgDepCache::IsInstallOk(PkgIterator const &Pkg,bool AutoInst,
1189 unsigned long Depth, bool FromUser)
1190 {
1191 return true;
1192 }
1193 /*}}}*/
1194 // DepCache::SetReInstall - Set the reinstallation flag /*{{{*/
1195 // ---------------------------------------------------------------------
1196 /* */
1197 void pkgDepCache::SetReInstall(PkgIterator const &Pkg,bool To)
1198 {
1199 if (unlikely(Pkg.end() == true))
1200 return;
1201
1202 ActionGroup group(*this);
1203
1204 RemoveSizes(Pkg);
1205 RemoveStates(Pkg);
1206
1207 StateCache &P = PkgState[Pkg->ID];
1208 if (To == true)
1209 P.iFlags |= ReInstall;
1210 else
1211 P.iFlags &= ~ReInstall;
1212
1213 AddStates(Pkg);
1214 AddSizes(Pkg);
1215 }
1216 /*}}}*/
1217 // DepCache::SetCandidateVersion - Change the candidate version /*{{{*/
1218 // ---------------------------------------------------------------------
1219 /* */
1220 void pkgDepCache::SetCandidateVersion(VerIterator TargetVer)
1221 {
1222 pkgCache::PkgIterator Pkg = TargetVer.ParentPkg();
1223 StateCache &P = PkgState[Pkg->ID];
1224
1225 if (P.CandidateVer == TargetVer)
1226 return;
1227
1228 ActionGroup group(*this);
1229
1230 RemoveSizes(Pkg);
1231 RemoveStates(Pkg);
1232
1233 if (P.CandidateVer == P.InstallVer && P.Install() == true)
1234 P.InstallVer = (Version *)TargetVer;
1235 P.CandidateVer = (Version *)TargetVer;
1236 P.Update(Pkg,*this);
1237
1238 AddStates(Pkg);
1239 Update(Pkg);
1240 AddSizes(Pkg);
1241
1242 }
1243 /*}}}*/
1244 // DepCache::SetCandidateRelease - Change the candidate version /*{{{*/
1245 // ---------------------------------------------------------------------
1246 /* changes the candidate of a package and walks over all its dependencies
1247 to check if it needs to change the candidate of the dependency, too,
1248 to reach a installable versionstate */
1249 bool pkgDepCache::SetCandidateRelease(pkgCache::VerIterator TargetVer,
1250 std::string const &TargetRel)
1251 {
1252 std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> > Changed;
1253 return SetCandidateRelease(TargetVer, TargetRel, Changed);
1254 }
1255 bool pkgDepCache::SetCandidateRelease(pkgCache::VerIterator TargetVer,
1256 std::string const &TargetRel,
1257 std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> > &Changed)
1258 {
1259 ActionGroup group(*this);
1260 SetCandidateVersion(TargetVer);
1261
1262 if (TargetRel == "installed" || TargetRel == "candidate") // both doesn't make sense in this context
1263 return true;
1264
1265 pkgVersionMatch Match(TargetRel, pkgVersionMatch::Release);
1266 // save the position of the last element we will not undo - if we have to
1267 std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> >::iterator newChanged = --(Changed.end());
1268
1269 for (pkgCache::DepIterator D = TargetVer.DependsList(); D.end() == false; ++D)
1270 {
1271 if (D->Type != pkgCache::Dep::PreDepends && D->Type != pkgCache::Dep::Depends &&
1272 ((D->Type != pkgCache::Dep::Recommends && D->Type != pkgCache::Dep::Suggests) ||
1273 IsImportantDep(D) == false))
1274 continue;
1275
1276 // walk over an or-group and check if we need to do anything
1277 // for simpilicity no or-group is handled as a or-group including one dependency
1278 pkgCache::DepIterator Start = D;
1279 bool itsFine = false;
1280 for (bool stillOr = true; stillOr == true; ++Start)
1281 {
1282 stillOr = (Start->CompareOp & Dep::Or) == Dep::Or;
1283 pkgCache::PkgIterator const P = Start.TargetPkg();
1284 // virtual packages can't be a solution
1285 if (P.end() == true || (P->ProvidesList == 0 && P->VersionList == 0))
1286 continue;
1287 pkgCache::VerIterator const Cand = PkgState[P->ID].CandidateVerIter(*this);
1288 // no versioned dependency - but is it installable?
1289 if (Start.TargetVer() == 0 || Start.TargetVer()[0] == '\0')
1290 {
1291 // Check if one of the providers is installable
1292 if (P->ProvidesList != 0)
1293 {
1294 pkgCache::PrvIterator Prv = P.ProvidesList();
1295 for (; Prv.end() == false; ++Prv)
1296 {
1297 pkgCache::VerIterator const C = PkgState[Prv.OwnerPkg()->ID].CandidateVerIter(*this);
1298 if (C.end() == true || C != Prv.OwnerVer() ||
1299 (VersionState(C.DependsList(), DepInstall, DepCandMin, DepCandPolicy) & DepCandMin) != DepCandMin)
1300 continue;
1301 break;
1302 }
1303 if (Prv.end() == true)
1304 continue;
1305 }
1306 // no providers, so check if we have an installable candidate version
1307 else if (Cand.end() == true ||
1308 (VersionState(Cand.DependsList(), DepInstall, DepCandMin, DepCandPolicy) & DepCandMin) != DepCandMin)
1309 continue;
1310 itsFine = true;
1311 break;
1312 }
1313 if (Cand.end() == true)
1314 continue;
1315 // check if the current candidate is enough for the versioned dependency - and installable?
1316 if (VS().CheckDep(P.CandVersion(), Start->CompareOp, Start.TargetVer()) == true &&
1317 (VersionState(Cand.DependsList(), DepInstall, DepCandMin, DepCandPolicy) & DepCandMin) == DepCandMin)
1318 {
1319 itsFine = true;
1320 break;
1321 }
1322 }
1323
1324 if (itsFine == true) {
1325 // something in the or-group was fine, skip all other members
1326 for (; (D->CompareOp & Dep::Or) == Dep::Or; ++D);
1327 continue;
1328 }
1329
1330 // walk again over the or-group and check each if a candidate switch would help
1331 itsFine = false;
1332 for (bool stillOr = true; stillOr == true; ++D)
1333 {
1334 stillOr = (D->CompareOp & Dep::Or) == Dep::Or;
1335 // changing candidate will not help if the dependency is not versioned
1336 if (D.TargetVer() == 0 || D.TargetVer()[0] == '\0')
1337 {
1338 if (stillOr == true)
1339 continue;
1340 break;
1341 }
1342
1343 pkgCache::VerIterator V;
1344 if (TargetRel == "newest")
1345 V = D.TargetPkg().VersionList();
1346 else
1347 V = Match.Find(D.TargetPkg());
1348
1349 // check if the version from this release could satisfy the dependency
1350 if (V.end() == true || VS().CheckDep(V.VerStr(), D->CompareOp, D.TargetVer()) == false)
1351 {
1352 if (stillOr == true)
1353 continue;
1354 break;
1355 }
1356
1357 pkgCache::VerIterator oldCand = PkgState[D.TargetPkg()->ID].CandidateVerIter(*this);
1358 if (V == oldCand)
1359 {
1360 // Do we already touched this Version? If so, their versioned dependencies are okay, no need to check again
1361 for (std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> >::const_iterator c = Changed.begin();
1362 c != Changed.end(); ++c)
1363 {
1364 if (c->first->ParentPkg != V->ParentPkg)
1365 continue;
1366 itsFine = true;
1367 break;
1368 }
1369 }
1370
1371 if (itsFine == false)
1372 {
1373 // change the candidate
1374 Changed.push_back(make_pair(oldCand, TargetVer));
1375 if (SetCandidateRelease(V, TargetRel, Changed) == false)
1376 {
1377 if (stillOr == false)
1378 break;
1379 // undo the candidate changing
1380 SetCandidateVersion(oldCand);
1381 Changed.pop_back();
1382 continue;
1383 }
1384 itsFine = true;
1385 }
1386
1387 // something in the or-group was fine, skip all other members
1388 for (; (D->CompareOp & Dep::Or) == Dep::Or; ++D);
1389 break;
1390 }
1391
1392 if (itsFine == false && (D->Type == pkgCache::Dep::PreDepends || D->Type == pkgCache::Dep::Depends))
1393 {
1394 // undo all changes which aren't lead to a solution
1395 for (std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> >::const_iterator c = ++newChanged;
1396 c != Changed.end(); ++c)
1397 SetCandidateVersion(c->first);
1398 Changed.erase(newChanged, Changed.end());
1399 return false;
1400 }
1401 }
1402 return true;
1403 }
1404 /*}}}*/
1405 // DepCache::MarkAuto - set the Auto flag for a package /*{{{*/
1406 // ---------------------------------------------------------------------
1407 /* */
1408 void pkgDepCache::MarkAuto(const PkgIterator &Pkg, bool Auto)
1409 {
1410 StateCache &state = PkgState[Pkg->ID];
1411
1412 ActionGroup group(*this);
1413
1414 if(Auto)
1415 state.Flags |= Flag::Auto;
1416 else
1417 state.Flags &= ~Flag::Auto;
1418 }
1419 /*}}}*/
1420 // StateCache::Update - Compute the various static display things /*{{{*/
1421 // ---------------------------------------------------------------------
1422 /* This is called whenever the Candidate version changes. */
1423 void pkgDepCache::StateCache::Update(PkgIterator Pkg,pkgCache &Cache)
1424 {
1425 // Some info
1426 VerIterator Ver = CandidateVerIter(Cache);
1427
1428 // Use a null string or the version string
1429 if (Ver.end() == true)
1430 CandVersion = "";
1431 else
1432 CandVersion = Ver.VerStr();
1433
1434 // Find the current version
1435 CurVersion = "";
1436 if (Pkg->CurrentVer != 0)
1437 CurVersion = Pkg.CurrentVer().VerStr();
1438
1439 // Strip off the epochs for display
1440 CurVersion = StripEpoch(CurVersion);
1441 CandVersion = StripEpoch(CandVersion);
1442
1443 // Figure out if its up or down or equal
1444 Status = Ver.CompareVer(Pkg.CurrentVer());
1445 if (Pkg->CurrentVer == 0 || Pkg->VersionList == 0 || CandidateVer == 0)
1446 Status = 2;
1447 }
1448 /*}}}*/
1449 // StateCache::StripEpoch - Remove the epoch specifier from the version /*{{{*/
1450 // ---------------------------------------------------------------------
1451 /* */
1452 const char *pkgDepCache::StateCache::StripEpoch(const char *Ver)
1453 {
1454 if (Ver == 0)
1455 return 0;
1456
1457 // Strip any epoch
1458 for (const char *I = Ver; *I != 0; I++)
1459 if (*I == ':')
1460 return I + 1;
1461 return Ver;
1462 }
1463 /*}}}*/
1464 // Policy::GetCandidateVer - Returns the Candidate install version /*{{{*/
1465 // ---------------------------------------------------------------------
1466 /* The default just returns the highest available version that is not
1467 a source and automatic. */
1468 pkgCache::VerIterator pkgDepCache::Policy::GetCandidateVer(PkgIterator const &Pkg)
1469 {
1470 /* Not source/not automatic versions cannot be a candidate version
1471 unless they are already installed */
1472 VerIterator Last(*(pkgCache *)this,0);
1473
1474 for (VerIterator I = Pkg.VersionList(); I.end() == false; I++)
1475 {
1476 if (Pkg.CurrentVer() == I)
1477 return I;
1478
1479 for (VerFileIterator J = I.FileList(); J.end() == false; J++)
1480 {
1481 if ((J.File()->Flags & Flag::NotSource) != 0)
1482 continue;
1483
1484 /* Stash the highest version of a not-automatic source, we use it
1485 if there is nothing better */
1486 if ((J.File()->Flags & Flag::NotAutomatic) != 0 ||
1487 (J.File()->Flags & Flag::ButAutomaticUpgrades) != 0)
1488 {
1489 if (Last.end() == true)
1490 Last = I;
1491 continue;
1492 }
1493
1494 return I;
1495 }
1496 }
1497
1498 return Last;
1499 }
1500 /*}}}*/
1501 // Policy::IsImportantDep - True if the dependency is important /*{{{*/
1502 // ---------------------------------------------------------------------
1503 /* */
1504 bool pkgDepCache::Policy::IsImportantDep(DepIterator const &Dep)
1505 {
1506 if(Dep.IsCritical())
1507 return true;
1508 else if(Dep->Type == pkgCache::Dep::Recommends)
1509 {
1510 if ( _config->FindB("APT::Install-Recommends", false))
1511 return true;
1512 // we suport a special mode to only install-recommends for certain
1513 // sections
1514 // FIXME: this is a meant as a temporarly solution until the
1515 // recommends are cleaned up
1516 const char *sec = Dep.ParentVer().Section();
1517 if (sec && ConfigValueInSubTree("APT::Install-Recommends-Sections", sec))
1518 return true;
1519 }
1520 else if(Dep->Type == pkgCache::Dep::Suggests)
1521 return _config->FindB("APT::Install-Suggests", false);
1522
1523 return false;
1524 }
1525 /*}}}*/
1526 // Policy::GetPriority - Get the priority of the package pin /*{{{*/
1527 signed short pkgDepCache::Policy::GetPriority(pkgCache::PkgIterator const &Pkg)
1528 { return 0; };
1529 signed short pkgDepCache::Policy::GetPriority(pkgCache::PkgFileIterator const &File)
1530 { return 0; };
1531 /*}}}*/
1532 pkgDepCache::InRootSetFunc *pkgDepCache::GetRootSetFunc() /*{{{*/
1533 {
1534 DefaultRootSetFunc *f = new DefaultRootSetFunc;
1535 if(f->wasConstructedSuccessfully())
1536 return f;
1537 else
1538 {
1539 delete f;
1540 return NULL;
1541 }
1542 }
1543 /*}}}*/
1544 bool pkgDepCache::MarkFollowsRecommends()
1545 {
1546 return _config->FindB("APT::AutoRemove::RecommendsImportant", true);
1547 }
1548
1549 bool pkgDepCache::MarkFollowsSuggests()
1550 {
1551 return _config->FindB("APT::AutoRemove::SuggestsImportant", false);
1552 }
1553
1554 // pkgDepCache::MarkRequired - the main mark algorithm /*{{{*/
1555 bool pkgDepCache::MarkRequired(InRootSetFunc &userFunc)
1556 {
1557 if (_config->Find("APT::Solver", "internal") != "internal")
1558 return true;
1559
1560 bool follow_recommends;
1561 bool follow_suggests;
1562 bool debug_autoremove = _config->FindB("Debug::pkgAutoRemove",false);
1563
1564 // init the states
1565 for(PkgIterator p = PkgBegin(); !p.end(); ++p)
1566 {
1567 PkgState[p->ID].Marked = false;
1568 PkgState[p->ID].Garbage = false;
1569
1570 // debug output
1571 if(debug_autoremove && PkgState[p->ID].Flags & Flag::Auto)
1572 std::clog << "AutoDep: " << p.FullName() << std::endl;
1573 }
1574
1575 // init vars
1576 follow_recommends = MarkFollowsRecommends();
1577 follow_suggests = MarkFollowsSuggests();
1578
1579
1580
1581 // do the mark part, this is the core bit of the algorithm
1582 for(PkgIterator p = PkgBegin(); !p.end(); ++p)
1583 {
1584 if(!(PkgState[p->ID].Flags & Flag::Auto) ||
1585 (p->Flags & Flag::Essential) ||
1586 userFunc.InRootSet(p) ||
1587 // be nice even then a required package violates the policy (#583517)
1588 // and do the full mark process also for required packages
1589 (p.CurrentVer().end() != true &&
1590 p.CurrentVer()->Priority == pkgCache::State::Required))
1591 {
1592 // the package is installed (and set to keep)
1593 if(PkgState[p->ID].Keep() && !p.CurrentVer().end())
1594 MarkPackage(p, p.CurrentVer(),
1595 follow_recommends, follow_suggests);
1596 // the package is to be installed
1597 else if(PkgState[p->ID].Install())
1598 MarkPackage(p, PkgState[p->ID].InstVerIter(*this),
1599 follow_recommends, follow_suggests);
1600 }
1601 }
1602
1603 return true;
1604 }
1605 /*}}}*/
1606 // MarkPackage - mark a single package in Mark-and-Sweep /*{{{*/
1607 void pkgDepCache::MarkPackage(const pkgCache::PkgIterator &pkg,
1608 const pkgCache::VerIterator &ver,
1609 bool const &follow_recommends,
1610 bool const &follow_suggests)
1611 {
1612 pkgDepCache::StateCache &state = PkgState[pkg->ID];
1613
1614 // if we are marked already we are done
1615 if(state.Marked)
1616 return;
1617
1618 VerIterator const currver = pkg.CurrentVer();
1619 VerIterator const instver = state.InstVerIter(*this);
1620
1621 #if 0
1622 VerIterator const candver = state.CandidateVerIter(*this);
1623
1624 // If a package was garbage-collected but is now being marked, we
1625 // should re-select it
1626 // For cases when a pkg is set to upgrade and this trigger the
1627 // removal of a no-longer used dependency. if the pkg is set to
1628 // keep again later it will result in broken deps
1629 if(state.Delete() && state.RemoveReason = Unused)
1630 {
1631 if(ver==candver)
1632 mark_install(pkg, false, false, NULL);
1633 else if(ver==pkg.CurrentVer())
1634 MarkKeep(pkg, false, false);
1635
1636 instver=state.InstVerIter(*this);
1637 }
1638 #endif
1639
1640 // For packages that are not going to be removed, ignore versions
1641 // other than the InstVer. For packages that are going to be
1642 // removed, ignore versions other than the current version.
1643 if(!(ver == instver && !instver.end()) &&
1644 !(ver == currver && instver.end() && !ver.end()))
1645 return;
1646
1647 bool const debug_autoremove = _config->FindB("Debug::pkgAutoRemove", false);
1648
1649 if(debug_autoremove)
1650 {
1651 std::clog << "Marking: " << pkg.FullName();
1652 if(!ver.end())
1653 std::clog << " " << ver.VerStr();
1654 if(!currver.end())
1655 std::clog << ", Curr=" << currver.VerStr();
1656 if(!instver.end())
1657 std::clog << ", Inst=" << instver.VerStr();
1658 std::clog << std::endl;
1659 }
1660
1661 state.Marked=true;
1662
1663 if(ver.end() == true)
1664 return;
1665
1666 for(DepIterator d = ver.DependsList(); !d.end(); ++d)
1667 {
1668 if(d->Type == Dep::Depends ||
1669 d->Type == Dep::PreDepends ||
1670 (follow_recommends &&
1671 d->Type == Dep::Recommends) ||
1672 (follow_suggests &&
1673 d->Type == Dep::Suggests))
1674 {
1675 // Try all versions of this package.
1676 for(VerIterator V = d.TargetPkg().VersionList();
1677 !V.end(); ++V)
1678 {
1679 if(_system->VS->CheckDep(V.VerStr(), d->CompareOp, d.TargetVer()))
1680 {
1681 if(debug_autoremove)
1682 {
1683 std::clog << "Following dep: " << d.ParentPkg().FullName()
1684 << " " << d.ParentVer().VerStr() << " "
1685 << d.DepType() << " " << d.TargetPkg().FullName();
1686 if((d->CompareOp & ~pkgCache::Dep::Or) != pkgCache::Dep::NoOp)
1687 {
1688 std::clog << " (" << d.CompType() << " "
1689 << d.TargetVer() << ")";
1690 }
1691 std::clog << std::endl;
1692 }
1693 MarkPackage(V.ParentPkg(), V,
1694 follow_recommends, follow_suggests);
1695 }
1696 }
1697 // Now try virtual packages
1698 for(PrvIterator prv=d.TargetPkg().ProvidesList();
1699 !prv.end(); ++prv)
1700 {
1701 if(_system->VS->CheckDep(prv.ProvideVersion(), d->CompareOp,
1702 d.TargetVer()))
1703 {
1704 if(debug_autoremove)
1705 {
1706 std::clog << "Following dep: " << d.ParentPkg().FullName() << " "
1707 << d.ParentVer().VerStr() << " "
1708 << d.DepType() << " " << d.TargetPkg().FullName() << " ";
1709 if((d->CompareOp & ~pkgCache::Dep::Or) != pkgCache::Dep::NoOp)
1710 {
1711 std::clog << " (" << d.CompType() << " "
1712 << d.TargetVer() << ")";
1713 }
1714 std::clog << ", provided by "
1715 << prv.OwnerPkg().FullName() << " "
1716 << prv.OwnerVer().VerStr()
1717 << std::endl;
1718 }
1719
1720 MarkPackage(prv.OwnerPkg(), prv.OwnerVer(),
1721 follow_recommends, follow_suggests);
1722 }
1723 }
1724 }
1725 }
1726 }
1727 /*}}}*/
1728 bool pkgDepCache::Sweep() /*{{{*/
1729 {
1730 bool debug_autoremove = _config->FindB("Debug::pkgAutoRemove",false);
1731
1732 // do the sweep
1733 for(PkgIterator p=PkgBegin(); !p.end(); ++p)
1734 {
1735 StateCache &state=PkgState[p->ID];
1736
1737 // skip required packages
1738 if (!p.CurrentVer().end() &&
1739 (p.CurrentVer()->Priority == pkgCache::State::Required))
1740 continue;
1741
1742 // if it is not marked and it is installed, it's garbage
1743 if(!state.Marked && (!p.CurrentVer().end() || state.Install()))
1744 {
1745 state.Garbage=true;
1746 if(debug_autoremove)
1747 std::clog << "Garbage: " << p.FullName() << std::endl;
1748 }
1749 }
1750
1751 return true;
1752 }
1753 /*}}}*/