* 02111-1307, USA.
*/
+#define ZYPP_USE_RESOLVER_INTERNALS
+
#include "zypp/solver/detail/Resolver.h"
#include "zypp/solver/detail/SolutionAction.h"
-#include "zypp/CapSet.h"
+#include "zypp/solver/detail/SolverQueueItem.h"
+#include "zypp/Capabilities.h"
#include "zypp/base/Logger.h"
-#include "zypp/Dependencies.h"
-
/////////////////////////////////////////////////////////////////////////
namespace zypp
using namespace std;
IMPL_PTR_TYPE(SolutionAction);
-IMPL_PTR_TYPE(TransactionSolutionAction);
-IMPL_PTR_TYPE(InjectSolutionAction);
//---------------------------------------------------------------------------
{
os << "TransactionSolutionAction: ";
switch (_action) {
- case KEEP: os << "Keep"; break;
- case INSTALL: os << "Install"; break;
- case REMOVE: os << "Remove"; break;
- case UNLOCK: os << "Unlock"; break;
- case ALLBRANCHES: os << "All branches"; break;
+ case KEEP: os << "Keep " << _item; break;
+ case INSTALL: os << "Install " << _item; break;
+ case REMOVE: os << "Remove " << _item; break;
+ case UNLOCK: os << "Unlock " << _item; break;
+ case LOCK: os << "Lock " << _item; break;
+ case REMOVE_EXTRA_REQUIRE: os << "Remove require " << _capability; break;
+ case REMOVE_EXTRA_CONFLICT: os << "Remove conflict " << _capability; break;
+ case ADD_SOLVE_QUEUE_ITEM: os << "Add SolveQueueItem " << _solverQueueItem; break;
+ case REMOVE_SOLVE_QUEUE_ITEM: os << "Remove SolveQueueItem " << _solverQueueItem; break;
}
- os << " ";
- os << _item;
- os << endl;
return os;
}
return os;
}
-
-ostream&
-operator<<( ostream& os, const CSolutionActionList & actionlist)
-{
- for (CSolutionActionList::const_iterator iter = actionlist.begin(); iter != actionlist.end(); ++iter) {
- os << *(*iter);
- os << endl;
- }
- return os;
-}
-
//---------------------------------------------------------------------------
ostream &
InjectSolutionAction::dumpOn( ostream& os ) const
{
os << "InjectSolutionAction: ";
- os << _capability;
- os << ", ";
switch (_kind) {
- case REQUIRES: os << "Requires"; break;
- case CONFLICTS: os << "Conflicts"; break;
- case OBSOLETES: os << "Obsoletes"; break;
- case INSTALLED: os << "Installed"; break;
- case ARCHITECTURE: os << "Architecture"; break;
+ case WEAK: os << "Weak"; break;
default: os << "Wrong kind"; break;
}
os << " ";
- os << _item;
- os << endl;
+ os << _item;
return os;
}
}
-bool
-TransactionSolutionAction::execute(Resolver & resolver) const
+bool
+TransactionSolutionAction::execute(ResolverInternal & resolver) const
{
bool ret = true;
switch (action()) {
case KEEP:
- resolver.addIgnoreInstalledItem( _item );
- /*FALLTHRU*/
+ _item.status().resetTransact (ResStatus::USER);
+ ret = _item.status().setTransact (false, ResStatus::APPL_HIGH); // APPL_HIGH: Locking should not be saved permanently
+ break;
case INSTALL:
if (_item.status().isToBeUninstalled())
ret = _item.status().setTransact (false, ResStatus::USER);
case REMOVE:
if (_item.status().isToBeInstalled()) {
_item.status().setTransact (false,ResStatus::USER);
- _item.status().setLock (true,ResStatus::USER); // no other dependency can set it again
+ _item.status().setLock (true,ResStatus::USER); // no other dependency can set it again
} else if (_item.status().isInstalled())
_item.status().setToBeUninstalled (ResStatus::USER);
else
- _item.status().setLock (true,ResStatus::USER); // no other dependency can set it again
+ _item.status().setLock (true,ResStatus::USER); // no other dependency can set it again
break;
case UNLOCK:
ret = _item.status().setLock (false, ResStatus::USER);
if (!ret) ERR << "Cannot unlock " << _item << endl;
break;
- case ALLBRANCHES:
- resolver.setTryAllPossibilities (true);
+ case LOCK:
+ _item.status().resetTransact (ResStatus::USER);
+ ret = _item.status().setLock (true, ResStatus::APPL_HIGH); // APPL_HIGH: Locking should not be saved permanently
+ if (!ret) ERR << "Cannot lock " << _item << endl;
+ break;
+ case REMOVE_EXTRA_REQUIRE:
+ resolver.removeExtraRequire (_capability);
+ break;
+ case REMOVE_EXTRA_CONFLICT:
+ resolver.removeExtraConflict (_capability);
+ break;
+ case ADD_SOLVE_QUEUE_ITEM:
+ resolver.addQueueItem(_solverQueueItem);
+ break;
+ case REMOVE_SOLVE_QUEUE_ITEM:
+ resolver.removeQueueItem(_solverQueueItem);
break;
default:
ERR << "Wrong TransactionKind" << endl;
}
bool
-InjectSolutionAction::execute(Resolver & resolver) const
+InjectSolutionAction::execute(ResolverInternal & resolver) const
{
- Dependencies dependencies = _item.resolvable()->deps();
- CapSet depList = dependencies[Dep::CONFLICTS];
switch (_kind) {
- case CONFLICTS:
- // removing conflict in both resolvables
- for (CapSet::const_iterator iter = depList.begin(); iter != depList.end(); iter++) {
- if (iter->matches (_capability) == CapMatch::yes )
- {
- resolver.addIgnoreConflict (_item, _capability);
- }
- }
- // Obsoletes are conflicts too
- depList = dependencies[Dep::OBSOLETES];
- for (CapSet::const_iterator iter = depList.begin(); iter != depList.end(); iter++) {
- if (iter->matches (_capability) == CapMatch::yes )
- {
- resolver.addIgnoreConflict (_otherItem, _capability);
- }
- }
-
- dependencies = _otherItem.resolvable()->deps();
- depList = dependencies[Dep::CONFLICTS];
- for (CapSet::const_iterator iter = depList.begin(); iter != depList.end(); iter++) {
- if (iter->matches (_capability) == CapMatch::yes )
- {
- resolver.addIgnoreConflict (_otherItem, _capability);
- }
- }
- // Obsoletes are conflicts too
- depList = dependencies[Dep::OBSOLETES];
- for (CapSet::const_iterator iter = depList.begin(); iter != depList.end(); iter++) {
- if (iter->matches (_capability) == CapMatch::yes )
- {
- resolver.addIgnoreConflict (_otherItem, _capability);
- }
- }
-
- break;
- case REQUIRES:
- // removing the requires dependency from the item
- resolver.addIgnoreRequires (_item, _capability);
- break;
- case ARCHITECTURE:
- // This item is for ALL architectures available
- resolver.addIgnoreArchitectureItem (_item);
- break;
- case OBSOLETES:
- // removing the obsoletes dependency from the item
- resolver.addIgnoreObsoletes (_otherItem, _capability);
- break;
- case INSTALLED:
- // ignoring already installed items
- resolver.addIgnoreInstalledItem (_item);
- resolver.addIgnoreInstalledItem (_otherItem);
- break;
+ case WEAK:
+ // set item dependencies to weak
+ resolver.addWeak (_item);
+ break;
default:
ERR << "No valid InjectSolutionAction kind found" << endl;
return false;