From b7fa994f3d7fbc3713c81e3361c75972950ba9e5 Mon Sep 17 00:00:00 2001
From: Dave Abrahams <dave@boostpro.com>
Date: Sat, 18 Jun 2005 22:42:04 +0000
Subject: [PATCH] Added iterator testing.

[SVN r29682]
---
 test/map.cpp | 38 +++++++++++++++++++++++++++++++++++++-
 1 file changed, 37 insertions(+), 1 deletion(-)

diff --git a/test/map.cpp b/test/map.cpp
index 2f1a59a..3d74c19 100644
--- a/test/map.cpp
+++ b/test/map.cpp
@@ -12,7 +12,7 @@
 // $Date$
 // $Revision$
 
-#include <boost/mpl/map/map10.hpp>
+#include <boost/mpl/map.hpp>
 #include <boost/mpl/insert.hpp>
 #include <boost/mpl/erase_key.hpp>
 #include <boost/mpl/erase_key.hpp>
@@ -24,6 +24,7 @@
 #include <boost/mpl/size.hpp>
 #include <boost/mpl/empty.hpp>
 #include <boost/mpl/begin_end.hpp>
+#include <boost/type_traits/is_same.hpp>
 
 #include <boost/mpl/aux_/test.hpp>
 
@@ -158,3 +159,38 @@ MPL_TEST_CASE()
     MPL_ASSERT_RELATION( size<m0_1>::type::value, ==, 0 );
     MPL_ASSERT(( is_same< at<m0_1,char>::type,void_ > ));
 }
+
+// Use a template for testing so that GCC will show us the actual types involved
+template <class M>
+void test()
+{
+    MPL_ASSERT_RELATION( size<M>::value, ==, 3 );
+
+    typedef typename end<M>::type not_found;
+    BOOST_MPL_ASSERT_NOT(( is_same<BOOST_DEDUCED_TYPENAME find<M,mpl::pair<int,int*> >::type,not_found> ));
+    BOOST_MPL_ASSERT_NOT(( is_same<BOOST_DEDUCED_TYPENAME find<M,mpl::pair<long,long*> >::type,not_found> ));
+    BOOST_MPL_ASSERT_NOT(( is_same<BOOST_DEDUCED_TYPENAME find<M,mpl::pair<char,char*> >::type,not_found> ));
+    BOOST_MPL_ASSERT(( is_same<BOOST_DEDUCED_TYPENAME find<M,int>::type,not_found> ));
+};
+
+MPL_TEST_CASE()
+{
+    typedef map< mpl::pair<int,int*> > map_of_1_pair;
+    typedef begin<map_of_1_pair>::type iter_to_1_pair;
+    
+    BOOST_MPL_ASSERT((
+        is_same<
+             deref<iter_to_1_pair>::type
+           , mpl::pair<int,int*>
+        >
+    ));
+    
+    typedef map<
+        mpl::pair<int,int*>
+      , mpl::pair<long,long*>
+      , mpl::pair<char,char*>
+    > mymap;
+    
+    test<mymap>();
+    test<mymap::type>();
+}