boostorg/mpl
1
0
Fork 1
mirror of https://github.com/boostorg/mpl.git synced 2025-09-30 17:51:03 +02:00
Code Issues Packages Projects Releases Wiki Activity

Improve bug-revealing test.

Browse Source 
[SVN r29680]
This commit is contained in:
Dave Abrahams
2005-06-18 20:51:18 +00:00
parent 3f6ca76da3
commit eb00ae5d72
1 changed files with 15 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

30
test/set.cpp
View File

@@ -25,6 +25,7 @@
#include <boost/mpl/size.hpp> #include <boost/mpl/size.hpp>
#include <boost/mpl/empty.hpp> #include <boost/mpl/empty.hpp>
#include <boost/mpl/begin_end.hpp> #include <boost/mpl/begin_end.hpp>
#include <boost/mpl/find.hpp>
#include <boost/mpl/aux_/test.hpp> #include <boost/mpl/aux_/test.hpp>
@@ -167,24 +168,23 @@ MPL_TEST_CASE()
template <class S> template <class S>
struct test struct test
{ {
typedef typename mpl::begin<S>::type i0; MPL_ASSERT_RELATION( size<S>::value, ==, 3 );
typedef typename mpl::deref<i0>::type t0;
BOOST_MPL_ASSERT((boost::is_same<t0,int>));
typedef typename mpl::next<i0>::type i1;
typedef typename mpl::deref<i1>::type t1;
BOOST_MPL_ASSERT((boost::is_same<t1,long>));
typedef typename mpl::next<i1>::type i2; typedef typename end<S>::type not_found;
typedef typename mpl::deref<i2>::type t2; BOOST_MPL_ASSERT_NOT(( is_same<typename find<S,int>::type,not_found> ));
BOOST_MPL_ASSERT((boost::is_same<t2,char>)); BOOST_MPL_ASSERT_NOT(( is_same<typename find<S,long>::type,not_found> ));
BOOST_MPL_ASSERT_NOT(( is_same<typename find<S,char>::type,not_found> ));
typedef typename mpl::next<i2>::type i3; BOOST_MPL_ASSERT(( is_same<typename find<S,char*>::type,not_found> ));
BOOST_MPL_ASSERT((boost::is_same<i3,typename mpl::end<S>::type>));
}; };
MPL_TEST_CASE() MPL_TEST_CASE()
{ {
typedef mpl::set<int,long,char> myset; typedef mpl::set<int> set_of_1_int;
test<myset> y; typedef mpl::begin<set_of_1_int>::type iter_to_1_int;
BOOST_MPL_ASSERT(( is_same< deref<iter_to_1_int>::type, int > ));
typedef mpl::set<int,long,char> myset;
test<myset> x;
test<myset::type> y;
} }