| /*============================================================================= | |
| 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 | |