SelectableImpl.h

Go to the documentation of this file.

/*---------------------------------------------------------------------\
|                          ____ _   __ __ ___                          |
|                         |__  / \ / / . \ . \                         |
|                           / / \ V /|  _/  _/                         |
|                          / /__ | | | | | |                           |
|                         /_____||_| |_| |_|                           |
|                                                                      |
\---------------------------------------------------------------------*/
#ifndef ZYPP_UI_SELECTABLEIMPL_H
#define ZYPP_UI_SELECTABLEIMPL_H
 
#include <iostream>
#include <zypp/base/LogTools.h>
 
#include <zypp/base/PtrTypes.h>
 
#include <zypp/ResPool.h>
#include <zypp/Resolver.h>
#include <zypp/ui/Selectable.h>
#include <zypp/ui/SelectableTraits.h>
 
using std::endl;
 
namespace zypp
{ 
  namespace ui
  { 
 
    //
    //  CLASS NAME : Selectable::Impl
    //
    struct Selectable::Impl
    {
    public:
 
      typedef SelectableTraits::AvailableItemSet         AvailableItemSet;
      typedef SelectableTraits::available_iterator       available_iterator;
      typedef SelectableTraits::available_const_iterator available_const_iterator;
      typedef SelectableTraits::available_size_type      available_size_type;
 
      typedef SelectableTraits::InstalledItemSet         InstalledItemSet;
      typedef SelectableTraits::installed_iterator       installed_iterator;
      typedef SelectableTraits::installed_const_iterator installed_const_iterator;
      typedef SelectableTraits::installed_size_type      installed_size_type;
 
      typedef SelectableTraits::PickList                PickList;
 
    public:
      template <class TIterator>
      Impl( const ResKind & kind_r,
            const std::string & name_r,
            TIterator begin_r,
            TIterator end_r )
      : _ident( sat::Solvable::SplitIdent( kind_r, name_r ).ident() )
      , _kind( kind_r )
      , _name( name_r )
      {
        for_( it, begin_r, end_r )
        {
          if ( it->status().isInstalled() )
            _installedItems.insert( *it );
          else
            _availableItems.insert( *it );
        }
      }
 
    public:
      IdString ident() const
      { return _ident; }
 
      ResKind kind() const
      { return _kind; }
 
      const std::string & name() const
      { return _name; }
 
      Status status() const;
 
      bool setStatus( Status state_r, ResStatus::TransactByValue causer_r );
 
      PoolItem installedObj() const
      {
        if ( installedEmpty() )
          return PoolItem();
        PoolItem ret( transactingInstalled() );
        return ret ? ret : *_installedItems.begin();
      }
 
      PoolItem candidateObj() const
      {
        PoolItem ret( transactingCandidate() );
        if ( ! ret )
          ret = _candidate ? _candidate : defaultCandidate();
        return ret;
      }
 
      PoolItem setCandidate( const PoolItem & newCandidate_r, ResStatus::TransactByValue causer_r );
 
      PoolItem candidateObjFrom( Repository repo_r ) const
      {
        for ( const PoolItem & pi : available() )
        {
          if ( pi.isBlacklisted() )
            continue;
          if ( pi.repository() == repo_r )
            return pi;
        }
        return PoolItem();
      }
 
      PoolItem updateCandidateObj() const
      {
        PoolItem defaultCand( defaultCandidate() );
 
        // multiversionInstall: This returns the candidate for the last
        // instance installed. Actually we'd need a list here.
 
        if ( ! defaultCand || defaultCand.isBlacklisted() )
          return PoolItem();
 
        if ( installedEmpty() )
          return defaultCand;
        // Here: installed and defaultCand are non NULL and it's not a
        //       multiversion install.
 
        PoolItem installed( installedObj() );
        // check vendor change
        if ( ! ( ResPool::instance().resolver().allowVendorChange()
                 || VendorAttr::instance().equivalent( defaultCand->vendor(), installed->vendor() ) ) )
          return PoolItem();
 
        // check arch change (arch noarch changes are allowed)
        if ( defaultCand->arch() != installed->arch()
           && ! ( defaultCand->arch() == Arch_noarch || installed->arch() == Arch_noarch ) )
          return PoolItem();
 
        // check greater edition
        if ( defaultCand->edition() <= installed->edition() )
          return PoolItem();
 
        return defaultCand;
      }
 
      PoolItem highestAvailableVersionObj() const
      {
        PoolItem ret;
        bool blacklistedOk = false;
        for ( const PoolItem & pi : available() )
        {
          if ( !blacklistedOk && pi.isBlacklisted() )
          {
            if ( ret )
              break;    // prefer a not retracted candidate
            blacklistedOk = true;
          }
          if ( !ret || pi.edition() > ret.edition() )
            ret = pi;
        }
        return ret;
      }
 
      bool identIsAutoInstalled() const
      { return sat::Solvable::identIsAutoInstalled( ident() ); }
 
      bool identicalAvailable( const PoolItem & rhs ) const
      { return bool(identicalAvailableObj( rhs )); }
 
      bool identicalInstalled( const PoolItem & rhs ) const
      { return bool(identicalInstalledObj( rhs )); }
 
      PoolItem identicalAvailableObj( const PoolItem & rhs ) const
      {
        if ( !availableEmpty() && rhs )
        {
          for_( it, _availableItems.begin(), _availableItems.end() )
          {
            if ( identical( *it, rhs ) )
              return *it;
          }
        }
        return PoolItem();
      }
 
      PoolItem identicalInstalledObj( const PoolItem & rhs ) const
      {
        if ( !installedEmpty() && rhs )
        {
          for_( it, _installedItems.begin(), _installedItems.end() )
          {
            if ( identical( *it, rhs ) )
              return *it;
          }
        }
        return PoolItem();
      }
 
      PoolItem theObj() const
      {
        PoolItem ret( candidateObj() );
        if ( ret )
          return ret;
        return installedObj();
      }
 
 
      bool availableEmpty() const
      { return _availableItems.empty(); }
 
      available_size_type availableSize() const
      { return _availableItems.size(); }
 
      available_iterator availableBegin() const
      { return _availableItems.begin(); }
 
      available_iterator availableEnd() const
      { return _availableItems.end(); }
 
      inline Iterable<available_iterator>  available() const
      { return makeIterable( availableBegin(), availableEnd() ); }
 
 
      bool installedEmpty() const
      { return _installedItems.empty(); }
 
      installed_size_type installedSize() const
      { return _installedItems.size(); }
 
      installed_iterator installedBegin() const
      { return _installedItems.begin(); }
 
      installed_iterator installedEnd() const
      { return _installedItems.end(); }
 
      inline Iterable<installed_iterator>  installed() const
      { return makeIterable( installedBegin(), installedEnd() ); }
 
 
      const PickList & picklist() const
      {
        if ( ! _picklistPtr )
        {
          _picklistPtr.reset( new PickList );
          // installed without identical avaialble first:
          for ( const PoolItem & pi : installed() )
          {
            if ( ! identicalAvailable( pi ) )
              _picklistPtr->push_back( pi );
          }
          _picklistPtr->insert( _picklistPtr->end(), availableBegin(), availableEnd() );
        }
        return *_picklistPtr;
      }
 
      bool picklistEmpty() const
      { return picklist().empty(); }
 
      picklist_size_type picklistSize() const
      { return picklist().size(); }
 
      picklist_iterator picklistBegin() const
      { return picklist().begin(); }
 
      picklist_iterator picklistEnd() const
      { return picklist().end(); }
 
      bool hasBlacklisted() const
      { // Blacklisted items are sorted to the end of the available list.
        return !_availableItems.empty() && _availableItems.rbegin()->isBlacklisted();
      }
 
      bool hasBlacklistedInstalled() const
      { // Blacklisted items may be embedded in the installed list.
        for ( const PoolItem & pi : installed() ) {
          if ( pi.isBlacklisted() )
            return true;
        }
        return false;
      }
 
      bool hasRetracted() const
      {
        for ( const PoolItem & pi : makeIterable( _availableItems.rbegin(), _availableItems.rend() ) ) {
          if ( not pi.isBlacklisted() )
            break;
          if ( pi.isRetracted() )
            return true;
        }
        return false;
      }
 
      bool hasRetractedInstalled() const
      {
        for ( const PoolItem & pi : installed() ) {
          if ( pi.isRetracted() )
            return true;
        }
        return false;
      }
 
      bool hasPtf() const
      {
        for ( const PoolItem & pi : makeIterable( _availableItems.rbegin(), _availableItems.rend() ) ) {
          if ( not pi.isBlacklisted() )
            break;
          if ( pi.isPtf() )
            return true;
        }
        return false;
      }
 
      bool hasPtfInstalled() const
      {
        for ( const PoolItem & pi : installed() ) {
          if ( pi.isPtf() )
            return true;
        }
        return false;
      }
 
 
      bool isUnmaintained() const
      { return availableEmpty(); }
 
      bool multiversionInstall() const
      {
        for ( const PoolItem & pi : picklist() )
        {
          if ( pi.multiversionInstall() )
            return true;
        }
        return false;
      }
 
      bool pickInstall( const PoolItem & pi_r, ResStatus::TransactByValue causer_r, bool yesno_r );
 
      bool pickDelete( const PoolItem & pi_r, ResStatus::TransactByValue causer_r, bool yesno_r );
 
      Status pickStatus( const PoolItem & pi_r ) const;
 
      bool setPickStatus( const PoolItem & pi_r, Status state_r, ResStatus::TransactByValue causer_r );
 
 
      bool isUndetermined() const
      {
        PoolItem cand( candidateObj() );
        return ! cand || cand.isUndetermined();
      }
      bool isRelevant() const
      {
        PoolItem cand( candidateObj() );
        return cand && cand.isRelevant();
      }
      bool isSatisfied() const
       {
        PoolItem cand( candidateObj() );
        return cand && cand.isSatisfied();
      }
      bool isBroken() const
      {
        PoolItem cand( candidateObj() );
        return cand && cand.isBroken();
      }
 
      ResStatus::TransactByValue modifiedBy() const;
 
      bool hasLicenceConfirmed() const
      { return candidateObj() && candidateObj().status().isLicenceConfirmed(); }
 
      void setLicenceConfirmed( bool val_r )
      { if ( candidateObj() ) candidateObj().status().setLicenceConfirmed( val_r ); }
 
      bool hasLocks() const
      {
        for ( const PoolItem & pi : available() )
        {
          if ( pi.status().isLocked() )
            return true;
        }
        for ( const PoolItem & pi : installed() )
        {
          if ( pi.status().isLocked() )
            return true;
        }
        return false;
      }
 
    private:
      PoolItem transactingInstalled() const
      {
        for ( const PoolItem & pi : installed() )
          {
            if ( pi.status().transacts() )
              return pi;
          }
        return PoolItem();
      }
 
      PoolItem transactingCandidate() const
      {
        for ( const PoolItem & pi : available() )
          {
            if ( pi.status().transacts() )
              return pi;
          }
        return PoolItem();
      }
 
      PoolItem defaultCandidate() const
      {
        if ( ! installedEmpty() )
        {
          // prefer the installed objects arch and vendor
          bool solver_allowVendorChange( ResPool::instance().resolver().allowVendorChange() );
          for ( const PoolItem & ipi : installed() )
          {
            PoolItem sameArch; // in case there's no same vendor at least stay with same arch.
            for (  const PoolItem & api : available() )
            {
              // 'same arch' includes allowed changes to/from noarch.
              if ( ipi.arch() == api.arch() || ipi.arch() == Arch_noarch || api.arch() == Arch_noarch )
              {
                if ( ! solver_allowVendorChange )
                {
                  if ( VendorAttr::instance().equivalent( ipi, api ) )
                    return api;
                  else if ( ! sameArch ) // remember best same arch in case no same vendor found
                     sameArch = api;
                }
                else // same arch is sufficient
                  return api;
              }
            }
            if ( sameArch )
              return sameArch;
          }
        }
        if ( _availableItems.empty() )
          return PoolItem();
 
        return *_availableItems.begin();
      }
 
      bool allCandidatesLocked() const
      {
        for ( const PoolItem & pi : available() )
          {
            if ( ! pi.status().isLocked() )
              return false;
          }
        return( ! _availableItems.empty() );
      }
 
      bool allInstalledLocked() const
      {
        for ( const PoolItem & pi : installed() )
          {
            if ( ! pi.status().isLocked() )
              return false;
          }
        return( ! _installedItems.empty() );
      }
 
 
    private:
      const IdString         _ident;
      const ResKind          _kind;
      const std::string      _name;
      InstalledItemSet       _installedItems;
      AvailableItemSet       _availableItems;
      PoolItem               _candidate;
      mutable scoped_ptr<PickList> _picklistPtr;
    };
 
    inline std::ostream & operator<<( std::ostream & str, const Selectable::Impl & obj )
    {
      return str << '[' << obj.kind() << ']' << obj.name() << ": " << obj.status()
                 << " (I " << obj.installedSize() << ")"
                 << " (A " << obj.availableSize() << ")"
                 << obj.candidateObj();
    }
 
    inline std::ostream & dumpOn( std::ostream & str, const Selectable::Impl & obj )
    {
      str << '[' << obj.kind() << ']' << obj.name() << ": " << obj.status()
          << ( obj.multiversionInstall() ? " (multiversion)" : "") << endl;
 
      if ( obj.installedEmpty() )
        str << "   (I 0) {}" << endl << "   ";
      else
      {
        PoolItem icand( obj.installedObj() );
        str << "   (I " << obj.installedSize() << ") {" << endl;
        for ( const PoolItem & pi : obj.installed() )
        {
          char t = ' ';
          if ( pi == icand )
          {
            t = 'i';
          }
          str << " " << t << " " << pi << endl;
        }
        str << "}  ";
      }
 
      if ( obj.availableEmpty() )
      {
        str << "(A 0) {}" << endl << "   ";
      }
      else
      {
        PoolItem cand( obj.candidateObj() );
        PoolItem up( obj.updateCandidateObj() );
        str << "(A " << obj.availableSize() << ") {" << endl;
        for ( const PoolItem & pi : obj.available() )
        {
          char t = ' ';
          if ( pi == cand )
          {
            t = pi == up ? 'C' : 'c';
          }
          else if ( pi == up )
          {
            t = 'u';
          }
          str << " " << t << " " << pi << endl;
        }
        str << "}  ";
      }
 
      if ( obj.picklistEmpty() )
      {
        str << "(P 0) {}";
      }
      else
      {
        PoolItem cand( obj.candidateObj() );
        PoolItem up( obj.updateCandidateObj() );
        str << "(P " << obj.picklistSize() << ") {" << endl;
        for ( const PoolItem & pi : obj.picklist() )
        {
          char t = ' ';
          if ( pi == cand )
          {
            t = pi == up ? 'C' : 'c';
          }
          else if ( pi == up )
          {
            t = 'u';
          }
          str << " " << t << " " << pi << "\t" << obj.pickStatus( pi ) << endl;
        }
        str << "}  ";
      }
 
      return str;
    }
  } // namespace ui
} // namespace zypp
#endif // ZYPP_UI_SELECTABLEIMPL_H