1 /*============================================================================= 2 Copyright (c) 2001-2011 Joel de Guzman 3 4 Distributed under the Boost Software License, Version 1.0. (See accompanying 5 file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) 6 ==============================================================================*/ 7 #if !defined(FUSION_END_04052005_1141) 8 #define FUSION_END_04052005_1141 9 10 #include <boost/fusion/support/config.hpp> 11 #include <boost/utility/enable_if.hpp> 12 #include <boost/mpl/empty_base.hpp> 13 #include <boost/mpl/if.hpp> 14 #include <boost/fusion/sequence/intrinsic_fwd.hpp> 15 #include <boost/fusion/support/tag_of.hpp> 16 #include <boost/fusion/support/is_sequence.hpp> 17 #include <boost/fusion/support/is_segmented.hpp> 18 #include <boost/fusion/sequence/intrinsic/detail/segmented_end.hpp> 19 20 namespace boost { namespace fusion 21 { 22 // Special tags: 23 struct sequence_facade_tag; 24 struct boost_tuple_tag; // boost::tuples::tuple tag 25 struct boost_array_tag; // boost::array tag 26 struct mpl_sequence_tag; // mpl sequence tag 27 struct std_pair_tag; // std::pair tag 28 29 namespace extension 30 { 31 template <typename Tag> 32 struct end_impl 33 { 34 template <typename Sequence> 35 struct apply 36 : mpl::if_< 37 traits::is_segmented<Sequence> 38 , detail::segmented_end<Sequence> 39 , mpl::empty_base 40 >::type 41 {}; 42 }; 43 44 template <> 45 struct end_impl<sequence_facade_tag> 46 { 47 template <typename Sequence> 48 struct apply : Sequence::template end<Sequence> {}; 49 }; 50 51 template <> 52 struct end_impl<boost_tuple_tag>; 53 54 template <> 55 struct end_impl<boost_array_tag>; 56 57 template <> 58 struct end_impl<mpl_sequence_tag>; 59 60 template <> 61 struct end_impl<std_pair_tag>; 62 } 63 64 namespace result_of 65 { 66 template <typename Sequence> 67 struct end 68 : extension::end_impl<typename detail::tag_of<Sequence>::type>:: 69 template apply<Sequence> 70 {}; 71 } 72 73 template <typename Sequence> 74 BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED 75 inline typename 76 lazy_enable_if< 77 traits::is_sequence<Sequence> 78 , result_of::end<Sequence> 79 >::type const end(Sequence & seq)80 end(Sequence& seq) 81 { 82 return result_of::end<Sequence>::call(seq); 83 } 84 85 template <typename Sequence> 86 BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED 87 inline typename 88 lazy_enable_if< 89 traits::is_sequence<Sequence> 90 , result_of::end<Sequence const> 91 >::type const end(Sequence const & seq)92 end(Sequence const& seq) 93 { 94 return result_of::end<Sequence const>::call(seq); 95 } 96 }} 97 98 #endif 99