boostorg/mpl
1
0
Fork 1
mirror of https://github.com/boostorg/mpl.git synced 2025-08-05 15:54:39 +02:00
Code Issues Packages Projects Releases Wiki Activity

Add a failing test case

Browse Source 
[SVN r32997]
This commit is contained in:
Dave Abrahams
2006-02-18 20:54:15 +00:00
parent b37d56ef17
commit 374d6d0f4e
1 changed files with 32 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

32
test/multiset.cpp
View File

@@ -17,6 +17,9 @@
#include <boost/mpl/count.hpp>
#include <boost/mpl/aux_/test.hpp>
#include <boost/mpl/assert.hpp>
#include <boost/mpl/size.hpp>
#include <boost/mpl/find.hpp>
MPL_TEST_CASE()
{
@@ -34,3 +37,32 @@ MPL_TEST_CASE()
MPL_ASSERT_RELATION( (count<s3,char&>::value), ==, 1 );
MPL_ASSERT_RELATION( (count<s4,abstract>::value), ==, 1 );
}
// Use a template for testing so that GCC will show us the actual types involved
template <class S>
void test()
{
BOOST_MPL_ASSERT_RELATION( size<S>::value, ==, 3 );
typedef typename end<S>::type not_found;
BOOST_MPL_ASSERT_NOT(( is_same<BOOST_DEDUCED_TYPENAME find<S,int>::type,not_found> ));
BOOST_MPL_ASSERT_NOT(( is_same<BOOST_DEDUCED_TYPENAME find<S,long>::type,not_found> ));
BOOST_MPL_ASSERT_NOT(( is_same<BOOST_DEDUCED_TYPENAME find<S,char>::type,not_found> ));
BOOST_MPL_ASSERT(( is_same<BOOST_DEDUCED_TYPENAME find<S,char*>::type,not_found> ));
};
MPL_TEST_CASE()
{
typedef insert<multiset0<>, int> set_of_1_int;
typedef begin<set_of_1_int>::type iter_to_1_int;
BOOST_MPL_ASSERT(( is_same< deref<iter_to_1_int>::type, int > ));
typedef multiset0<> s0;
typedef insert<s0,int>::type s1;
typedef insert<s1,long>::type s2;
typedef insert<s2,char>::type myset;
test<myset>();
test<myset::type>();
}