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 = false;
  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() ||
 343        (Dep->Type != Dep::Conflicts && Dep->Type != Dep::DpkgBreaks && Dep->Type != Dep::Obsoletes))
 344    {
 345       PkgIterator Pkg = Dep.TargetPkg();
 346       // Check the base package
 347       if (Type == NowVersion && Pkg->CurrentVer != 0)
 348          if (VS().CheckDep(Pkg.CurrentVer().VerStr(),Dep->CompareOp,
 349                                  Dep.TargetVer()) == true)
 350             return true;
 351
 352       if (Type == InstallVersion && PkgState[Pkg->ID].InstallVer != 0)
 353          if (VS().CheckDep(PkgState[Pkg->ID].InstVerIter(*this).VerStr(),
 354                                  Dep->CompareOp,Dep.TargetVer()) == true)
 355             return true;
 356
 357       if (Type == CandidateVersion && PkgState[Pkg->ID].CandidateVer != 0)
 358          if (VS().CheckDep(PkgState[Pkg->ID].CandidateVerIter(*this).VerStr(),
 359                                  Dep->CompareOp,Dep.TargetVer()) == true)
 360             return true;
 361    }
 362
 363    if (Dep->Type == Dep::Obsoletes)
 364       return false;
 365
 366    // Check the providing packages
 367    PrvIterator P = Dep.TargetPkg().ProvidesList();
 368    PkgIterator Pkg = Dep.ParentPkg();
 369    for (; P.end() != true; P++)
 370    {
 371       /* Provides may never be applied against the same package (or group)
 372          if it is a conflicts. See the comment above. */
 373       if (P.OwnerPkg()->Group == Pkg->Group &&
 374           (Dep->Type == Dep::Conflicts || Dep->Type == Dep::DpkgBreaks))
 375          continue;
 376
 377       // Check if the provides is a hit
 378       if (Type == NowVersion)
 379       {
 380          if (P.OwnerPkg().CurrentVer() != P.OwnerVer())
 381             continue;
 382       }
 383
 384       if (Type == InstallVersion)
 385       {
 386          StateCache &State = PkgState[P.OwnerPkg()->ID];
 387          if (State.InstallVer != (Version *)P.OwnerVer())
 388             continue;
 389       }
 390
 391       if (Type == CandidateVersion)
 392       {
 393          StateCache &State = PkgState[P.OwnerPkg()->ID];
 394          if (State.CandidateVer != (Version *)P.OwnerVer())
 395             continue;
 396       }
 397
 398       // Compare the versions.
 399       if (VS().CheckDep(P.ProvideVersion(),Dep->CompareOp,Dep.TargetVer()) == true)
 400       {
 401          Res = P.OwnerPkg();
 402          return true;
 403       }
 404    }
 405
 406    return false;
 407 }
 408                                                                         /*}}}*/
 409 // DepCache::AddSizes - Add the packages sizes to the counters          /*{{{*/
 410 // ---------------------------------------------------------------------
 411 /* Call with Mult = -1 to preform the inverse opration
 412    The Mult increases the complexity of the calulations here and is unused -
 413    or do we really have a usecase for removing the size of a package two
 414    times? So let us replace it with a simple bool and be done with it… */
 415 __deprecated void pkgDepCache::AddSizes(const PkgIterator &Pkg,signed long Mult)
 416 {
 417    StateCache &P = PkgState[Pkg->ID];
 418
 419    if (Pkg->VersionList == 0)
 420       return;
 421
 422    if (Pkg.State() == pkgCache::PkgIterator::NeedsConfigure &&
 423        P.Keep() == true)
 424       return;
 425
 426    // Compute the size data
 427    if (P.NewInstall() == true)
 428    {
 429       iUsrSize += (signed long long)(Mult*P.InstVerIter(*this)->InstalledSize);
 430       iDownloadSize += (signed long long)(Mult*P.InstVerIter(*this)->Size);
 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       iUsrSize += (signed long long)(Mult*((signed long long)P.InstVerIter(*this)->InstalledSize -
 440                         (signed long long)Pkg.CurrentVer()->InstalledSize));
 441       iDownloadSize += (signed long long)(Mult*P.InstVerIter(*this)->Size);
 442       return;
 443    }
 444
 445    // Reinstall
 446    if (Pkg.State() == pkgCache::PkgIterator::NeedsUnpack &&
 447        P.Delete() == false)
 448    {
 449       iDownloadSize += (signed long long)(Mult*P.InstVerIter(*this)->Size);
 450       return;
 451    }
 452
 453    // Removing
 454    if (Pkg->CurrentVer != 0 && P.InstallVer == 0)
 455    {
 456       iUsrSize -= (signed long long)(Mult*Pkg.CurrentVer()->InstalledSize);
 457       return;
 458    }
 459 }
 460                                                                         /*}}}*/
 461 // DepCache::AddSizes - Add the packages sizes to the counters          /*{{{*/
 462 // ---------------------------------------------------------------------
 463 /* Call with Inverse = true to preform the inverse opration */
 464 void pkgDepCache::AddSizes(const PkgIterator &Pkg, bool const &Inverse)
 465 {
 466    StateCache &P = PkgState[Pkg->ID];
 467
 468    if (Pkg->VersionList == 0)
 469       return;
 470
 471    if (Pkg.State() == pkgCache::PkgIterator::NeedsConfigure &&
 472        P.Keep() == true)
 473       return;
 474
 475    // Compute the size data
 476    if (P.NewInstall() == true)
 477    {
 478       if (Inverse == false) {
 479          iUsrSize += P.InstVerIter(*this)->InstalledSize;
 480          iDownloadSize += P.InstVerIter(*this)->Size;
 481       } else {
 482          iUsrSize -= P.InstVerIter(*this)->InstalledSize;
 483          iDownloadSize -= P.InstVerIter(*this)->Size;
 484       }
 485       return;
 486    }
 487
 488    // Upgrading
 489    if (Pkg->CurrentVer != 0 &&
 490        (P.InstallVer != (Version *)Pkg.CurrentVer() ||
 491         (P.iFlags & ReInstall) == ReInstall) && P.InstallVer != 0)
 492    {
 493       if (Inverse == false) {
 494          iUsrSize -= Pkg.CurrentVer()->InstalledSize;
 495          iUsrSize += P.InstVerIter(*this)->InstalledSize;
 496          iDownloadSize += P.InstVerIter(*this)->Size;
 497       } else {
 498          iUsrSize -= P.InstVerIter(*this)->InstalledSize;
 499          iUsrSize += Pkg.CurrentVer()->InstalledSize;
 500          iDownloadSize -= P.InstVerIter(*this)->Size;
 501       }
 502       return;
 503    }
 504
 505    // Reinstall
 506    if (Pkg.State() == pkgCache::PkgIterator::NeedsUnpack &&
 507        P.Delete() == false)
 508    {
 509       if (Inverse == false)
 510          iDownloadSize += P.InstVerIter(*this)->Size;
 511       else
 512          iDownloadSize -= P.InstVerIter(*this)->Size;
 513       return;
 514    }
 515
 516    // Removing
 517    if (Pkg->CurrentVer != 0 && P.InstallVer == 0)
 518    {
 519       if (Inverse == false)
 520          iUsrSize -= Pkg.CurrentVer()->InstalledSize;
 521       else
 522          iUsrSize += Pkg.CurrentVer()->InstalledSize;
 523       return;
 524    }
 525 }
 526                                                                         /*}}}*/
 527 // DepCache::AddStates - Add the package to the state counter           /*{{{*/
 528 // ---------------------------------------------------------------------
 529 /* This routine is tricky to use, you must make sure that it is never
 530    called twice for the same package. This means the Remove/Add section
 531    should be as short as possible and not encompass any code that will
 532    calld Remove/Add itself. Remember, dependencies can be circular so
 533    while processing a dep for Pkg it is possible that Add/Remove
 534    will be called on Pkg */
 535 void pkgDepCache::AddStates(const PkgIterator &Pkg,int Add)
 536 {
 537    StateCache &State = PkgState[Pkg->ID];
 538
 539    // The Package is broken (either minimal dep or policy dep)
 540    if ((State.DepState & DepInstMin) != DepInstMin)
 541       iBrokenCount += Add;
 542    if ((State.DepState & DepInstPolicy) != DepInstPolicy)
 543       iPolicyBrokenCount += Add;
 544
 545    // Bad state
 546    if (Pkg.State() != PkgIterator::NeedsNothing)
 547       iBadCount += Add;
 548
 549    // Not installed
 550    if (Pkg->CurrentVer == 0)
 551    {
 552       if (State.Mode == ModeDelete &&
 553           (State.iFlags | Purge) == Purge && Pkg.Purge() == false)
 554          iDelCount += Add;
 555
 556       if (State.Mode == ModeInstall)
 557          iInstCount += Add;
 558       return;
 559    }
 560
 561    // Installed, no upgrade
 562    if (State.Status == 0)
 563    {
 564       if (State.Mode == ModeDelete)
 565          iDelCount += Add;
 566       else
 567          if ((State.iFlags & ReInstall) == ReInstall)
 568             iInstCount += Add;
 569
 570       return;
 571    }
 572
 573    // Alll 3 are possible
 574    if (State.Mode == ModeDelete)
 575       iDelCount += Add;
 576    if (State.Mode == ModeKeep)
 577       iKeepCount += Add;
 578    if (State.Mode == ModeInstall)
 579       iInstCount += Add;
 580 }
 581                                                                         /*}}}*/
 582 // DepCache::BuildGroupOrs - Generate the Or group dep data             /*{{{*/
 583 // ---------------------------------------------------------------------
 584 /* The or group results are stored in the last item of the or group. This
 585    allows easy detection of the state of a whole or'd group. */
 586 void pkgDepCache::BuildGroupOrs(VerIterator const &V)
 587 {
 588    unsigned char Group = 0;
 589
 590    for (DepIterator D = V.DependsList(); D.end() != true; D++)
 591    {
 592       // Build the dependency state.
 593       unsigned char &State = DepState[D->ID];
 594
 595       /* Invert for Conflicts. We have to do this twice to get the
 596          right sense for a conflicts group */
 597       if (D->Type == Dep::Conflicts ||
 598           D->Type == Dep::DpkgBreaks ||
 599           D->Type == Dep::Obsoletes)
 600          State = ~State;
 601
 602       // Add to the group if we are within an or..
 603       State &= 0x7;
 604       Group |= State;
 605       State |= Group << 3;
 606       if ((D->CompareOp & Dep::Or) != Dep::Or)
 607          Group = 0;
 608
 609       // Invert for Conflicts
 610       if (D->Type == Dep::Conflicts ||
 611           D->Type == Dep::DpkgBreaks ||
 612           D->Type == Dep::Obsoletes)
 613          State = ~State;
 614    }
 615 }
 616                                                                         /*}}}*/
 617 // DepCache::VersionState - Perform a pass over a dependency list       /*{{{*/
 618 // ---------------------------------------------------------------------
 619 /* This is used to run over a dependency list and determine the dep
 620    state of the list, filtering it through both a Min check and a Policy
 621    check. The return result will have SetMin/SetPolicy low if a check
 622    fails. It uses the DepState cache for it's computations. */
 623 unsigned char pkgDepCache::VersionState(DepIterator D,unsigned char Check,
 624                                        unsigned char SetMin,
 625                                        unsigned char SetPolicy)
 626 {
 627    unsigned char Dep = 0xFF;
 628
 629    while (D.end() != true)
 630    {
 631       // Compute a single dependency element (glob or)
 632       DepIterator Start = D;
 633       unsigned char State = 0;
 634       for (bool LastOR = true; D.end() == false && LastOR == true; D++)
 635       {
 636          State |= DepState[D->ID];
 637          LastOR = (D->CompareOp & Dep::Or) == Dep::Or;
 638       }
 639
 640       // Minimum deps that must be satisfied to have a working package
 641       if (Start.IsCritical() == true)
 642          if ((State & Check) != Check)
 643             Dep &= ~SetMin;
 644
 645       // Policy deps that must be satisfied to install the package
 646       if (IsImportantDep(Start) == true &&
 647           (State & Check) != Check)
 648          Dep &= ~SetPolicy;
 649    }
 650
 651    return Dep;
 652 }
 653                                                                         /*}}}*/
 654 // DepCache::DependencyState - Compute the 3 results for a dep          /*{{{*/
 655 // ---------------------------------------------------------------------
 656 /* This is the main dependency computation bit. It computes the 3 main
 657    results for a dependencys, Now, Install and Candidate. Callers must
 658    invert the result if dealing with conflicts. */
 659 unsigned char pkgDepCache::DependencyState(DepIterator &D)
 660 {
 661    unsigned char State = 0;
 662
 663    if (CheckDep(D,NowVersion) == true)
 664       State |= DepNow;
 665    if (CheckDep(D,InstallVersion) == true)
 666       State |= DepInstall;
 667    if (CheckDep(D,CandidateVersion) == true)
 668       State |= DepCVer;
 669
 670    return State;
 671 }
 672                                                                         /*}}}*/
 673 // DepCache::UpdateVerState - Compute the Dep member of the state       /*{{{*/
 674 // ---------------------------------------------------------------------
 675 /* This determines the combined dependency representation of a package
 676    for its two states now and install. This is done by using the pre-generated
 677    dependency information. */
 678 void pkgDepCache::UpdateVerState(PkgIterator Pkg)
 679 {
 680    // Empty deps are always true
 681    StateCache &State = PkgState[Pkg->ID];
 682    State.DepState = 0xFF;
 683
 684    // Check the Current state
 685    if (Pkg->CurrentVer != 0)
 686    {
 687       DepIterator D = Pkg.CurrentVer().DependsList();
 688       State.DepState &= VersionState(D,DepNow,DepNowMin,DepNowPolicy);
 689    }
 690
 691    /* Check the candidate state. We do not compare against the whole as
 692       a candidate state but check the candidate version against the
 693       install states */
 694    if (State.CandidateVer != 0)
 695    {
 696       DepIterator D = State.CandidateVerIter(*this).DependsList();
 697       State.DepState &= VersionState(D,DepInstall,DepCandMin,DepCandPolicy);
 698    }
 699
 700    // Check target state which can only be current or installed
 701    if (State.InstallVer != 0)
 702    {
 703       DepIterator D = State.InstVerIter(*this).DependsList();
 704       State.DepState &= VersionState(D,DepInstall,DepInstMin,DepInstPolicy);
 705    }
 706 }
 707                                                                         /*}}}*/
 708 // DepCache::Update - Figure out all the state information              /*{{{*/
 709 // ---------------------------------------------------------------------
 710 /* This will figure out the state of all the packages and all the
 711    dependencies based on the current policy. */
 712 void pkgDepCache::Update(OpProgress *Prog)
 713 {
 714    iUsrSize = 0;
 715    iDownloadSize = 0;
 716    iDelCount = 0;
 717    iInstCount = 0;
 718    iKeepCount = 0;
 719    iBrokenCount = 0;
 720    iBadCount = 0;
 721
 722    // Perform the depends pass
 723    int Done = 0;
 724    for (PkgIterator I = PkgBegin(); I.end() != true; I++,Done++)
 725    {
 726       if (Prog != 0 && Done%20 == 0)
 727          Prog->Progress(Done);
 728       for (VerIterator V = I.VersionList(); V.end() != true; V++)
 729       {
 730          unsigned char Group = 0;
 731
 732          for (DepIterator D = V.DependsList(); D.end() != true; D++)
 733          {
 734             // Build the dependency state.
 735             unsigned char &State = DepState[D->ID];
 736             State = DependencyState(D);
 737
 738             // Add to the group if we are within an or..
 739             Group |= State;
 740             State |= Group << 3;
 741             if ((D->CompareOp & Dep::Or) != Dep::Or)
 742                Group = 0;
 743
 744             // Invert for Conflicts
 745             if (D->Type == Dep::Conflicts ||
 746                 D->Type == Dep::DpkgBreaks ||
 747                 D->Type == Dep::Obsoletes)
 748                State = ~State;
 749          }
 750       }
 751
 752       // Compute the package dependency state and size additions
 753       AddSizes(I);
 754       UpdateVerState(I);
 755       AddStates(I);
 756    }
 757
 758    if (Prog != 0)
 759       Prog->Progress(Done);
 760
 761    readStateFile(Prog);
 762 }
 763                                                                         /*}}}*/
 764 // DepCache::Update - Update the deps list of a package                 /*{{{*/
 765 // ---------------------------------------------------------------------
 766 /* This is a helper for update that only does the dep portion of the scan.
 767    It is mainly meant to scan reverse dependencies. */
 768 void pkgDepCache::Update(DepIterator D)
 769 {
 770    // Update the reverse deps
 771    for (;D.end() != true; D++)
 772    {
 773       unsigned char &State = DepState[D->ID];
 774       State = DependencyState(D);
 775
 776       // Invert for Conflicts
 777       if (D->Type == Dep::Conflicts ||
 778           D->Type == Dep::DpkgBreaks ||
 779           D->Type == Dep::Obsoletes)
 780          State = ~State;
 781
 782       RemoveStates(D.ParentPkg());
 783       BuildGroupOrs(D.ParentVer());
 784       UpdateVerState(D.ParentPkg());
 785       AddStates(D.ParentPkg());
 786    }
 787 }
 788                                                                         /*}}}*/
 789 // DepCache::Update - Update the related deps of a package              /*{{{*/
 790 // ---------------------------------------------------------------------
 791 /* This is called whenever the state of a package changes. It updates
 792    all cached dependencies related to this package. */
 793 void pkgDepCache::Update(PkgIterator const &Pkg)
 794 {
 795    // Recompute the dep of the package
 796    RemoveStates(Pkg);
 797    UpdateVerState(Pkg);
 798    AddStates(Pkg);
 799
 800    // Update the reverse deps
 801    Update(Pkg.RevDependsList());
 802
 803    // Update the provides map for the current ver
 804    if (Pkg->CurrentVer != 0)
 805       for (PrvIterator P = Pkg.CurrentVer().ProvidesList();
 806            P.end() != true; P++)
 807          Update(P.ParentPkg().RevDependsList());
 808
 809    // Update the provides map for the candidate ver
 810    if (PkgState[Pkg->ID].CandidateVer != 0)
 811       for (PrvIterator P = PkgState[Pkg->ID].CandidateVerIter(*this).ProvidesList();
 812            P.end() != true; P++)
 813          Update(P.ParentPkg().RevDependsList());
 814 }
 815                                                                         /*}}}*/
 816 // DepCache::MarkKeep - Put the package in the keep state               /*{{{*/
 817 // ---------------------------------------------------------------------
 818 /* */
 819 void pkgDepCache::MarkKeep(PkgIterator const &Pkg, bool Soft, bool FromUser,
 820                            unsigned long Depth)
 821 {
 822    if (IsModeChangeOk(ModeKeep, Pkg, Depth, FromUser) == false)
 823       return;
 824
 825    /* Reject an attempt to keep a non-source broken installed package, those
 826       must be upgraded */
 827    if (Pkg.State() == PkgIterator::NeedsUnpack &&
 828        Pkg.CurrentVer().Downloadable() == false)
 829       return;
 830
 831    /* We changed the soft state all the time so the UI is a bit nicer
 832       to use */
 833    StateCache &P = PkgState[Pkg->ID];
 834
 835    // Check that it is not already kept
 836    if (P.Mode == ModeKeep)
 837       return;
 838
 839    if (Soft == true)
 840       P.iFlags |= AutoKept;
 841    else
 842       P.iFlags &= ~AutoKept;
 843
 844    ActionGroup group(*this);
 845
 846 #if 0 // reseting the autoflag here means we lose the
 847       // auto-mark information if a user selects a package for removal
 848       // but changes  his mind then and sets it for keep again
 849       // - this makes sense as default when all Garbage dependencies
 850       //   are automatically marked for removal (as aptitude does).
 851       //   setting a package for keep then makes it no longer autoinstalled
 852       //   for all other use-case this action is rather suprising
 853    if(FromUser && !P.Marked)
 854      P.Flags &= ~Flag::Auto;
 855 #endif
 856
 857    if (DebugMarker == true)
 858       std::clog << OutputInDepth(Depth) << "MarkKeep " << Pkg << " FU=" << FromUser << std::endl;
 859
 860    RemoveSizes(Pkg);
 861    RemoveStates(Pkg);
 862
 863    P.Mode = ModeKeep;
 864    if (Pkg->CurrentVer == 0)
 865       P.InstallVer = 0;
 866    else
 867       P.InstallVer = Pkg.CurrentVer();
 868
 869    AddStates(Pkg);
 870
 871    Update(Pkg);
 872
 873    AddSizes(Pkg);
 874 }
 875                                                                         /*}}}*/
 876 // DepCache::MarkDelete - Put the package in the delete state           /*{{{*/
 877 // ---------------------------------------------------------------------
 878 /* */
 879 void pkgDepCache::MarkDelete(PkgIterator const &Pkg, bool rPurge,
 880                              unsigned long Depth, bool FromUser)
 881 {
 882    if (IsModeChangeOk(ModeDelete, Pkg, Depth, FromUser) == false)
 883       return;
 884
 885    StateCache &P = PkgState[Pkg->ID];
 886
 887    // Check that it is not already marked for delete
 888    if ((P.Mode == ModeDelete || P.InstallVer == 0) &&
 889        (Pkg.Purge() == true || rPurge == false))
 890       return;
 891
 892    // check if we are allowed to remove the package
 893    if (IsDeleteOk(Pkg,rPurge,Depth,FromUser) == false)
 894       return;
 895
 896    P.iFlags &= ~(AutoKept | Purge);
 897    if (rPurge == true)
 898       P.iFlags |= Purge;
 899
 900    ActionGroup group(*this);
 901
 902    if (DebugMarker == true)
 903       std::clog << OutputInDepth(Depth) << (rPurge ? "MarkPurge " : "MarkDelete ") << Pkg << " FU=" << FromUser << std::endl;
 904
 905    RemoveSizes(Pkg);
 906    RemoveStates(Pkg);
 907
 908    if (Pkg->CurrentVer == 0 && (Pkg.Purge() == true || rPurge == false))
 909       P.Mode = ModeKeep;
 910    else
 911       P.Mode = ModeDelete;
 912    P.InstallVer = 0;
 913
 914    AddStates(Pkg);
 915    Update(Pkg);
 916    AddSizes(Pkg);
 917
 918 }
 919                                                                         /*}}}*/
 920 // DepCache::IsDeleteOk - check if it is ok to remove this package      /*{{{*/
 921 // ---------------------------------------------------------------------
 922 /* The default implementation tries to prevent deletion of install requests.
 923    dpkg holds are enforced by the private IsModeChangeOk */
 924 bool pkgDepCache::IsDeleteOk(PkgIterator const &Pkg,bool rPurge,
 925                               unsigned long Depth, bool FromUser)
 926 {
 927    if (FromUser == false && Pkg->CurrentVer == 0)
 928    {
 929       StateCache &P = PkgState[Pkg->ID];
 930       if (P.InstallVer != 0 && P.Status == 2 && (P.Flags & Flag::Auto) != Flag::Auto)
 931       {
 932          if (DebugMarker == true)
 933             std::clog << OutputInDepth(Depth) << "Manual install request prevents MarkDelete of " << Pkg << std::endl;
 934          return false;
 935       }
 936    }
 937    return true;
 938 }
 939                                                                         /*}}}*/
 940 // DepCache::IsModeChangeOk - check if it is ok to change the mode      /*{{{*/
 941 // ---------------------------------------------------------------------
 942 /* this is used by all Mark methods on the very first line to check sanity
 943    and prevents mode changes for packages on hold for example.
 944    If you want to check Mode specific stuff you can use the virtual public
 945    Is<Mode>Ok methods instead */
 946 char const* PrintMode(char const mode)
 947 {
 948          switch (mode)
 949          {
 950          case pkgDepCache::ModeInstall: return "Install";
 951          case pkgDepCache::ModeKeep: return "Keep";
 952          case pkgDepCache::ModeDelete: return "Delete";
 953          default: return "UNKNOWN";
 954          }
 955 }
 956 bool pkgDepCache::IsModeChangeOk(ModeList const mode, PkgIterator const &Pkg,
 957                                  unsigned long const Depth, bool const FromUser)
 958 {
 959    // we are not trying to hard…
 960    if (unlikely(Depth > 100))
 961       return false;
 962
 963    // general sanity
 964    if (unlikely(Pkg.end() == true || Pkg->VersionList == 0))
 965       return false;
 966
 967    // the user is always right
 968    if (FromUser == true)
 969       return true;
 970
 971    StateCache &P = PkgState[Pkg->ID];
 972
 973    // if previous state was set by user only user can reset it
 974    if ((P.iFlags & Protected) == Protected)
 975    {
 976       if (unlikely(DebugMarker == true) && P.Mode != mode)
 977          std::clog << OutputInDepth(Depth) << "Ignore Mark" << PrintMode(mode)
 978                    << " of " << Pkg << " as its mode (" << PrintMode(P.Mode)
 979                    << ") is protected" << std::endl;
 980       return false;
 981    }
 982    // enforce dpkg holds
 983    else if (mode != ModeKeep && Pkg->SelectedState == pkgCache::State::Hold &&
 984             _config->FindB("APT::Ignore-Hold",false) == false)
 985    {
 986       if (unlikely(DebugMarker == true) && P.Mode != mode)
 987          std::clog << OutputInDepth(Depth) << "Hold prevents Mark" << PrintMode(mode)
 988                    << " of " << Pkg << std::endl;
 989       return false;
 990    }
 991
 992    return true;
 993 }
 994                                                                         /*}}}*/
 995 // DepCache::MarkInstall - Put the package in the install state         /*{{{*/
 996 // ---------------------------------------------------------------------
 997 /* */
 998 void pkgDepCache::MarkInstall(PkgIterator const &Pkg,bool AutoInst,
 999                               unsigned long Depth, bool FromUser,
1000                               bool ForceImportantDeps)
1001 {
1002    if (IsModeChangeOk(ModeInstall, Pkg, Depth, FromUser) == false)
1003       return;
1004
1005    StateCache &P = PkgState[Pkg->ID];
1006
1007    // See if there is even any possible instalation candidate
1008    if (P.CandidateVer == 0)
1009       return;
1010
1011    /* Check that it is not already marked for install and that it can be
1012       installed */
1013    if ((P.InstPolicyBroken() == false && P.InstBroken() == false) &&
1014        (P.Mode == ModeInstall ||
1015         P.CandidateVer == (Version *)Pkg.CurrentVer()))
1016    {
1017       if (P.CandidateVer == (Version *)Pkg.CurrentVer() && P.InstallVer == 0)
1018          MarkKeep(Pkg, false, FromUser, Depth+1);
1019       return;
1020    }
1021
1022    // check if we are allowed to install the package
1023    if (IsInstallOk(Pkg,AutoInst,Depth,FromUser) == false)
1024       return;
1025
1026    ActionGroup group(*this);
1027    P.iFlags &= ~AutoKept;
1028
1029    /* Target the candidate version and remove the autoflag. We reset the
1030       autoflag below if this was called recursively. Otherwise the user
1031       should have the ability to de-auto a package by changing its state */
1032    RemoveSizes(Pkg);
1033    RemoveStates(Pkg);
1034
1035    P.Mode = ModeInstall;
1036    P.InstallVer = P.CandidateVer;
1037
1038    if(FromUser)
1039      {
1040        // Set it to manual if it's a new install or already installed,
1041        // but only if its not marked by the autoremover (aptitude depend on this behavior)
1042        // or if we do automatic installation (aptitude never does it)
1043        if(P.Status == 2 || (Pkg->CurrentVer != 0 && (AutoInst == true || P.Marked == false)))
1044          P.Flags &= ~Flag::Auto;
1045      }
1046    else
1047      {
1048        // Set it to auto if this is a new install.
1049        if(P.Status == 2)
1050          P.Flags |= Flag::Auto;
1051      }
1052    if (P.CandidateVer == (Version *)Pkg.CurrentVer())
1053       P.Mode = ModeKeep;
1054
1055    AddStates(Pkg);
1056    Update(Pkg);
1057    AddSizes(Pkg);
1058
1059    if (AutoInst == false || _config->Find("APT::Solver::Name", "internal") != "internal")
1060       return;
1061
1062    if (DebugMarker == true)
1063       std::clog << OutputInDepth(Depth) << "MarkInstall " << Pkg << " FU=" << FromUser << std::endl;
1064
1065    DepIterator Dep = P.InstVerIter(*this).DependsList();
1066    for (; Dep.end() != true;)
1067    {
1068       // Grok or groups
1069       DepIterator Start = Dep;
1070       bool Result = true;
1071       unsigned Ors = 0;
1072       for (bool LastOR = true; Dep.end() == false && LastOR == true; Dep++,Ors++)
1073       {
1074          LastOR = (Dep->CompareOp & Dep::Or) == Dep::Or;
1075
1076          if ((DepState[Dep->ID] & DepInstall) == DepInstall)
1077             Result = false;
1078       }
1079
1080       // Dep is satisfied okay.
1081       if (Result == false)
1082          continue;
1083
1084       /* Check if this dep should be consider for install. If it is a user
1085          defined important dep and we are installed a new package then
1086          it will be installed. Otherwise we only check for important
1087          deps that have changed from the installed version
1088       */
1089       if (IsImportantDep(Start) == false)
1090          continue;
1091
1092       /* Check if any ImportantDep() (but not Critical) were added
1093        * since we installed the package.  Also check for deps that
1094        * were satisfied in the past: for instance, if a version
1095        * restriction in a Recommends was tightened, upgrading the
1096        * package should follow that Recommends rather than causing the
1097        * dependency to be removed. (bug #470115)
1098        */
1099       bool isNewImportantDep = false;
1100       bool isPreviouslySatisfiedImportantDep = false;
1101       if(!ForceImportantDeps && !Start.IsCritical())
1102       {
1103          bool found=false;
1104          VerIterator instVer = Pkg.CurrentVer();
1105          if(!instVer.end())
1106          {
1107            for (DepIterator D = instVer.DependsList(); D.end() != true; D++)
1108              {
1109                //FIXME: deal better with or-groups(?)
1110                if(IsImportantDep(D) && !D.IsCritical() &&
1111                   Start.TargetPkg() == D.TargetPkg())
1112                  {
1113                    if(!isPreviouslySatisfiedImportantDep)
1114                      {
1115                        DepIterator D2 = D;
1116                        while((D2->CompareOp & Dep::Or) != 0)
1117                          ++D2;
1118
1119                        isPreviouslySatisfiedImportantDep =
1120                          (((*this)[D2] & DepGNow) != 0);
1121                      }
1122
1123                    found=true;
1124                  }
1125              }
1126             // this is a new dep if it was not found to be already
1127             // a important dep of the installed pacakge
1128             isNewImportantDep = !found;
1129          }
1130       }
1131       if(isNewImportantDep)
1132          if(DebugAutoInstall == true)
1133             std::clog << OutputInDepth(Depth) << "new important dependency: "
1134                       << Start.TargetPkg().Name() << std::endl;
1135       if(isPreviouslySatisfiedImportantDep)
1136         if(DebugAutoInstall == true)
1137           std::clog << OutputInDepth(Depth) << "previously satisfied important dependency on "
1138                     << Start.TargetPkg().Name() << std::endl;
1139
1140       // skip important deps if the package is already installed
1141       if (Pkg->CurrentVer != 0 && Start.IsCritical() == false
1142           && !isNewImportantDep && !isPreviouslySatisfiedImportantDep
1143           && !ForceImportantDeps)
1144          continue;
1145
1146       /* If we are in an or group locate the first or that can
1147          succeed. We have already cached this.. */
1148       for (; Ors > 1 && (DepState[Start->ID] & DepCVer) != DepCVer; Ors--)
1149          Start++;
1150
1151       /* This bit is for processing the possibilty of an install/upgrade
1152          fixing the problem */
1153       SPtrArray<Version *> List = Start.AllTargets();
1154       if (Start->Type != Dep::DpkgBreaks &&
1155           (DepState[Start->ID] & DepCVer) == DepCVer)
1156       {
1157          // Right, find the best version to install..
1158          Version **Cur = List;
1159          PkgIterator P = Start.TargetPkg();
1160          PkgIterator InstPkg(*Cache,0);
1161
1162          // See if there are direct matches (at the start of the list)
1163          for (; *Cur != 0 && (*Cur)->ParentPkg == P.Index(); Cur++)
1164          {
1165             PkgIterator Pkg(*Cache,Cache->PkgP + (*Cur)->ParentPkg);
1166             if (PkgState[Pkg->ID].CandidateVer != *Cur)
1167                continue;
1168             InstPkg = Pkg;
1169             break;
1170          }
1171
1172          // Select the highest priority providing package
1173          if (InstPkg.end() == true)
1174          {
1175             pkgPrioSortList(*Cache,Cur);
1176             for (; *Cur != 0; Cur++)
1177             {
1178                PkgIterator Pkg(*Cache,Cache->PkgP + (*Cur)->ParentPkg);
1179                if (PkgState[Pkg->ID].CandidateVer != *Cur)
1180                   continue;
1181                InstPkg = Pkg;
1182                break;
1183             }
1184          }
1185
1186          if (InstPkg.end() == false)
1187          {
1188             if(DebugAutoInstall == true)
1189                std::clog << OutputInDepth(Depth) << "Installing " << InstPkg.Name()
1190                          << " as " << Start.DepType() << " of " << Pkg.Name()
1191                          << std::endl;
1192             // now check if we should consider it a automatic dependency or not
1193             if(Pkg.Section() && ConfigValueInSubTree("APT::Never-MarkAuto-Sections", Pkg.Section()))
1194             {
1195                if(DebugAutoInstall == true)
1196                   std::clog << OutputInDepth(Depth) << "Setting NOT as auto-installed (direct "
1197                             << Start.DepType() << " of pkg in APT::Never-MarkAuto-Sections)" << std::endl;
1198                MarkInstall(InstPkg,true,Depth + 1, true);
1199             }
1200             else
1201             {
1202                // mark automatic dependency
1203                MarkInstall(InstPkg,true,Depth + 1, false, ForceImportantDeps);
1204                // Set the autoflag, after MarkInstall because MarkInstall unsets it
1205                if (P->CurrentVer == 0)
1206                   PkgState[InstPkg->ID].Flags |= Flag::Auto;
1207             }
1208          }
1209          continue;
1210       }
1211
1212       /* For conflicts we just de-install the package and mark as auto,
1213          Conflicts may not have or groups.  For dpkg's Breaks we try to
1214          upgrade the package. */
1215       if (Start->Type == Dep::Conflicts || Start->Type == Dep::Obsoletes ||
1216           Start->Type == Dep::DpkgBreaks)
1217       {
1218          for (Version **I = List; *I != 0; I++)
1219          {
1220             VerIterator Ver(*this,*I);
1221             PkgIterator Pkg = Ver.ParentPkg();
1222
1223             /* The List includes all packages providing this dependency,
1224                even providers which are not installed, so skip them. */
1225             if (PkgState[Pkg->ID].InstallVer == 0)
1226                continue;
1227
1228             if (PkgState[Pkg->ID].CandidateVer != *I &&
1229                 Start->Type == Dep::DpkgBreaks)
1230                MarkInstall(Pkg,true,Depth + 1, false, ForceImportantDeps);
1231             else
1232                MarkDelete(Pkg,false,Depth + 1, false);
1233          }
1234          continue;
1235       }
1236    }
1237 }
1238                                                                         /*}}}*/
1239 // DepCache::IsInstallOk - check if it is ok to install this package    /*{{{*/
1240 // ---------------------------------------------------------------------
1241 /* The default implementation does nothing.
1242    dpkg holds are enforced by the private IsModeChangeOk */
1243 bool pkgDepCache::IsInstallOk(PkgIterator const &Pkg,bool AutoInst,
1244                               unsigned long Depth, bool FromUser)
1245 {
1246    return true;
1247 }
1248                                                                         /*}}}*/
1249 // DepCache::SetReInstall - Set the reinstallation flag                 /*{{{*/
1250 // ---------------------------------------------------------------------
1251 /* */
1252 void pkgDepCache::SetReInstall(PkgIterator const &Pkg,bool To)
1253 {
1254    if (unlikely(Pkg.end() == true))
1255       return;
1256
1257    ActionGroup group(*this);
1258
1259    RemoveSizes(Pkg);
1260    RemoveStates(Pkg);
1261
1262    StateCache &P = PkgState[Pkg->ID];
1263    if (To == true)
1264       P.iFlags |= ReInstall;
1265    else
1266       P.iFlags &= ~ReInstall;
1267
1268    AddStates(Pkg);
1269    AddSizes(Pkg);
1270 }
1271                                                                         /*}}}*/
1272 // DepCache::SetCandidateVersion - Change the candidate version         /*{{{*/
1273 // ---------------------------------------------------------------------
1274 /* */
1275 void pkgDepCache::SetCandidateVersion(VerIterator TargetVer, bool const &Pseudo)
1276 {
1277    pkgCache::PkgIterator Pkg = TargetVer.ParentPkg();
1278    StateCache &P = PkgState[Pkg->ID];
1279
1280    if (P.CandidateVer == TargetVer)
1281       return;
1282
1283    ActionGroup group(*this);
1284
1285    RemoveSizes(Pkg);
1286    RemoveStates(Pkg);
1287
1288    if (P.CandidateVer == P.InstallVer && P.Install() == true)
1289       P.InstallVer = (Version *)TargetVer;
1290    P.CandidateVer = (Version *)TargetVer;
1291    P.Update(Pkg,*this);
1292
1293    AddStates(Pkg);
1294    Update(Pkg);
1295    AddSizes(Pkg);
1296
1297 }
1298                                                                         /*}}}*/
1299 // DepCache::SetCandidateRelease - Change the candidate version         /*{{{*/
1300 // ---------------------------------------------------------------------
1301 /* changes the candidate of a package and walks over all its dependencies
1302    to check if it needs to change the candidate of the dependency, too,
1303    to reach a installable versionstate */
1304 bool pkgDepCache::SetCandidateRelease(pkgCache::VerIterator TargetVer,
1305                                         std::string const &TargetRel)
1306 {
1307    std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> > Changed;
1308    return SetCandidateRelease(TargetVer, TargetRel, Changed);
1309 }
1310 bool pkgDepCache::SetCandidateRelease(pkgCache::VerIterator TargetVer,
1311                                         std::string const &TargetRel,
1312                                         std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> > &Changed)
1313 {
1314    ActionGroup group(*this);
1315    SetCandidateVersion(TargetVer);
1316
1317    if (TargetRel == "installed" || TargetRel == "candidate") // both doesn't make sense in this context
1318       return true;
1319
1320    pkgVersionMatch Match(TargetRel, pkgVersionMatch::Release);
1321    // save the position of the last element we will not undo - if we have to
1322    std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> >::iterator newChanged = --(Changed.end());
1323
1324    for (pkgCache::DepIterator D = TargetVer.DependsList(); D.end() == false; ++D)
1325    {
1326       if (D->Type != pkgCache::Dep::PreDepends && D->Type != pkgCache::Dep::Depends &&
1327           ((D->Type != pkgCache::Dep::Recommends && D->Type != pkgCache::Dep::Suggests) ||
1328            IsImportantDep(D) == false))
1329          continue;
1330
1331       // walk over an or-group and check if we need to do anything
1332       // for simpilicity no or-group is handled as a or-group including one dependency
1333       pkgCache::DepIterator Start = D;
1334       bool itsFine = false;
1335       for (bool stillOr = true; stillOr == true; ++Start)
1336       {
1337          stillOr = (Start->CompareOp & Dep::Or) == Dep::Or;
1338          pkgCache::PkgIterator const P = Start.TargetPkg();
1339          // virtual packages can't be a solution
1340          if (P.end() == true || (P->ProvidesList == 0 && P->VersionList == 0))
1341             continue;
1342          pkgCache::VerIterator const Cand = PkgState[P->ID].CandidateVerIter(*this);
1343          // no versioned dependency - but is it installable?
1344          if (Start.TargetVer() == 0 || Start.TargetVer()[0] == '\0')
1345          {
1346             // Check if one of the providers is installable
1347             if (P->ProvidesList != 0)
1348             {
1349                pkgCache::PrvIterator Prv = P.ProvidesList();
1350                for (; Prv.end() == false; ++Prv)
1351                {
1352                   pkgCache::VerIterator const C = PkgState[Prv.OwnerPkg()->ID].CandidateVerIter(*this);
1353                   if (C.end() == true || C != Prv.OwnerVer() ||
1354                       (VersionState(C.DependsList(), DepInstall, DepCandMin, DepCandPolicy) & DepCandMin) != DepCandMin)
1355                      continue;
1356                   break;
1357                }
1358                if (Prv.end() == true)
1359                   continue;
1360             }
1361             // no providers, so check if we have an installable candidate version
1362             else if (Cand.end() == true ||
1363                 (VersionState(Cand.DependsList(), DepInstall, DepCandMin, DepCandPolicy) & DepCandMin) != DepCandMin)
1364                continue;
1365             itsFine = true;
1366             break;
1367          }
1368          if (Cand.end() == true)
1369             continue;
1370          // check if the current candidate is enough for the versioned dependency - and installable?
1371          if (VS().CheckDep(P.CandVersion(), Start->CompareOp, Start.TargetVer()) == true &&
1372              (VersionState(Cand.DependsList(), DepInstall, DepCandMin, DepCandPolicy) & DepCandMin) == DepCandMin)
1373          {
1374             itsFine = true;
1375             break;
1376          }
1377       }
1378
1379       if (itsFine == true) {
1380          // something in the or-group was fine, skip all other members
1381          for (; (D->CompareOp & Dep::Or) == Dep::Or; ++D);
1382          continue;
1383       }
1384
1385       // walk again over the or-group and check each if a candidate switch would help
1386       itsFine = false;
1387       for (bool stillOr = true; stillOr == true; ++D)
1388       {
1389          stillOr = (D->CompareOp & Dep::Or) == Dep::Or;
1390          // changing candidate will not help if the dependency is not versioned
1391          if (D.TargetVer() == 0 || D.TargetVer()[0] == '\0')
1392          {
1393             if (stillOr == true)
1394                continue;
1395             break;
1396          }
1397
1398          pkgCache::VerIterator V;
1399          if (TargetRel == "newest")
1400             V = D.TargetPkg().VersionList();
1401          else
1402             V = Match.Find(D.TargetPkg());
1403
1404          // check if the version from this release could satisfy the dependency
1405          if (V.end() == true || VS().CheckDep(V.VerStr(), D->CompareOp, D.TargetVer()) == false)
1406          {
1407             if (stillOr == true)
1408                continue;
1409             break;
1410          }
1411
1412          pkgCache::VerIterator oldCand = PkgState[D.TargetPkg()->ID].CandidateVerIter(*this);
1413          if (V == oldCand)
1414          {
1415             // Do we already touched this Version? If so, their versioned dependencies are okay, no need to check again
1416             for (std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> >::const_iterator c = Changed.begin();
1417                  c != Changed.end(); ++c)
1418             {
1419                if (c->first->ParentPkg != V->ParentPkg)
1420                   continue;
1421                itsFine = true;
1422                break;
1423             }
1424          }
1425
1426          if (itsFine == false)
1427          {
1428             // change the candidate
1429             Changed.push_back(make_pair(oldCand, TargetVer));
1430             if (SetCandidateRelease(V, TargetRel, Changed) == false)
1431             {
1432                if (stillOr == false)
1433                   break;
1434                // undo the candidate changing
1435                SetCandidateVersion(oldCand);
1436                Changed.pop_back();
1437                continue;
1438             }
1439             itsFine = true;
1440          }
1441
1442          // something in the or-group was fine, skip all other members
1443          for (; (D->CompareOp & Dep::Or) == Dep::Or; ++D);
1444          break;
1445       }
1446
1447       if (itsFine == false && (D->Type == pkgCache::Dep::PreDepends || D->Type == pkgCache::Dep::Depends))
1448       {
1449          // undo all changes which aren't lead to a solution
1450          for (std::list<std::pair<pkgCache::VerIterator, pkgCache::VerIterator> >::const_iterator c = ++newChanged;
1451               c != Changed.end(); ++c)
1452             SetCandidateVersion(c->first);
1453          Changed.erase(newChanged, Changed.end());
1454          return false;
1455       }
1456    }
1457    return true;
1458 }
1459                                                                         /*}}}*/
1460 // DepCache::MarkAuto - set the Auto flag for a package                 /*{{{*/
1461 // ---------------------------------------------------------------------
1462 /* */
1463 void pkgDepCache::MarkAuto(const PkgIterator &Pkg, bool Auto)
1464 {
1465   StateCache &state = PkgState[Pkg->ID];
1466
1467   ActionGroup group(*this);
1468
1469   if(Auto)
1470     state.Flags |= Flag::Auto;
1471   else
1472     state.Flags &= ~Flag::Auto;
1473 }
1474                                                                         /*}}}*/
1475 // StateCache::Update - Compute the various static display things       /*{{{*/
1476 // ---------------------------------------------------------------------
1477 /* This is called whenever the Candidate version changes. */
1478 void pkgDepCache::StateCache::Update(PkgIterator Pkg,pkgCache &Cache)
1479 {
1480    // Some info
1481    VerIterator Ver = CandidateVerIter(Cache);
1482
1483    // Use a null string or the version string
1484    if (Ver.end() == true)
1485       CandVersion = "";
1486    else
1487       CandVersion = Ver.VerStr();
1488
1489    // Find the current version
1490    CurVersion = "";
1491    if (Pkg->CurrentVer != 0)
1492       CurVersion = Pkg.CurrentVer().VerStr();
1493
1494    // Strip off the epochs for display
1495    CurVersion = StripEpoch(CurVersion);
1496    CandVersion = StripEpoch(CandVersion);
1497
1498    // Figure out if its up or down or equal
1499    Status = Ver.CompareVer(Pkg.CurrentVer());
1500    if (Pkg->CurrentVer == 0 || Pkg->VersionList == 0 || CandidateVer == 0)
1501      Status = 2;
1502 }
1503                                                                         /*}}}*/
1504 // StateCache::StripEpoch - Remove the epoch specifier from the version /*{{{*/
1505 // ---------------------------------------------------------------------
1506 /* */
1507 const char *pkgDepCache::StateCache::StripEpoch(const char *Ver)
1508 {
1509    if (Ver == 0)
1510       return 0;
1511
1512    // Strip any epoch
1513    for (const char *I = Ver; *I != 0; I++)
1514       if (*I == ':')
1515          return I + 1;
1516    return Ver;
1517 }
1518                                                                         /*}}}*/
1519 // Policy::GetCandidateVer - Returns the Candidate install version      /*{{{*/
1520 // ---------------------------------------------------------------------
1521 /* The default just returns the highest available version that is not
1522    a source and automatic. */
1523 pkgCache::VerIterator pkgDepCache::Policy::GetCandidateVer(PkgIterator const &Pkg)
1524 {
1525    /* Not source/not automatic versions cannot be a candidate version
1526       unless they are already installed */
1527    VerIterator Last(*(pkgCache *)this,0);
1528
1529    for (VerIterator I = Pkg.VersionList(); I.end() == false; I++)
1530    {
1531       if (Pkg.CurrentVer() == I)
1532          return I;
1533
1534       for (VerFileIterator J = I.FileList(); J.end() == false; J++)
1535       {
1536          if ((J.File()->Flags & Flag::NotSource) != 0)
1537             continue;
1538
1539          /* Stash the highest version of a not-automatic source, we use it
1540             if there is nothing better */
1541          if ((J.File()->Flags & Flag::NotAutomatic) != 0 ||
1542              (J.File()->Flags & Flag::ButAutomaticUpgrades) != 0)
1543          {
1544             if (Last.end() == true)
1545                Last = I;
1546             continue;
1547          }
1548
1549          return I;
1550       }
1551    }
1552
1553    return Last;
1554 }
1555                                                                         /*}}}*/
1556 // Policy::IsImportantDep - True if the dependency is important         /*{{{*/
1557 // ---------------------------------------------------------------------
1558 /* */
1559 bool pkgDepCache::Policy::IsImportantDep(DepIterator const &Dep)
1560 {
1561    if(Dep.IsCritical())
1562       return true;
1563    else if(Dep->Type == pkgCache::Dep::Recommends)
1564    {
1565       if ( _config->FindB("APT::Install-Recommends", false))
1566          return true;
1567       // we suport a special mode to only install-recommends for certain
1568       // sections
1569       // FIXME: this is a meant as a temporarly solution until the
1570       //        recommends are cleaned up
1571       const char *sec = Dep.ParentVer().Section();
1572       if (sec && ConfigValueInSubTree("APT::Install-Recommends-Sections", sec))
1573          return true;
1574    }
1575    else if(Dep->Type == pkgCache::Dep::Suggests)
1576      return _config->FindB("APT::Install-Suggests", false);
1577
1578    return false;
1579 }
1580                                                                         /*}}}*/
1581 // Policy::GetPriority - Get the priority of the package pin            /*{{{*/
1582 signed short pkgDepCache::Policy::GetPriority(pkgCache::PkgIterator const &Pkg)
1583 { return 0; };
1584 signed short pkgDepCache::Policy::GetPriority(pkgCache::PkgFileIterator const &File)
1585 { return 0; };
1586                                                                         /*}}}*/
1587 pkgDepCache::InRootSetFunc *pkgDepCache::GetRootSetFunc()               /*{{{*/
1588 {
1589   DefaultRootSetFunc *f = new DefaultRootSetFunc;
1590   if(f->wasConstructedSuccessfully())
1591     return f;
1592   else
1593     {
1594       delete f;
1595       return NULL;
1596     }
1597 }
1598                                                                         /*}}}*/
1599 bool pkgDepCache::MarkFollowsRecommends()
1600 {
1601   return _config->FindB("APT::AutoRemove::RecommendsImportant", true);
1602 }
1603
1604 bool pkgDepCache::MarkFollowsSuggests()
1605 {
1606   return _config->FindB("APT::AutoRemove::SuggestsImportant", false);
1607 }
1608
1609 // pkgDepCache::MarkRequired - the main mark algorithm                  /*{{{*/
1610 bool pkgDepCache::MarkRequired(InRootSetFunc &userFunc)
1611 {
1612    if (_config->Find("APT::Solver::Name", "internal") != "internal")
1613       return true;
1614
1615    bool follow_recommends;
1616    bool follow_suggests;
1617    bool debug_autoremove = _config->FindB("Debug::pkgAutoRemove",false);
1618
1619    // init the states
1620    for(PkgIterator p = PkgBegin(); !p.end(); ++p)
1621    {
1622       PkgState[p->ID].Marked  = false;
1623       PkgState[p->ID].Garbage = false;
1624
1625       // debug output
1626       if(debug_autoremove && PkgState[p->ID].Flags & Flag::Auto)
1627          std::clog << "AutoDep: " << p.FullName() << std::endl;
1628    }
1629
1630    // init vars
1631    follow_recommends = MarkFollowsRecommends();
1632    follow_suggests   = MarkFollowsSuggests();
1633
1634
1635
1636    // do the mark part, this is the core bit of the algorithm
1637    for(PkgIterator p = PkgBegin(); !p.end(); ++p)
1638    {
1639       if(!(PkgState[p->ID].Flags & Flag::Auto) ||
1640           (p->Flags & Flag::Essential) ||
1641           userFunc.InRootSet(p) ||
1642           // be nice even then a required package violates the policy (#583517)
1643           // and do the full mark process also for required packages
1644           (p.CurrentVer().end() != true &&
1645            p.CurrentVer()->Priority == pkgCache::State::Required))
1646       {
1647          // the package is installed (and set to keep)
1648          if(PkgState[p->ID].Keep() && !p.CurrentVer().end())
1649             MarkPackage(p, p.CurrentVer(),
1650                         follow_recommends, follow_suggests);
1651          // the package is to be installed
1652          else if(PkgState[p->ID].Install())
1653             MarkPackage(p, PkgState[p->ID].InstVerIter(*this),
1654                         follow_recommends, follow_suggests);
1655       }
1656    }
1657
1658    return true;
1659 }
1660                                                                         /*}}}*/
1661 // MarkPackage - mark a single package in Mark-and-Sweep                /*{{{*/
1662 void pkgDepCache::MarkPackage(const pkgCache::PkgIterator &pkg,
1663                               const pkgCache::VerIterator &ver,
1664                               bool const &follow_recommends,
1665                               bool const &follow_suggests)
1666 {
1667    pkgDepCache::StateCache &state = PkgState[pkg->ID];
1668
1669    // if we are marked already we are done
1670    if(state.Marked)
1671       return;
1672
1673    VerIterator const currver = pkg.CurrentVer();
1674    VerIterator const instver = state.InstVerIter(*this);
1675
1676 #if 0
1677    VerIterator const candver = state.CandidateVerIter(*this);
1678
1679    // If a package was garbage-collected but is now being marked, we
1680    // should re-select it
1681    // For cases when a pkg is set to upgrade and this trigger the
1682    // removal of a no-longer used dependency.  if the pkg is set to
1683    // keep again later it will result in broken deps
1684    if(state.Delete() && state.RemoveReason = Unused)
1685    {
1686       if(ver==candver)
1687          mark_install(pkg, false, false, NULL);
1688       else if(ver==pkg.CurrentVer())
1689          MarkKeep(pkg, false, false);
1690
1691       instver=state.InstVerIter(*this);
1692    }
1693 #endif
1694
1695    // For packages that are not going to be removed, ignore versions
1696    // other than the InstVer.  For packages that are going to be
1697    // removed, ignore versions other than the current version.
1698    if(!(ver == instver && !instver.end()) &&
1699       !(ver == currver && instver.end() && !ver.end()))
1700       return;
1701
1702    bool const debug_autoremove = _config->FindB("Debug::pkgAutoRemove", false);
1703
1704    if(debug_autoremove)
1705      {
1706        std::clog << "Marking: " << pkg.FullName();
1707        if(!ver.end())
1708          std::clog << " " << ver.VerStr();
1709        if(!currver.end())
1710          std::clog << ", Curr=" << currver.VerStr();
1711        if(!instver.end())
1712          std::clog << ", Inst=" << instver.VerStr();
1713        std::clog << std::endl;
1714      }
1715
1716    state.Marked=true;
1717
1718    if(ver.end() == true)
1719       return;
1720
1721      for(DepIterator d = ver.DependsList(); !d.end(); ++d)
1722      {
1723         if(d->Type == Dep::Depends ||
1724            d->Type == Dep::PreDepends ||
1725            (follow_recommends &&
1726             d->Type == Dep::Recommends) ||
1727            (follow_suggests &&
1728             d->Type == Dep::Suggests))
1729         {
1730            // Try all versions of this package.
1731            for(VerIterator V = d.TargetPkg().VersionList();
1732                !V.end(); ++V)
1733            {
1734               if(_system->VS->CheckDep(V.VerStr(), d->CompareOp, d.TargetVer()))
1735               {
1736                 if(debug_autoremove)
1737                   {
1738                     std::clog << "Following dep: " << d.ParentPkg().FullName()
1739                               << " " << d.ParentVer().VerStr() << " "
1740                               << d.DepType() << " " << d.TargetPkg().FullName();
1741                     if((d->CompareOp & ~pkgCache::Dep::Or) != pkgCache::Dep::NoOp)
1742                       {
1743                         std::clog << " (" << d.CompType() << " "
1744                                   << d.TargetVer() << ")";
1745                       }
1746                     std::clog << std::endl;
1747                   }
1748                  MarkPackage(V.ParentPkg(), V,
1749                              follow_recommends, follow_suggests);
1750               }
1751            }
1752            // Now try virtual packages
1753            for(PrvIterator prv=d.TargetPkg().ProvidesList();
1754                !prv.end(); ++prv)
1755            {
1756               if(_system->VS->CheckDep(prv.ProvideVersion(), d->CompareOp,
1757                                        d.TargetVer()))
1758               {
1759                 if(debug_autoremove)
1760                   {
1761                     std::clog << "Following dep: " << d.ParentPkg().FullName() << " "
1762                               << d.ParentVer().VerStr() << " "
1763                               << d.DepType() << " " << d.TargetPkg().FullName() << " ";
1764                     if((d->CompareOp & ~pkgCache::Dep::Or) != pkgCache::Dep::NoOp)
1765                       {
1766                         std::clog << " (" << d.CompType() << " "
1767                                   << d.TargetVer() << ")";
1768                       }
1769                     std::clog << ", provided by "
1770                               << prv.OwnerPkg().FullName() << " "
1771                               << prv.OwnerVer().VerStr()
1772                               << std::endl;
1773                   }
1774
1775                  MarkPackage(prv.OwnerPkg(), prv.OwnerVer(),
1776                              follow_recommends, follow_suggests);
1777               }
1778            }
1779         }
1780      }
1781 }
1782                                                                         /*}}}*/
1783 bool pkgDepCache::Sweep()                                               /*{{{*/
1784 {
1785    bool debug_autoremove = _config->FindB("Debug::pkgAutoRemove",false);
1786
1787    // do the sweep
1788    for(PkgIterator p=PkgBegin(); !p.end(); ++p)
1789    {
1790      StateCache &state=PkgState[p->ID];
1791
1792      // skip required packages
1793      if (!p.CurrentVer().end() &&
1794          (p.CurrentVer()->Priority == pkgCache::State::Required))
1795         continue;
1796
1797      // if it is not marked and it is installed, it's garbage
1798      if(!state.Marked && (!p.CurrentVer().end() || state.Install()))
1799      {
1800         state.Garbage=true;
1801         if(debug_autoremove)
1802            std::clog << "Garbage: " << p.FullName() << std::endl;
1803      }
1804   }
1805
1806    return true;
1807 }
1808                                                                         /*}}}*/