Use libsolv includes and adjust documentation
authorMichael Andres <ma@suse.de>
Mon, 10 Oct 2011 07:43:40 +0000 (09:43 +0200)
committerMichael Andres <ma@suse.de>
Mon, 10 Oct 2011 12:19:21 +0000 (14:19 +0200)
42 files changed:
devel/devel.jkupec/deltarpm.cc
doc/autoinclude/Notes.doc
doc/autoinclude/Testcases.doc
doc/autoinclude/g_LIBSOLV.doc [new file with mode: 0644]
doc/autoinclude/g_SATSOLVER.doc [deleted file]
tests/sat/SolvParsing_test.cc
zypp/Capabilities.cc
zypp/Capabilities.h
zypp/Capability.cc
zypp/Capability.h
zypp/DiskUsageCounter.cc
zypp/Edition.cc
zypp/InstanceId.cc
zypp/PoolQuery.h
zypp/Rel.h
zypp/RepoManager.cc
zypp/Repository.h
zypp/ResKind.h
zypp/ZConfig.cc
zypp/repo/DeltaCandidates.cc
zypp/repo/PackageDelta.cc
zypp/sat/AttrMatcher.cc
zypp/sat/LookupAttr.h
zypp/sat/Queue.cc
zypp/sat/Queue.h
zypp/sat/SolvAttr.cc
zypp/sat/Solvable.cc
zypp/sat/Solvable.h
zypp/sat/Transaction.cc
zypp/sat/Transaction.h
zypp/sat/WhatProvides.cc
zypp/sat/detail/PoolImpl.cc
zypp/sat/detail/PoolImpl.h
zypp/solver/detail/Resolver.cc
zypp/solver/detail/SATResolver.cc
zypp/solver/detail/SATResolver.h
zypp/solver/detail/SolverQueueItem.cc
zypp/solver/detail/SolverQueueItemDelete.cc
zypp/solver/detail/SolverQueueItemInstall.cc
zypp/solver/detail/SolverQueueItemInstallOneOf.cc
zypp/solver/detail/SolverQueueItemLock.cc
zypp/solver/detail/SolverQueueItemUpdate.cc

index fcaaea4..33a317f 100644 (file)
@@ -5,7 +5,7 @@
 
 extern "C"
 {
-#include <satsolver/repo.h>
+#include <solv/repo.h>
 }
 
 #include "zypp/ZYppFactory.h"
index f05be9d..4def855 100644 (file)
@@ -20,7 +20,7 @@ namespace zypp
 <HR>
 
 \section V_6_10_0  6.10.0 - Removed zypp::UpgradeStatistics
-Since \c Code-11 the distribution upgrade is computed by the satsolver and no longer by
+Since \c Code-11 the distribution upgrade is computed by libsolv and no longer by
 libzypp itself. For some reason zypp::UpgradeStatistics were still present in the interfaces,
 but actually no longer used. Neither as input nor as result struct. Now they are removed.
 <HR>
index da545d0..372fcc0 100644 (file)
@@ -70,7 +70,7 @@ $ ctest .
 \verbatim
   - added tests/data/openSUSE-11.1 containing raw susetags metadata.
   Keeping .solv files in svn is somewhat inconvenient, as you must rebuild them
-  if something in satsolver changes.
+  if something in libsolv changes.
 \endverbatim
 
 \verbatim
diff --git a/doc/autoinclude/g_LIBSOLV.doc b/doc/autoinclude/g_LIBSOLV.doc
new file mode 100644 (file)
index 0000000..6295767
--- /dev/null
@@ -0,0 +1,7 @@
+/** \namespace zypp::sat \ref LIBSOLV
+*/
+/** \defgroup LIBSOLV Libsolv interface
+
+Interface to sat-pool and sat-solver.
+
+*/
diff --git a/doc/autoinclude/g_SATSOLVER.doc b/doc/autoinclude/g_SATSOLVER.doc
deleted file mode 100644 (file)
index 97e67f0..0000000
+++ /dev/null
@@ -1,7 +0,0 @@
-/** \namespace zypp::sat \ref SATSOLVER
-*/
-/** \defgroup SATSOLVER Satsolver interface
-
-Interface to sat-pool and sat-solver.
-
-*/
index e5f3dcf..76da497 100644 (file)
@@ -28,7 +28,7 @@ using namespace boost::unit_test;
  * from the metadata are preserved into
  * the final object
  *
- * so the test covers both satsolver-tools
+ * so the test covers both libsolv-tools
  * right insertion and parsing
  * and libzypp ResObject and friends data
  * extraction from solv files
index dc53979..f44ee8a 100644 (file)
@@ -47,7 +47,7 @@ namespace zypp
     if ( ! _begin )
       return 0;
 
-    // jump over satsolvers internal ids.
+    // jump over libsolvs internal ids.
     Capabilities::size_type ret = 0;
     for ( const sat::detail::IdType * end = _begin; *end; ++end )
     {
index b0cd922..d1986f9 100644 (file)
@@ -28,7 +28,7 @@ namespace zypp
   //
   /** Container of \ref Capability (currently read only).
    *
-   * \note satsolver dependency lists may include internal ids
+   * \note libsolv dependency lists may include internal ids
    * which must be skipped on iteration or size calculation
    * (\see \ref detail::isDepMarkerId).
    */
@@ -146,7 +146,7 @@ namespace zypp
       }
 
       void increment()
-      { // jump over satsolvers internal ids.
+      { // jump over libsolvs internal ids.
         if ( sat::detail::isDepMarkerId( *(++base_reference()) ) )
         {
           _tagged = true;
index 62086d5..40408dd 100644 (file)
@@ -148,7 +148,7 @@ namespace zypp
       if ( split.kind() == ResKind::srcpackage )
       {
         // map 'kind srcpackage' to 'arch src', the pseudo architecture
-        // satsolver uses.
+        // libsolv uses.
         nid = ::rel2id( pool_r, nid, IdString(ARCH_SRC).id(), REL_ARCH, /*create*/true );
       }
 
@@ -487,7 +487,7 @@ namespace zypp
       _kind = EXPRESSION;
       return;
     }
-    // map back satsolvers pseudo arch 'src' to kind srcpackage
+    // map back libsolvs pseudo arch 'src' to kind srcpackage
     if ( _archIfSimple == ARCH_SRC )
     {
       _lhs = IdString( (ResKind::srcpackage.asString() + ":" + IdString(_lhs).c_str()).c_str() ).id();
index 8f76c2c..e54d152 100644 (file)
@@ -305,7 +305,7 @@ namespace zypp
         EXPRESSION = 0x04
       };
 
-      /** Enum values corresponding with libsatsolver defines.
+      /** Enum values corresponding with libsolv defines.
        * \note MPL check in PoolImpl.cc
       */
       enum CapRel
index 98c4883..085df2a 100644 (file)
@@ -68,7 +68,7 @@ namespace zypp
 
       sat::Pool satpool( sat::Pool::instance() );
 
-      // init satsolver result vector with mountpoints
+      // init libsolv result vector with mountpoints
       static const ::DUChanges _initdu = { 0, 0, 0 };
       std::vector< ::DUChanges> duchanges( result.size(), _initdu );
       {
index e3c3bb3..429fb00 100644 (file)
@@ -11,7 +11,7 @@
 */
 extern "C"
 {
-#include <satsolver/evr.h>
+#include <solv/evr.h>
 }
 #include "zypp/base/String.h"
 
index 348b0de..8296b7e 100644 (file)
@@ -31,7 +31,7 @@ namespace zypp
     if ( ! ret.empty() )
       ret += ':';
 
-    if ( slv_r.isKind<SrcPackage>() ) // satsolver uses no namespace in SrcPackage ident!
+    if ( slv_r.isKind<SrcPackage>() ) // libsolv uses no namespace in SrcPackage ident!
     {
       ret += ResKind::srcpackage.c_str();
       ret += ':';
index 2eabbad..e1bc285 100644 (file)
@@ -462,7 +462,7 @@ namespace zypp
     // low level API
 
     /**
-     * Free function to get the satsolver repo search
+     * Free function to get libsolv repo search
      * flags.
      *
      * \see \ref Match
@@ -470,7 +470,7 @@ namespace zypp
     Match flags() const;
 
     /**
-     * Free function to set the satsolver repo search
+     * Free function to set libsolv repo search
      * flags.
      *
      * \see \ref Match
index 1162abe..6c86587 100644 (file)
@@ -59,7 +59,7 @@ namespace zypp
 
     /** Enumarators provided \b only for use \ref inSwitch statement.
      * \see inSwitch
-     * \note Enumarator values also correspond to the values libsatsolver
+     * \note Enumarator values also correspond to the values libsolv
      * uses to encode these relations.
     */
     enum for_use_in_switch {
@@ -141,7 +141,7 @@ namespace zypp
     for_use_in_switch inSwitch() const
     { return _op; }
 
-    /** Enumarator values suitable for libsatsolver. */
+    /** Enumarator values suitable for libsolv. */
     unsigned bits() const
     { return _op; }
 
index 8d704fe..69e979d 100644 (file)
@@ -1407,7 +1407,7 @@ namespace zypp
     {
       Repository repo = sat::Pool::instance().addRepoSolv( solvfile, info );
       // test toolversion in order to rebuild solv file in case
-      // it was written by an old satsolver-tool parser.
+      // it was written by an old libsolv-tool parser.
       //
       // Known version strings used:
       //  - <no string>
index e9b63a6..f23dc60 100644 (file)
@@ -262,7 +262,7 @@ namespace zypp
         ::_Repo * get() const;
         /** Expert backdoor. */
         IdType id() const { return _id; }
-        /** satsolver internal priorities.
+        /** libsolv internal priorities.
          * Unlike the \ref RepoInfo priority which tries to be YUM conform
          * (H[1-99]L), this one is the solvers internal priority representation.
          * It is type \c int and as one might expect it, the higher the value
index c687f6a..f241dcb 100644 (file)
@@ -58,8 +58,8 @@ namespace zypp
       explicit ResKind( const char * cstr_r )       : _str( str::toLower(cstr_r) ) {}
 
     public:
-      /** Return the satsolver identifier for name.
-       * Libsatsolver combines the objects kind and name in a single
+      /** Return libsolv identifier for name.
+       * Libsolv combines the objects kind and name in a single
        * identifier \c "pattern:kde_multimedia", \b except for packages
        * and source packes. They are not prefixed by any kind string.
       */
index 54ff1f5..b68039d 100644 (file)
@@ -13,7 +13,7 @@ extern "C"
 {
 #include <sys/utsname.h>
 #include <unistd.h>
-#include <satsolver/satversion.h>
+#include <solv/satversion.h>
 }
 #include <iostream>
 #include <fstream>
@@ -834,9 +834,9 @@ namespace zypp
   {
     str << "libzypp: " << VERSION << " built " << __DATE__ << " " <<  __TIME__ << endl;
 
-    str << "satsolver: " << sat_version;
-    if ( ::strcmp( sat_version, SATSOLVER_VERSION_STRING ) )
-      str << " (built against " << SATSOLVER_VERSION_STRING << ")";
+    str << "libsolv: " << sat_version;
+    if ( ::strcmp( sat_version, LIBSOLV_VERSION_STRING ) )
+      str << " (built against " << LIBSOLV_VERSION_STRING << ")";
     str << endl;
 
     str << "zypp.conf: '" << _pimpl->_parsedZyppConf << "'" << endl;
index 1cf4950..4b329a3 100644 (file)
@@ -8,7 +8,7 @@
 \---------------------------------------------------------------------*/
 extern "C"
 {
-#include <satsolver/knownid.h>
+#include <solv/knownid.h>
 }
 
 #include <iostream>
index ec3f8d0..56030f4 100644 (file)
@@ -12,7 +12,7 @@
 #include <iostream>
 extern "C"
 {
-#include <satsolver/knownid.h>
+#include <solv/knownid.h>
 }
 
 #include "zypp/base/LogTools.h"
index 3646be1..6680ee7 100644 (file)
@@ -11,7 +11,7 @@
 */
 extern "C"
 {
-#include <satsolver/repo.h>
+#include <solv/repo.h>
 }
 
 #include <iostream>
@@ -112,7 +112,7 @@ namespace zypp
         sep = 0; // suppress 'NOTHING|'
         break;
       case Match::OTHER:
-        str << mode<<"("<<obj.modeval()<<")"; // check whether satsolver has introduced new modes!
+        str << mode<<"("<<obj.modeval()<<")"; // check whether libsolv has introduced new modes!
         break;
       default:
         str << mode;
@@ -133,7 +133,7 @@ namespace zypp
       if ( val )
       {
         if ( sep ) str << sep;
-        str << zypp::str::hexstring( val ); // check whether satsolver has introduced new flags.
+        str << zypp::str::hexstring( val ); // check whether libsolv has introduced new flags.
       }
     }
     return str;
index 9b2ed28..1a51c51 100644 (file)
@@ -437,7 +437,7 @@ namespace zypp
          *
          * These are usable iff \ref solvAttrSubEntry is \c true.
          *
-         * \note Unfortunately the underlying satsolver dataiterator as returned
+         * \note Unfortunately the underlying libsolv dataiterator as returned
          * by \ref subBegin and \ref subFind loses some context when being created.
          * Thus it's not possible to invoke \ref subBegin and \ref subFind on an
          * iterator that was previously returned by one of those methods. The result
index d029129..36bccac 100644 (file)
@@ -10,7 +10,7 @@
  */
 extern "C"
 {
-#include "satsolver/queue.h"
+#include "solv/queue.h"
 }
 #include <iostream>
 #include "zypp/base/LogTools.h"
index a28b337..499c1da 100644 (file)
@@ -27,7 +27,7 @@ namespace zypp
   namespace sat
   { /////////////////////////////////////////////////////////////////
 
-    /** Satsolver Id queue wrapper.
+    /** Libsolv Id queue wrapper.
      */
     class Queue : private base::NonCopyable
     {
index 0b773ad..8a030e2 100644 (file)
@@ -11,7 +11,7 @@
 */
 extern "C"
 {
-#include <satsolver/knownid.h>
+#include <solv/knownid.h>
 }
 
 #include <iostream>
@@ -31,7 +31,7 @@ namespace sat
   const SolvAttr SolvAttr::noAttr;
 
 #warning STILL ATTRIBUTES HERE WHICH ARE NOT PROVIDED BY SOLV FILES
-// At least the ones that do nat have a satsolver/knownid.
+// At least the ones that do nat have a solv/knownid.
 
   const SolvAttr SolvAttr::name         ( SOLVABLE_NAME );
   const SolvAttr SolvAttr::edition      ( SOLVABLE_EVR );
index 75fcf32..a578d57 100644 (file)
@@ -235,7 +235,7 @@ namespace zypp
         static const sat::SolvAttr susetagsDatadir( "susetags:datadir" );
         Pathname ret;
         // First look for repo attribute "susetags:datadir". If not found,
-        // look into the solvables as Code11 satsolver placed it there.
+        // look into the solvables as Code11 libsolv placed it there.
         sat::LookupRepoAttr datadir( susetagsDatadir, repor_r );
         if ( ! datadir.empty() )
           ret = datadir.begin().asString();
index a8cb87b..33a81c8 100644 (file)
@@ -44,7 +44,7 @@ namespace zypp
     //
     /** A \ref Solvable object within the sat \ref Pool.
      *
-     * \note Unfortunately libsatsolver combines the objects kind and
+     * \note Unfortunately libsolv combines the objects kind and
      * name in a single identifier \c "pattern:kde_multimedia",
      * \b except for packages and source packes. They are not prefixed
      * by any kind string. Instead the architecture is abused to store
index 06dde49..fe53beb 100644 (file)
@@ -10,8 +10,8 @@
  */
 extern "C"
 {
-#include <satsolver/transaction.h>
-#include <satsolver/bitmap.h>
+#include <solv/transaction.h>
+#include <solv/bitmap.h>
 }
 #include <iostream>
 #include "zypp/base/LogTools.h"
index 358bf44..7fc6319 100644 (file)
@@ -43,7 +43,7 @@ namespace zypp
       class Transaction_const_iterator;
     }
 
-    /** Satsolver transaction wrapper.
+    /** Libsolv transaction wrapper.
      * \note Note that Transaction is derived from \ref sat::SolvIterMixin which
      *       makes PoolItem and Selectable iterators automatically available.
      * \note Changing the \ref ResPool content (loading/unloading repositories)
index 4c3c75c..7ee4b7e 100644 (file)
@@ -30,9 +30,9 @@ namespace zypp
     //
     /** WhatProvides implementation date.
      * Stores the offset into a O terminated Id array. Per default
-     * the satsolvers whatprovidesdata, otherwise private data.
+     * libsolvs whatprovidesdata, otherwise private data.
      *
-     * As the satsolvers whatprovidesdata might be realocated
+     * As libsolvs whatprovidesdata might be realocated
      * while iterating a result, the iterator takes an
      * <tt>const IdType *const*</tt>. Thats why we explicitly
      * provide _private and pass its adress to the iterator,
@@ -150,7 +150,7 @@ namespace zypp
       if ( _pimpl->_private )
         return const_iterator( _pimpl->_private );
 
-      // for satsolvers index use one more indirection, as it might get relocated.
+      // for libsolvs index use one more indirection, as it might get relocated.
       return const_iterator( &myPool().getPool()->whatprovidesdata, _pimpl->_offset );
     }
 
index 8786e78..9a2e7d9 100644 (file)
@@ -35,9 +35,9 @@
 
 extern "C"
 {
-// Workaround satsolver project not providing a common include
+// Workaround libsolv project not providing a common include
 // directory. (the -devel package does, but the git repo doesn't).
-// #include <satsolver/repo_helix.h>
+// #include <solv/repo_helix.h>
 void repo_add_helix( ::Repo *repo, FILE *fp, int flags );
 }
 
@@ -94,11 +94,11 @@ namespace zypp
       static void logSat( struct _Pool *, void *data, int type, const char *logString )
       {
          if ( type & (SAT_FATAL|SAT_ERROR) ) {
-           _ERR("satsolver") << logString;
+           _ERR("libsolv") << logString;
          } else if ( type & SAT_DEBUG_STATS ) {
-           _DBG("satsolver") << logString;
+           _DBG("libsolv") << logString;
          } else {
-           _MIL("satsolver") << logString;
+           _MIL("libsolv") << logString;
          }
       }
 
@@ -320,7 +320,7 @@ namespace zypp
             for_( it, sysarchs.begin(), sysarchs.end() )
               sysids.insert( it->id() );
 
-              // unfortunately satsolver treats src/nosrc as architecture:
+              // unfortunately libsolv treats src/nosrc as architecture:
             sysids.insert( ARCH_SRC );
             sysids.insert( ARCH_NOSRC );
           }
@@ -371,7 +371,7 @@ namespace zypp
         {
           bool dirty = false;
 
-          // satsolver priority is based on '<', while yum's repoinfo
+          // libsolv priority is based on '<', while yum's repoinfo
           // uses 1(highest)->99(lowest). Thus we use -info_r.priority.
           if ( repo->priority != int(-info_r.priority()) )
           {
index 00edf97..d4a248f 100644 (file)
 #define ZYPP_SAT_DETAIL_POOLIMPL_H
 extern "C"
 {
-#include <satsolver/pool.h>
-#include <satsolver/repo.h>
-#include <satsolver/solvable.h>
-#include <satsolver/poolarch.h>
-#include <satsolver/repo_solv.h>
+#include <solv/pool.h>
+#include <solv/repo.h>
+#include <solv/solvable.h>
+#include <solv/poolarch.h>
+#include <solv/repo_solv.h>
 }
 #include <iosfwd>
 
index da73536..ff9a75f 100644 (file)
@@ -275,7 +275,7 @@ void Resolver::undo()
 
 void Resolver::solverInit()
 {
-    // Solving with the satsolver
+    // Solving with libsolv
     static bool poolDumped = false;
     MIL << "-------------- Calling SAT Solver -------------------" << endl;
     if ( getenv("ZYPP_FULLLOG") ) {
index 390c88f..0420dc5 100644 (file)
  */
 extern "C"
 {
-#include <satsolver/repo_solv.h>
-#include <satsolver/poolarch.h>
-#include <satsolver/evr.h>
-#include <satsolver/poolvendor.h>
-#include <satsolver/policy.h>
-#include <satsolver/bitmap.h>
-#include <satsolver/queue.h>
+#include <solv/repo_solv.h>
+#include <solv/poolarch.h>
+#include <solv/evr.h>
+#include <solv/poolvendor.h>
+#include <solv/policy.h>
+#include <solv/bitmap.h>
+#include <solv/queue.h>
 }
 
 #include "zypp/solver/detail/Helper.h"
index 31b5054..df136dd 100644 (file)
@@ -24,8 +24,8 @@
 
 extern "C"
 {
-#include <satsolver/solver.h>
-#include <satsolver/pool.h>
+#include <solv/solver.h>
+#include <solv/pool.h>
 }
 
 #include <iosfwd>
index e7ca81d..9f3bbe7 100644 (file)
@@ -19,7 +19,7 @@
  */
 extern "C"
 {
-#include <satsolver/solver.h>
+#include <solv/solver.h>
 }
 
 #include "zypp/base/Logger.h"
index f0fe78d..edbb618 100644 (file)
@@ -19,7 +19,7 @@
  */
 extern "C"
 {
-#include <satsolver/solver.h>
+#include <solv/solver.h>
 }
 
 #include "zypp/base/Logger.h"
index 778ad2e..19b5d11 100644 (file)
@@ -19,7 +19,7 @@
  */
 extern "C"
 {
-#include <satsolver/solver.h>
+#include <solv/solver.h>
 }
 
 #include "zypp/base/Logger.h"
index 391cae8..e13e69c 100644 (file)
@@ -19,7 +19,7 @@
  */
 extern "C"
 {
-#include <satsolver/solver.h>
+#include <solv/solver.h>
 }
 
 #include "zypp/base/Logger.h"
index 346aca8..3b06ae6 100644 (file)
@@ -19,7 +19,7 @@
  */
 extern "C"
 {
-#include <satsolver/solver.h>
+#include <solv/solver.h>
 }
 
 #include "zypp/base/Logger.h"
index 5759bdf..aedeb6e 100644 (file)
@@ -19,7 +19,7 @@
  */
 extern "C"
 {
-#include <satsolver/solver.h>
+#include <solv/solver.h>
 }
 
 #include "zypp/base/Logger.h"