DataIterator.h

#ifndef _theplu_yat_utility_data_iterator_
#define _theplu_yat_utility_data_iterator_

// $Id: DataIterator.h 3550 2017-01-03 05:41:02Z peter $

/*
  Copyright (C) 2008 Jari Häkkinen, Peter Johansson
  Copyright (C) 2009, 2010, 2014, 2015, 2016 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/type_traits/remove_reference.hpp>

namespace theplu {
namespace yat {
namespace utility {

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

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

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

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

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

  private:
  };

  template<typename Base>
  DataIterator<Base> data_iterator(Base base)
  {
    return DataIterator<Base>(base);
  }


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

#endif