WeightIterator.h

#ifndef _theplu_yat_utility_weight_iterator_
#define _theplu_yat_utility_weight_iterator_

// $Id: WeightIterator.h 4207 2022-08-26 04:36:28Z peter $

/*
  Copyright (C) 2008 Jari Häkkinen, Peter Johansson
  Copyright (C) 2009, 2010, 2014, 2016, 2022 Peter Johansson

  This file is part of the yat library, http://dev.thep.lu.se/yat

  The yat library is free software; you can redistribute it and/or
  modify it under the terms of the GNU General Public License as
  published by the Free Software Foundation; either version 3 of the
  License, or (at your option) any later version.

  The yat library is distributed in the hope that it will be useful,
  but WITHOUT ANY WARRANTY; without even the implied warranty of
  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
  General Public License for more details.

  You should have received a copy of the GNU General Public License
  along with yat. If not, see <http://www.gnu.org/licenses/>.
*/

#include "concept_check.h"
#include "iterator_traits.h"

#include <boost/concept_check.hpp>
#include <boost/iterator/iterator_adaptor.hpp>
#include <boost/iterator/iterator_concepts.hpp>
#include <boost/type_traits/remove_reference.hpp>

namespace theplu {
namespace yat {
namespace utility {

  template<typename Base>
  class WeightIterator
    : public boost::iterator_adaptor<
    WeightIterator<Base>               // Derived
    , Base                          // Base
    , typename boost::remove_reference<typename iterator_traits<Base>::weight_reference>::type
    , boost::use_default    // CategoryOrTraversal
    , typename iterator_traits<Base>::weight_reference // Reference
    >

  {
  public:
    WeightIterator(void)
      : WeightIterator::iterator_adaptor_()
    {
      BOOST_CONCEPT_ASSERT((DataIteratorConcept<Base>));
    }

    explicit WeightIterator(Base b)
      : WeightIterator::iterator_adaptor_(b)
    {
      BOOST_CONCEPT_ASSERT((DataIteratorConcept<Base>));
    }

    template<typename B2>
    WeightIterator(WeightIterator<B2> other,
                   typename boost::enable_if_convertible<B2, Base>::type* = 0 )
      : WeightIterator::iterator_adaptor_(other.base())
    {
      BOOST_CONCEPT_ASSERT((boost_concepts::ReadableIterator<Base>));
    }

    typename iterator_traits<Base>::weight_reference operator*(void) const
    { return iterator_traits<Base>().weight(this->base()); }

  private:
  };

  template<typename Base>
  WeightIterator<Base> weight_iterator(Base base)
  {
    return WeightIterator<Base>(base);
  }


}}} // of namespace utility, yat, and theplu

#endif