1 /* -*- Mode: C++; tab-width: 8; indent-tabs-mode: t; c-basic-offset: 4 -*- */
4 * Copyright (C) 2008 SUSE Linux Products GmbH
6 * This program is free software; you can redistribute it and/or
7 * modify it under the terms of the GNU General Public License,
8 * version 2, as published by the Free Software Foundation.
10 * This program is distributed in the hope that it will be useful, but
11 * WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 * General Public License for more details.
15 * You should have received a copy of the GNU General Public License
16 * along with this program; if not, write to the Free Software
17 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
22 #include <solv/solver.h>
25 #include "zypp/base/Logger.h"
26 #include "zypp/solver/detail/SolverQueueItemUpdate.h"
28 /////////////////////////////////////////////////////////////////////////
30 { ///////////////////////////////////////////////////////////////////////
31 ///////////////////////////////////////////////////////////////////////
33 { /////////////////////////////////////////////////////////////////////
34 /////////////////////////////////////////////////////////////////////
36 { ///////////////////////////////////////////////////////////////////
40 IMPL_PTR_TYPE(SolverQueueItemUpdate);
42 //---------------------------------------------------------------------------
45 SolverQueueItemUpdate::dumpOn( std::ostream & os ) const
47 os << "[" << (_soft?"Soft":"") << "Update: " <<
53 //---------------------------------------------------------------------------
55 SolverQueueItemUpdate::SolverQueueItemUpdate (const ResPool & pool,
56 const PoolItem & item, bool soft)
57 : SolverQueueItem (QUEUE_ITEM_TYPE_UPDATE, pool)
64 SolverQueueItemUpdate::~SolverQueueItemUpdate()
68 //---------------------------------------------------------------------------
70 bool SolverQueueItemUpdate::addRule (sat::detail::CQueue & q)
72 ::Id id = _item.satSolvable().id();
74 ERR << "Update explicit: " << _item << " not found" << endl;
77 MIL << "Update explicit " << _item << " with the SAT-Pool ID: " << id << endl;
78 queue_push( &(q), SOLVER_UPDATE | SOLVER_SOLVABLE );
79 queue_push( &(q), id );
84 SolverQueueItemUpdate::copy (void) const
86 SolverQueueItemUpdate_Ptr new_update = new SolverQueueItemUpdate (pool(), _item);
87 new_update->SolverQueueItem::copy(this);
89 new_update->_soft = _soft;
94 SolverQueueItemUpdate::cmp (SolverQueueItem_constPtr item) const
96 int cmp = this->compare (item);
99 SolverQueueItemUpdate_constPtr update = dynamic_pointer_cast<const SolverQueueItemUpdate>(item);
100 return compareByNVRA (_item.resolvable(), update->_item.resolvable());
104 //---------------------------------------------------------------------------
107 ///////////////////////////////////////////////////////////////////
108 };// namespace detail
109 /////////////////////////////////////////////////////////////////////
110 /////////////////////////////////////////////////////////////////////
111 };// namespace solver
112 ///////////////////////////////////////////////////////////////////////
113 ///////////////////////////////////////////////////////////////////////
115 /////////////////////////////////////////////////////////////////////////