Domi_MDRevIterator.hpp

// @HEADER
// ***********************************************************************
//
//     Domi: Multi-dimensional Distributed Linear Algebra Services
//                 Copyright (2014) Sandia Corporation
//
// Under the terms of Contract DE-AC04-94AL85000 with Sandia
// Corporation, the U.S. Government retains certain rights in this
// software.
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are
// met:
//
// 1. Redistributions of source code must retain the above copyright
// notice, this list of conditions and the following disclaimer.
//
// 2. Redistributions in binary form must reproduce the above copyright
// notice, this list of conditions and the following disclaimer in the
// documentation and/or other materials provided with the distribution.
//
// 3. Neither the name of the Corporation nor the names of the
// contributors may be used to endorse or promote products derived from
// this software without specific prior written permission.
//
// THIS SOFTWARE IS PROVIDED BY SANDIA CORPORATION "AS IS" AND ANY
// EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
// IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
// PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL SANDIA CORPORATION OR THE
// CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
// EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
// PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
// PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
// LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
// NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
// SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
//
// Questions? Contact William F. Spotz (wfspotz@sandia.gov)
//
// ***********************************************************************
// @HEADER

#ifndef DOMI_MDREVITERATOR_HPP
#define DOMI_MDREVITERATOR_HPP

// Standard include
#include <iterator>

// Domi includes
#include "Domi_Exceptions.hpp"
#include "Domi_Utils.hpp"

namespace Domi
{

template< class MDARRAY >
class MDRevIterator : public std::iterator< std::bidirectional_iterator_tag,
                                            typename MDARRAY::value_type >
{
public:


  typedef typename MDARRAY::value_type value_type;

  typedef typename MDARRAY::pointer pointer;



  MDRevIterator(const MDARRAY & mdarray,
                bool end_index = false);

  MDRevIterator(const MDARRAY & mdarray,
                const Teuchos::ArrayView< dim_type > & index);

  MDRevIterator(const MDRevIterator< MDARRAY > & source);

  ~MDRevIterator();



  MDRevIterator< MDARRAY > &
  operator=(const MDRevIterator< MDARRAY > & source);

  bool operator==(const MDRevIterator< MDARRAY > & other) const;

  bool operator!=(const MDRevIterator< MDARRAY > & other) const;

  inline value_type & operator*();

  inline pointer operator->() const;

  MDRevIterator< MDARRAY > & operator++();

  MDRevIterator< MDARRAY > operator++(int);

  MDRevIterator< MDARRAY > & operator--();

  MDRevIterator< MDARRAY > operator--(int);


  inline dim_type index(int axis) const;

  template< typename T2 >
  friend std::ostream & operator<<(std::ostream & os, const MDRevIterator< T2 > & a);

private:

  // A copy of the dimensions of the multi-dimensional array being
  // reverse iterated
  const Teuchos::Array< dim_type > _dimensions;

  // A copy of the strides of the multi-dimensional array being
  // reverse iterated
  const Teuchos::Array< size_type > _strides;

  // A pointer to the data buffer of the multi-dimensional array
  // being reverse iterated
  value_type * _ptr;

  // A copy of the storage order of the multi-dimensional array being
  // reverse iterated
  Layout _layout;

  // The multi-dimensional index of the current reverse iterate
  Teuchos::Array< dim_type > _index;

  // A temporary value used to indicate the axis of the index
  // currently being incremented or decremented
  mutable int _axis;

  // A temporary value used to indicate whether an increment or
  // decrement operation is complete
  mutable bool _done;

  // Convenience function for assigning the begin index
  void assign_begin_index();

  // We need an index that is recognized as the end index.  It must
  // not be a valid index for the MDARRAY.  Since there are a nearly
  // infinite number of indexes that could serve as the end index,
  // this method should always be used to assign the index of an end
  // reverse iterator.
  void assign_end_index();

  // Assert that the given index is valid for the given axis
  void assert_index(dim_type i, int axis) const;

};

// Implementations //

template< class MDARRAY >
MDRevIterator< MDARRAY >::MDRevIterator(const MDARRAY & mdarray,
                                        bool end_index) :
  _dimensions(mdarray._dimensions),
  _strides(mdarray._strides),
  _ptr(mdarray._ptr),
  _layout(mdarray._layout),
  _index(mdarray.numDims())
{
  if (end_index)
    assign_end_index();
  else
  {
    if (computeSize(_dimensions) == 0)
      assign_end_index();
    else
      assign_begin_index();
  }
}


template< class MDARRAY >
MDRevIterator< MDARRAY >::
MDRevIterator(const MDARRAY & mdarray,
              const Teuchos::ArrayView< dim_type > & index) :
  _dimensions(mdarray._dimensions),
  _strides(mdarray._strides),
  _ptr(mdarray._ptr),
  _layout(mdarray._layout),
  _index(index)
{
  TEUCHOS_TEST_FOR_EXCEPTION(
    (_dimensions.size() != _index.size()), RangeError,
    "Input array has " << _dimensions.size() << " dimensions, while index "
    "has " << _index.size());
#ifdef HAVE_DOMI_ARRAY_BOUNDSCHECK
  for (_axis = 0; _axis < _index.size(); ++_axis)
    assert_index(_index[_axis], _axis);
#endif
}


template< class MDARRAY >
MDRevIterator< MDARRAY >::
MDRevIterator(const MDRevIterator< MDARRAY > & source) :
  _dimensions(source._dimensions),
  _strides(source._strides),
  _ptr(source._ptr),
  _layout(source._layout),
  _index(source._index)
{
}


template< class MDARRAY >
MDRevIterator< MDARRAY >::~MDRevIterator()
{
}


template< class MDARRAY >
MDRevIterator< MDARRAY > &
MDRevIterator< MDARRAY >::operator=(const MDRevIterator< MDARRAY > & source)
{
  _dimensions = source._dimensions;
  _strides    = source._strides;
  _ptr        = source._ptr;
  _layout     = source._layout;
  _index      = source._index;
  return *this;
}


template< class MDARRAY >
bool
MDRevIterator< MDARRAY >::
operator==(const MDRevIterator< MDARRAY > & other) const
{
  // If underlying MDARRAYs are different, then return not equal
  if (_ptr != other._ptr) return false;
  // If any of the current index values differ, then return not equal 
  for (_axis = 0; _axis < _index.size(); _axis++)
    if (_index[_axis] != other._index[_axis]) return false;
  // Return equal
  return true;
}


template< class MDARRAY >
bool
MDRevIterator< MDARRAY >::
operator!=(const MDRevIterator< MDARRAY > & other) const
{
  return !(*this == other);
}


template< class MDARRAY >
typename MDRevIterator< MDARRAY >::value_type &
MDRevIterator< MDARRAY >::operator*()
{
  size_type offset = 0;
  for (_axis=0; _axis < _index.size(); ++_axis)
    offset += _index[_axis] * _strides[_axis];
  return _ptr[offset];
}


template< class MDARRAY >
typename MDRevIterator< MDARRAY >::pointer
MDRevIterator< MDARRAY >::operator->() const
{
  return &operator*();
}


template< class MDARRAY >
MDRevIterator< MDARRAY > &
MDRevIterator< MDARRAY >::operator++()
{
  if (_layout == FIRST_INDEX_FASTEST)
  {
    _axis = 0;
    _done = false;
    while (not _done)
    {
      _index[_axis]--;
      _done = (_index[_axis] >= 0);
      if (not _done)
      {
        _index[_axis] = _dimensions[_axis] - 1;
        _axis++;
        if (_axis >= _index.size())
        {
          _done = true;
          assign_end_index();
        }
      }
    }
  }
  else
  {
    _axis = _dimensions.size() - 1;
    _done = false;
    while (not _done)
    {
      _index[_axis]--;
      _done = (_index[_axis] >= 0);
      if (not _done)
      {
        _index[_axis] = _dimensions[_axis] - 1;
        _axis--;
        if (_axis < 0)
        {
          _done = true;
          assign_end_index();
        }
      }
    }
  }
  return *this;
}


template< class MDARRAY >
MDRevIterator< MDARRAY >
MDRevIterator< MDARRAY >::operator++(int)
{
  MDRevIterator< MDARRAY > result(*this);
  ++(*this);
  return result;
}


template< class MDARRAY >
MDRevIterator< MDARRAY > &
MDRevIterator< MDARRAY >::operator--()
{
  if (_layout == FIRST_INDEX_FASTEST)
  {
    _axis = 0;
    _done = false;
    while (not _done)
    {
      _index[_axis]++;
      _done = (_index[_axis] < _dimensions[_axis]);
      if (not _done)
      {
        _index[_axis] = 0;
        _axis++;
        if (_axis >= _index.size())
        {
          _done = true;
          assign_end_index();
        }
      }
    }
  }
  else
  {
    _axis = _dimensions.size() - 1;
    _done = false;
    while (not _done)
    {
      _index[_axis]++;
      _done = (_index[_axis] < _dimensions[_axis]);
      if (not _done)
      {
        _index[_axis] = 0;
        _axis--;
        if (_axis < 0)
        {
          _done = true;
          assign_end_index();
        }
      }
    }
  }
  return *this;
}


template< class MDARRAY >
MDRevIterator< MDARRAY >
MDRevIterator< MDARRAY >::operator--(int)
{
  MDRevIterator< MDARRAY > result(*this);
  --(*this);
  return result;
}


template< class MDARRAY >
dim_type
MDRevIterator< MDARRAY >::
index(int axis) const
{
  return _index[axis];
}


template< typename T >
std::ostream & operator<<(std::ostream & os, const MDRevIterator< T > & a)
{
  os << &(*a);
  return os;
}

// Private implementations //

template< class MDARRAY >
void
MDRevIterator< MDARRAY >::assign_begin_index()
{
  for (int axis = 0;
       axis < _index.size(); ++axis)
    _index[axis] = _dimensions[axis] - 1;
}


template< class MDARRAY >
void
MDRevIterator< MDARRAY >::assign_end_index()
{
  // We choose the end index to be equal to an array of -1 values
  for (int axis = 0;
       axis < _index.size(); ++axis)
    _index[axis] = -1;
}


template< class MDARRAY >
void
MDRevIterator< MDARRAY >::
assert_index(dim_type i,
             int axis) const
{
  TEUCHOS_TEST_FOR_EXCEPTION(
    !(0 <= i && i < _dimensions[axis]), RangeError,
    "MDRevIterator<MDARRAY>::assert_index(i=" << i << ",axis=" << axis << "): out"
    << " of range i in [0, " << _dimensions[axis] << ")"
  );
}

}  // namespace Domi

#endif