src/boost/boost/mpl/aux_/joint_iter.hpp

   1
   2 #ifndef BOOST_MPL_AUX_JOINT_ITER_HPP_INCLUDED
   3 #define BOOST_MPL_AUX_JOINT_ITER_HPP_INCLUDED
   4
   5 // Copyright Aleksey Gurtovoy 2000-2004
   6 //
   7 // Distributed under the Boost Software License, Version 1.0.
   8 // (See accompanying file LICENSE_1_0.txt or copy at
   9 // http://www.boost.org/LICENSE_1_0.txt)
  10 //
  11 // See http://www.boost.org/libs/mpl for documentation.
  12
  13 // $Id: joint_iter.hpp 49267 2008-10-11 06:19:02Z agurtovoy $
  14 // $Date: 2008-10-11 02:19:02 -0400 (Sat, 11 Oct 2008) $
  15 // $Revision: 49267 $
  16
  17 #include <boost/mpl/next_prior.hpp>
  18 #include <boost/mpl/deref.hpp>
  19 #include <boost/mpl/iterator_tags.hpp>
  20 #include <boost/mpl/aux_/lambda_spec.hpp>
  21 #include <boost/mpl/aux_/config/ctps.hpp>
  22
  23 #if defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)
  24 #   include <boost/type_traits/is_same.hpp>
  25 #endif
  26
  27 namespace boost { namespace mpl {
  28
  29 #if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)
  30
  31 template<
  32       typename Iterator1
  33     , typename LastIterator1
  34     , typename Iterator2
  35     >
  36 struct joint_iter
  37 {
  38     typedef Iterator1 base;
  39     typedef forward_iterator_tag category;
  40 };
  41
  42 template<
  43       typename LastIterator1
  44     , typename Iterator2
  45     >
  46 struct joint_iter<LastIterator1,LastIterator1,Iterator2>
  47 {
  48     typedef Iterator2 base;
  49     typedef forward_iterator_tag category;
  50 };
  51
  52
  53 template< typename I1, typename L1, typename I2 >
  54 struct deref< joint_iter<I1,L1,I2> >
  55 {
  56     typedef typename joint_iter<I1,L1,I2>::base base_;
  57     typedef typename deref<base_>::type type;
  58 };
  59
  60 template< typename I1, typename L1, typename I2 >
  61 struct next< joint_iter<I1,L1,I2> >
  62 {
  63     typedef joint_iter< typename mpl::next<I1>::type,L1,I2 > type;
  64 };
  65
  66 template< typename L1, typename I2 >
  67 struct next< joint_iter<L1,L1,I2> >
  68 {
  69     typedef joint_iter< L1,L1,typename mpl::next<I2>::type > type;
  70 };
  71
  72 #else // BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION
  73
  74 template<
  75       typename Iterator1
  76     , typename LastIterator1
  77     , typename Iterator2
  78     >
  79 struct joint_iter;
  80
  81 template< bool > struct joint_iter_impl
  82 {
  83     template< typename I1, typename L1, typename I2 > struct result_
  84     {
  85         typedef I1 base;
  86         typedef forward_iterator_tag category;
  87         typedef joint_iter< typename mpl::next<I1>::type,L1,I2 > next;
  88         typedef typename deref<I1>::type type;
  89     };
  90 };
  91
  92 template<> struct joint_iter_impl<true>
  93 {
  94     template< typename I1, typename L1, typename I2 > struct result_
  95     {
  96         typedef I2 base;
  97         typedef forward_iterator_tag category;
  98         typedef joint_iter< L1,L1,typename mpl::next<I2>::type > next;
  99         typedef typename deref<I2>::type type;
 100     };
 101 };
 102
 103 template<
 104       typename Iterator1
 105     , typename LastIterator1
 106     , typename Iterator2
 107     >
 108 struct joint_iter
 109     : joint_iter_impl< is_same<Iterator1,LastIterator1>::value >
 110         ::template result_<Iterator1,LastIterator1,Iterator2>
 111 {
 112 };
 113
 114 #endif // BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION
 115
 116 BOOST_MPL_AUX_PASS_THROUGH_LAMBDA_SPEC(3, joint_iter)
 117
 118 }}
 119
 120 #endif // BOOST_MPL_AUX_JOINT_ITER_HPP_INCLUDED