Imported Upstream version 15.0.0

[platform/upstream/libzypp.git] / zypp / Resolver.h

diff --git a/zypp/Resolver.h b/zypp/Resolver.h
index 24ca3cd..3ba8fdd 100644 (file)
--- a/zypp/Resolver.h
+++ b/zypp/Resolver.h
@@ -19,7 +19,6 @@
 #include "zypp/base/PtrTypes.h"
 
 #include "zypp/ResPool.h"
-#include "zypp/UpgradeStatistics.h"
 #include "zypp/solver/detail/Resolver.h"
 #include "zypp/solver/detail/SolverQueueItem.h"
 #include "zypp/ProblemTypes.h"
@@ -28,6 +27,10 @@
 namespace zypp
 { /////////////////////////////////////////////////////////////////
 
+  namespace sat
+  {
+    class Transaction;
+  }
 
   ///////////////////////////////////////////////////////////////////
   //
@@ -116,11 +119,13 @@ namespace zypp
      * all packages with a special resolver algorithm which takes
      * care of package splits, pattern  and  product  updates,
      * etc.
+     * This call also turns the solver into \ref upgradeMode, so
+     * consecutive calls to \ref resolvePool performed in this
+     * mode too. Call \ref setUpgradeMode to turn this mode off.
+     *
+     * \see \ref addUpgradeRepo
      **/
     bool doUpgrade();
-    /** \deprecated The UpgradeStatistics argument is a meanwhile useless relict of pre-satsolver days. */
-    ZYPP_DEPRECATED bool doUpgrade( UpgradeStatistics & )
-    { return doUpgrade(); }
 
     /**
      * Update to newest package
@@ -133,7 +138,6 @@ namespace zypp
      **/
     void doUpdate( );
 
-
     /**
      * Unmaintained packages which does not fit to
      * the updated system (broken dependencies) will be
@@ -157,6 +161,10 @@ namespace zypp
      **/
     void applySolutions( const ProblemSolutionList & solutions );
 
+    /**
+     * Return the \ref Transaction computed by the last solver run.
+     */
+    sat::Transaction getTransaction();
 
     /**
      * Remove resolvables which are conflicts with others or
@@ -164,14 +172,14 @@ namespace zypp
      * This behaviour is favourited by ZMD.
      **/
     void setForceResolve( bool force );
-    bool forceResolve();
+    bool forceResolve() const;
 
     /**
      * Ignore recommended packages that were already recommended by
      * the installed packages
      **/
     void setIgnoreAlreadyRecommended( bool yesno_r );
-    bool ignoreAlreadyRecommended();
+    bool ignoreAlreadyRecommended() const;
 
     /**
      * Setting whether required packages are installed ONLY
@@ -180,7 +188,15 @@ namespace zypp
      **/
     void setOnlyRequires( bool yesno_r );
     void resetOnlyRequires(); // set back to default (described in zypp.conf)
-    bool onlyRequires();
+    bool onlyRequires() const;
+
+    /**
+     * Setting whether the solver should perform in 'upgrade' mode or
+     * not.
+     * \see \ref doUpgrade.
+     */
+    void setUpgradeMode( bool yesno_r );
+    bool upgradeMode() const;
 
     /**
      * Setting whether the solver should allow or disallow vendor changes.
@@ -217,6 +233,43 @@ namespace zypp
     bool solveSrcPackages() const;
 
     /**
+     * Cleanup when deleting packages. Whether the solver should per default
+     * try to remove packages exclusively required by the ones he's asked to delete.
+     */
+    void setCleandepsOnRemove( bool yesno_r );
+    void setDefaultCleandepsOnRemove(); // set back to default (in zypp.conf)
+    bool cleandepsOnRemove() const;
+
+    /** \name Upgrade to content of a specific repository.
+     * \note This is an ordinary solver request. You should simply
+     * \ref resolvePool to execute, and not \ref doUpgrade.
+     */
+    //@{
+    /**
+     * Adding request to perform a dist upgrade restricted to this repository.
+     *
+     * This is what e.g. <tt>zypper dup --repo myrepo</tt> should perform.
+     * \see \ref doUpgrade
+     */
+    void addUpgradeRepo( Repository repo_r );
+
+    /**
+     * Whether there is an \c UpgradeRepo request pending for this repo.
+     */
+    bool upgradingRepo( Repository repo_r ) const;
+
+    /**
+     * Remove an upgrade request for this repo.
+     */
+    void removeUpgradeRepo( Repository repo_r );
+
+    /**
+     * Remove all upgrade repo requests.
+     */
+    void removeUpgradeRepos();
+    //@}
+
+    /**
      * Adding additional requirement
      *
      */
@@ -244,13 +297,13 @@ namespace zypp
      * Get all the additional requirements set by \ref addRequire(Capability).
      *
      */
-    CapabilitySet getRequire();
+    CapabilitySet getRequire() const;
 
     /**
      * Get all the additional conflicts set by \ref addConflict(Capability).
      *
      */
-    CapabilitySet getConflict();
+    CapabilitySet getConflict() const;
 
     /**
      * Generates a solver Testcase of the current state
@@ -258,7 +311,7 @@ namespace zypp
      * \parame dumpPath destination directory of the created directory
      * \return true if it was successful
      */
-    bool createSolverTestcase( const std::string & dumpPath = "/var/log/YaST2/solverTestcase" );
+    bool createSolverTestcase( const std::string & dumpPath = "/var/log/YaST2/solverTestcase", bool runSolver = true );
 
     /**
      * Gives information about WHO has pused an installation of an given item.
@@ -326,12 +379,17 @@ namespace zypp
     solver::detail::ItemCapKindList installedSatisfied( const PoolItem & item );
 
 
-
   private:
-    solver::detail::Resolver_Ptr _pimpl;
+    friend std::ostream & operator<<( std::ostream & str, const Resolver & obj );
+
+    typedef solver::detail::Resolver Impl;
+    zypp::RW_pointer<Impl,rw_pointer::Intrusive<Impl> > _pimpl;
   };
   ///////////////////////////////////////////////////////////////////
 
+  /** \relates Resolver Stream output */
+  std::ostream & operator<<( std::ostream & str, const Resolver & obj );
+
   /////////////////////////////////////////////////////////////////
 } // namespace zypp
 ///////////////////////////////////////////////////////////////////