piece_morpher.hh

// Copyright (C) 2004  EPITA Research and Development Laboratory
//
// This file is part of the Olena Library.  This library is free
// software; you can redistribute it and/or modify it under the terms
// of the GNU General Public License version 2 as published by the
// Free Software Foundation.
//
// This 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 this library; see the file COPYING.  If not, write to
// the Free Software Foundation, 59 Temple Place - Suite 330, Boston,
// MA 02111-1307, USA.
//
// As a special exception, you may use this file as part of a free
// software library without restriction.  Specifically, if other files
// instantiate templates or use macros or inline functions from this
// file, or you compile this file and link it with other files to
// produce an executable, this file does not by itself cause the
// resulting executable to be covered by the GNU General Public
// License.  This exception does not however invalidate any other
// reasons why the executable file might be covered by the GNU General
// Public License.

#ifndef PIECE_MORPHER_HH
# define PIECE_MORPHER_HH

# include <oln/morpher/generic_morpher.hh>

namespace oln {

  namespace morpher {

    template <class I, class Exact = mlc::final>
    struct piece_morpher;
    template <class I, class Exact = mlc::final>
    struct super_piece_morpher;

  } // end of namespace morpher

  template <class SrcType, class Exact>
  struct image_id< morpher::super_piece_morpher<SrcType, Exact> >
  {
    typedef typename mlc::exact_vt<
      morpher::super_piece_morpher<SrcType, Exact>,
      Exact>::ret
    exact_type;
  };

  template <class SrcType, class Exact>
  struct image_id< morpher::piece_morpher<SrcType, Exact> >
  {
    enum {dim = SrcType::dim}; 
    typedef oln_impl_type(SrcType) impl_type;
    typedef oln_value_type(SrcType) value_type;
    typedef typename mlc::exact_vt<morpher::piece_morpher<SrcType, Exact>,
                                   Exact>::ret exact_type;
    typedef oln_point_type(SrcType) point_type;
    typedef oln_dpoint_type(SrcType) dpoint_type;
    typedef oln_size_type(SrcType) size_type;
    typedef oln_iter_type(SrcType) iter_type;
  };

  template <class SrcType, class Exact>
  struct image_traits < morpher::piece_morpher<SrcType, Exact> >
    : public
  image_traits<
    morpher::abstract::generic_morpher<
      SrcType,
      typename image_id<morpher::piece_morpher<SrcType,
                                               Exact> >::exact_type
    >
  >
  {};


  namespace morpher {

    template <class SrcType, class Exact>
    class super_piece_morpher
      : public abstract::generic_morpher<SrcType, Exact>
    {

    public:

      typedef super_piece_morpher<SrcType, Exact> self_type;
      typedef typename image_id<self_type>::exact_type exact_type;
      typedef abstract::generic_morpher<SrcType, Exact> super_type;

      typedef typename image_id<exact_type>::dpoint_type dpoint_type;
      typedef typename image_id<exact_type>::size_type size_type;

    protected:

      super_piece_morpher(const SrcType &ima, const dpoint_type& p,
                          const size_type& s)
        : super_type(ima), size_(s), p_(p)
      {}

      const size_type size_; 
      const dpoint_type p_;

      super_piece_morpher()
      {}

    public:

      const size_type
      size() const
      {
        return size_;
      }

      const dpoint_type
      ref_point() const
      {
        return p_;
      }

      static std::string
      name()
      {
        return "super_piece_morpher<" + super_type::name() + ">";
      }

    };

    template <class SrcType, class Exact>
    struct piece_morpher
      : public super_piece_morpher<
          SrcType,
          typename image_id<piece_morpher<SrcType, Exact> >::exact_type
        >
    {
      typedef piece_morpher<SrcType, Exact> self_type;
      typedef typename image_id<self_type>::exact_type exact_type;
      typedef super_piece_morpher<SrcType, exact_type> super_type;

      typedef typename image_id<exact_type>::point_type point_type;
      typedef typename image_id<exact_type>::dpoint_type dpoint_type;
      typedef typename image_id<exact_type>::size_type size_type;
      typedef typename image_id<exact_type>::value_type value_type;

      piece_morpher(const SrcType &ima, const dpoint_type p,
                    const size_type s)
        : super_type(ima, p, s)
      {}

      piece_morpher(const self_type& r)
        : super_type(r.get_ima(), r.ref_point(), r.size())
      {}

      piece_morpher()
      {}

      value_type&
      at(const point_type& p)
      {
        return const_cast<value_type &>
          ( const_cast<SrcType &>(this->ima_)[p + p_] );
      }

      const value_type
      at(const point_type& p) const
      {
        return this->ima_[p + p_];
      }

      self_type&
      assign(self_type& rhs)
      {
        oln_iter_type(SrcType)  it(rhs);

        for_all(it)
          this->at(it) = rhs[it];
        return this->exact();
      }

      self_type&
      operator=(SrcType& rhs)
      {
        return this->exact().assign(rhs);
      }

      static std::string
      name()
      {
        return "piece_morpher<" + super_type::name() + ">";
      }

    };

    template <class SrcType, class Exact>
    struct piece_morpher<const SrcType, Exact>
      : public super_piece_morpher<
          const SrcType,
          typename image_id<piece_morpher<const SrcType,
                                          Exact> >::exact_type
        >
    {
      typedef piece_morpher<const SrcType, Exact> self_type;
      typedef typename image_id<self_type>::exact_type exact_type;
      typedef super_piece_morpher<const SrcType, exact_type> super_type;

      typedef typename image_id<exact_type>::point_type point_type;
      typedef typename image_id<exact_type>::dpoint_type dpoint_type;
      typedef typename image_id<exact_type>::size_type size_type;
      typedef typename image_id<exact_type>::value_type value_type;

      piece_morpher(const SrcType &ima, const dpoint_type p,
                    const size_type s)
        : super_type(ima, p, s)
      {}

      piece_morpher(const self_type& r)
        : super_type(r.get_ima(), r.ref_point(), r.size())
      {}

      piece_morpher() {}

      const value_type
      at(const point_type &p) const
      {
        return this->ima_[p + p_];
      }

      static std::string
      name()
      {
        return "piece_morpher<" + super_type::name() + ">";
      }

    };


    template <class I, class PointType, class SizeType>
    const piece_morpher<I>
    piece_morph(I &ima, const PointType p, const SizeType s)
    {
      return piece_morpher<I>(ima, p, s);
    }


  } // end namespace morpher

} // end namespace oln

#endif // !PIECE_MORPHER

---