feedc0de/boost_mpl
1
0
Fork 0
forked from boostorg/mpl
Code Pull Requests Activity

set/map fixes

Browse Source 
[SVN r24912]
This commit is contained in:
Aleksey Gurtovoy
2004-09-05 09:45:19 +00:00
parent ff6d082918
commit f9be91fc35
124 changed files with 2195 additions and 337 deletions
Download Patch File Download Diff File Expand all files Collapse all files
test/map.cpp
+35 -46
View File
@@ -12,7 +12,7 @@
// $Date$
// $Revision$
#include <boost/mpl/map.hpp>
#include <boost/mpl/map/map10.hpp>
#include <boost/mpl/insert.hpp>
#include <boost/mpl/erase_key.hpp>
#include <boost/mpl/erase_key.hpp>
@@ -30,44 +30,36 @@
MPL_TEST_CASE()
{
#if defined(BOOST_MPL_CFG_TYPEOF_BASED_SEQUENCES)
typedef m_mask<char
, m_item<int,unsigned
, m_item<char,unsigned char
, map0<> > > > m;
#else
typedef m_mask<char
, m_item2<int,unsigned
, m_item1<char,unsigned char
, map0<> > > > m;
#endif
typedef map2<
mpl::pair<int,unsigned>
, mpl::pair<char,unsigned char>
> m_;
typedef erase_key<m_,char>::type m;
MPL_ASSERT_RELATION( size<m>::type::value, ==, 1 );
MPL_ASSERT_NOT(( empty<m> ));
MPL_ASSERT(( is_same< clear<m>::type,map0<> > ));
MPL_ASSERT(( is_same< at<m,int>::type,unsigned> ));
MPL_ASSERT(( is_same< at<m,int>::type,unsigned > ));
MPL_ASSERT(( is_same< at<m,char>::type,void_ > ));
MPL_ASSERT(( contains< m,pair<int,unsigned> > ));
MPL_ASSERT_NOT(( contains< m,pair<int,int> > ));
MPL_ASSERT_NOT(( contains< m,pair<char,unsigned char> > ));
MPL_ASSERT(( contains< m,mpl::pair<int,unsigned> > ));
MPL_ASSERT_NOT(( contains< m,mpl::pair<int,int> > ));
MPL_ASSERT_NOT(( contains< m,mpl::pair<char,unsigned char> > ));
MPL_ASSERT_NOT(( has_key<m,char>::type ));
MPL_ASSERT(( has_key<m,int>::type ));
MPL_ASSERT_RELATION( (order<m,int>::type::value), ==, 3 );
MPL_ASSERT(( is_same< item_by_order<m,3>::type,pair<int,unsigned> > ));
MPL_ASSERT_NOT(( is_same< order<m,int>::type, void_ > ));
MPL_ASSERT(( is_same< order<m,char>::type,void_ > ));
typedef begin<m>::type first;
typedef end<m>::type last;
MPL_ASSERT(( is_same< first::type,pair<int,unsigned> > ));
MPL_ASSERT(( is_same< first::type,mpl::pair<int,unsigned> > ));
MPL_ASSERT(( is_same< next<first>::type,last > ));
#if defined(BOOST_MPL_CFG_TYPEOF_BASED_SEQUENCES)
typedef m_item<char,long,m> m2;
#else
typedef m_item3<char,long,m> m2;
#endif
typedef insert<m,mpl::pair<char,long> >::type m2;
MPL_ASSERT_RELATION( size<m2>::type::value, ==, 2 );
MPL_ASSERT_NOT(( empty<m2>::type ));
@@ -75,45 +67,45 @@ MPL_TEST_CASE()
MPL_ASSERT(( is_same< at<m2,int>::type,unsigned > ));
MPL_ASSERT(( is_same< at<m2,char>::type,long > ));
MPL_ASSERT(( contains< m2,pair<int,unsigned> > ));
MPL_ASSERT_NOT(( contains< m2,pair<int,int> > ));
MPL_ASSERT_NOT(( contains< m2,pair<char,unsigned char> > ));
MPL_ASSERT(( contains< m2,pair<char,long> > ));
MPL_ASSERT(( contains< m2,mpl::pair<int,unsigned> > ));
MPL_ASSERT_NOT(( contains< m2,mpl::pair<int,int> > ));
MPL_ASSERT_NOT(( contains< m2,mpl::pair<char,unsigned char> > ));
MPL_ASSERT(( contains< m2,mpl::pair<char,long> > ));
MPL_ASSERT(( has_key<m2,char>::type ));
MPL_ASSERT_NOT(( has_key<m2,long>::type ));
MPL_ASSERT_RELATION( (order<m2,int>::type::value), ==, 3 );
MPL_ASSERT_RELATION( (order<m2,char>::type::value), ==, 4 );
MPL_ASSERT_NOT(( is_same< order<m2,int>::type, void_ > ));
MPL_ASSERT_NOT(( is_same< order<m2,char>::type, void_ > ));
MPL_ASSERT_NOT(( is_same< order<m2,char>::type, order<m2,int>::type > ));
typedef begin<m2>::type first2;
typedef end<m2>::type last2;
MPL_ASSERT(( is_same<first2::type,pair<int,unsigned> > ));
MPL_ASSERT(( is_same<first2::type,mpl::pair<int,unsigned> > ));
typedef next<first2>::type iter;
MPL_ASSERT(( is_same<iter::type,pair<char,long> > ));
MPL_ASSERT(( is_same<iter::type,mpl::pair<char,long> > ));
MPL_ASSERT(( is_same< next<iter>::type,last2 > ));
#if defined(BOOST_MPL_CFG_TYPEOF_BASED_SEQUENCES)
typedef insert<m2,pair<int,unsigned> >::type s2_1;
typedef insert<m2,mpl::pair<int,unsigned> >::type s2_1;
MPL_ASSERT(( is_same<m2,s2_1> ));
typedef insert<m2,pair<long,unsigned> >::type m3;
typedef insert<m2,mpl::pair<long,unsigned> >::type m3;
MPL_ASSERT_RELATION( size<m3>::type::value, ==, 3 );
MPL_ASSERT(( has_key<m3,long>::type ));
MPL_ASSERT(( has_key<m3,int>::type ));
MPL_ASSERT(( has_key<m3,char>::type ));
MPL_ASSERT(( contains< m3,pair<long,unsigned> > ));
MPL_ASSERT(( contains< m3,pair<int,unsigned> > ));
MPL_ASSERT(( contains< m3,mpl::pair<long,unsigned> > ));
MPL_ASSERT(( contains< m3,mpl::pair<int,unsigned> > ));
typedef insert<m,pair<char,long> >::type m1;
typedef insert<m,mpl::pair<char,long> >::type m1;
MPL_ASSERT_RELATION( size<m1>::type::value, ==, 2 );
MPL_ASSERT(( is_same< at<m1,int>::type,unsigned > ));
MPL_ASSERT(( is_same< at<m1,char>::type,long > ));
MPL_ASSERT(( contains< m1,pair<int,unsigned> > ));
MPL_ASSERT_NOT(( contains< m1,pair<int,int> > ));
MPL_ASSERT_NOT(( contains< m1,pair<char,unsigned char> > ));
MPL_ASSERT(( contains< m1,pair<char,long> > ));
MPL_ASSERT(( contains< m1,mpl::pair<int,unsigned> > ));
MPL_ASSERT_NOT(( contains< m1,mpl::pair<int,int> > ));
MPL_ASSERT_NOT(( contains< m1,mpl::pair<char,unsigned char> > ));
MPL_ASSERT(( contains< m1,mpl::pair<char,long> > ));
MPL_ASSERT(( is_same< m1,m2 > ));
@@ -128,7 +120,6 @@ MPL_TEST_CASE()
MPL_ASSERT(( is_same< at<m2_1,char>::type,void_ > ));
MPL_ASSERT(( is_same< at<m2_1,int>::type,unsigned > ));
MPL_ASSERT(( is_same< at<m2_1,long>::type,unsigned > ));
#endif
}
MPL_TEST_CASE()
@@ -159,13 +150,11 @@ MPL_TEST_CASE()
MPL_ASSERT_NOT(( has_key<m,UDT&>::type ));
MPL_ASSERT_NOT(( has_key<m,incomplete&>::type ));
#if defined(BOOST_MPL_CFG_TYPEOF_BASED_SEQUENCES)
typedef insert<m,pair<char,int> >::type m1;
typedef insert<m,mpl::pair<char,int> >::type m1;
MPL_ASSERT_RELATION( size<m1>::type::value, ==, 1 );
MPL_ASSERT(( is_same< at<m1,char>::type,int > ));
typedef erase_key<m,char>::type m0_1;
MPL_ASSERT_RELATION( size<m0_1>::type::value, ==, 0 );
MPL_ASSERT(( is_same< at<m0_1,char>::type,void_ > ));
#endif
}