diff options
Diffstat (limited to 'src/boost/libs/mpl/test/range_c.cpp')
-rw-r--r-- | src/boost/libs/mpl/test/range_c.cpp | 60 |
1 files changed, 60 insertions, 0 deletions
diff --git a/src/boost/libs/mpl/test/range_c.cpp b/src/boost/libs/mpl/test/range_c.cpp new file mode 100644 index 000000000..90c32cc4c --- /dev/null +++ b/src/boost/libs/mpl/test/range_c.cpp @@ -0,0 +1,60 @@ + +// Copyright Aleksey Gurtovoy 2000-2004 +// +// 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) +// +// See http://www.boost.org/libs/mpl for documentation. + +// $Id$ +// $Date$ +// $Revision$ + +#include <boost/mpl/range_c.hpp> +#include <boost/mpl/advance.hpp> +#include <boost/mpl/distance.hpp> +#include <boost/mpl/empty.hpp> +#include <boost/mpl/size.hpp> +#include <boost/mpl/front.hpp> +#include <boost/mpl/back.hpp> +#include <boost/mpl/aux_/test.hpp> + +MPL_TEST_CASE() +{ + typedef range_c<int,0,0> range0; + typedef range_c<int,0,1> range1; + typedef range_c<int,0,10> range10; + + MPL_ASSERT_RELATION( size<range0>::value, ==, 0 ); + MPL_ASSERT_RELATION( size<range1>::value, ==, 1 ); + MPL_ASSERT_RELATION( size<range10>::value, ==, 10 ); + + MPL_ASSERT(( empty<range0> )); + MPL_ASSERT_NOT(( empty<range1> )); + MPL_ASSERT_NOT(( empty<range10> )); + + MPL_ASSERT(( is_same< begin<range0>::type, end<range0>::type > )); + MPL_ASSERT_NOT(( is_same<begin<range1>::type, end<range1>::type > )); + MPL_ASSERT_NOT(( is_same<begin<range10>::type, end<range10>::type > )); + + MPL_ASSERT_RELATION( front<range1>::type::value, ==, 0 ); + MPL_ASSERT_RELATION( back<range1>::type::value, ==, 0 ); + MPL_ASSERT_RELATION( front<range10>::type::value, ==, 0 ); + MPL_ASSERT_RELATION( back<range10>::type::value, ==, 9 ); +} + +MPL_TEST_CASE() +{ + typedef range_c<unsigned char,0,10> r; + typedef begin<r>::type first; + typedef end<r>::type last; + + MPL_ASSERT(( is_same< advance_c<first,10>::type, last > )); + MPL_ASSERT(( is_same< advance_c<last,-10>::type, first > )); + + MPL_ASSERT_RELATION( ( mpl::distance<first,last>::value ), ==, 10 ); + + typedef advance_c<first,5>::type iter; + MPL_ASSERT_RELATION( deref<iter>::type::value, ==, 5 ); +} |