1 
2 // Copyright Aleksey Gurtovoy 2000-2004
3 //
4 // Distributed under the Boost Software License,Version 1.0.
5 // (See accompanying file LICENSE_1_0.txt or copy at
6 // http://www.boost.org/LICENSE_1_0.txt)
7 //
8 // See http://www.boost.org/libs/mpl for documentation.
9 
10 // $Id$
11 // $Date$
12 // $Revision$
13 
14 #include <boost/mpl/next.hpp>
15 #include <boost/mpl/prior.hpp>
16 #include <boost/mpl/int.hpp>
17 #include <boost/mpl/aux_/test.hpp>
18 
MPL_TEST_CASE()19 MPL_TEST_CASE()
20 {
21     typedef int_<0> _0;
22     typedef int_<1> _1;
23     typedef int_<2> _2;
24 
25     MPL_ASSERT(( is_same< next<_0>::type, _1 > ));
26     MPL_ASSERT(( is_same< next<_1>::type, _2 > ));
27     MPL_ASSERT(( is_same< prior<_1>::type, _0 > ));
28     MPL_ASSERT(( is_same< prior<_2>::type, _1 > ));
29 }
30