| /*============================================================================= |
| Copyright (c) 2001-2006 Joel de Guzman |
| |
| Distributed under the Boost Software License, Version 1.0. (See accompanying |
| file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) |
| ==============================================================================*/ |
| #if !defined(FUSION_NEXT_IMPL_07162005_0136) |
| #define FUSION_NEXT_IMPL_07162005_0136 |
| |
| #include <boost/fusion/iterator/next.hpp> |
| #include <boost/fusion/iterator/equal_to.hpp> |
| #include <boost/mpl/if.hpp> |
| |
| namespace boost { namespace fusion |
| { |
| struct joint_view_iterator_tag; |
| |
| template <typename Category, typename First, typename Last, typename Concat> |
| struct joint_view_iterator; |
| |
| namespace extension |
| { |
| template <typename Tag> |
| struct next_impl; |
| |
| template <> |
| struct next_impl<joint_view_iterator_tag> |
| { |
| template <typename Iterator> |
| struct apply |
| { |
| typedef typename Iterator::first_type first_type; |
| typedef typename Iterator::last_type last_type; |
| typedef typename Iterator::concat_type concat_type; |
| typedef typename Iterator::category category; |
| typedef typename result_of::next<first_type>::type next_type; |
| typedef result_of::equal_to<next_type, last_type> equal_to; |
| |
| typedef typename |
| mpl::if_< |
| equal_to |
| , concat_type |
| , joint_view_iterator<category, next_type, last_type, concat_type> |
| >::type |
| type; |
| |
| static type |
| call(Iterator const& i, mpl::true_) |
| { |
| return i.concat; |
| } |
| |
| static type |
| call(Iterator const& i, mpl::false_) |
| { |
| return type(fusion::next(i.first), i.concat); |
| } |
| |
| static type |
| call(Iterator const& i) |
| { |
| return call(i, equal_to()); |
| } |
| }; |
| }; |
| } |
| }} |
| |
| #endif |
| |
| |