boostorg/fusion
1
0
Fork 1
mirror of https://github.com/boostorg/fusion.git synced 2025-07-23 00:57:20 +02:00
Code Issues Packages Projects Releases Wiki Activity

added static sanity check

Browse Source 
[SVN r73684]
This commit is contained in:
Joel de Guzman
2011-08-12 05:11:41 +00:00
parent f0fa80ca1a
commit 48a0546eea
1 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
include/boost/fusion/view/single_view/detail/next_impl.hpp
View File

@ -2,13 +2,14 @@
Copyright (c) 2001-2006 Joel de Guzman Copyright (c) 2001-2006 Joel de Guzman
Copyright (c) 2011 Eric Niebler Copyright (c) 2011 Eric Niebler
Distributed under the Boost Software License, Version 1.0. (See accompanying 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) file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
==============================================================================*/ ==============================================================================*/
#if !defined(BOOST_FUSION_SINGLE_VIEW_NEXT_IMPL_05052005_0331) #if !defined(BOOST_FUSION_SINGLE_VIEW_NEXT_IMPL_05052005_0331)
#define BOOST_FUSION_SINGLE_VIEW_NEXT_IMPL_05052005_0331 #define BOOST_FUSION_SINGLE_VIEW_NEXT_IMPL_05052005_0331
#include <boost/mpl/next.hpp> #include <boost/mpl/next.hpp>
#include <boost/static_assert.hpp>
namespace boost { namespace fusion namespace boost { namespace fusion
{ {
@ -26,16 +27,17 @@ namespace boost { namespace fusion
struct next_impl<single_view_iterator_tag> struct next_impl<single_view_iterator_tag>
{ {
template <typename Iterator> template <typename Iterator>
struct apply struct apply
{ {
typedef single_view_iterator< typedef single_view_iterator<
typename Iterator::single_view_type, typename Iterator::single_view_type,
typename mpl::next<typename Iterator::position>::type> typename mpl::next<typename Iterator::position>::type>
type; type;
static type static type
call(Iterator const& i) call(Iterator const& i)
{ {
BOOST_STATIC_ASSERT((type::position::value < 2));
return type(i.view); return type(i.view);
} }
}; };