From 1c542fa5446bf75090641481630bdbbc21834030 Mon Sep 17 00:00:00 2001
From: Tobias Schwinger <tschwinger@isonews2.com>
Date: Sat, 27 Jan 2007 10:49:00 +0000
Subject: [PATCH] introduces test for deduce / deduce_sequence

[SVN r36812]
---
 test/Jamfile                      |  1 +
 test/sequence/deduce_sequence.cpp | 80 +++++++++++++++++++++++++++++++
 2 files changed, 81 insertions(+)
 create mode 100644 test/sequence/deduce_sequence.cpp

diff --git a/test/Jamfile b/test/Jamfile
index 26c62df0..f63ec6c8 100644
--- a/test/Jamfile
+++ b/test/Jamfile
@@ -103,6 +103,7 @@ import testing ;
     [ run sequence/vector_value_at.cpp :  :  :  : ]
     [ run sequence/zip_view.cpp : : : : ]
     [ run sequence/zip_view2.cpp : : : : ]
+    [ run sequence/deduce_sequence.cpp : : : : ]
 #   [ compile-fail xxx.cpp :  :  :  :  ]
     
     ;
diff --git a/test/sequence/deduce_sequence.cpp b/test/sequence/deduce_sequence.cpp
new file mode 100644
index 00000000..b8929977
--- /dev/null
+++ b/test/sequence/deduce_sequence.cpp
@@ -0,0 +1,80 @@
+/*=============================================================================
+    Copyright (c) 2007 Tobias Schwinger
+  
+    Use modification and distribution are subject to the Boost Software 
+    License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
+    http://www.boost.org/LICENSE_1_0.txt).
+==============================================================================*/
+
+#include <boost/fusion/support/deduce_sequence.hpp>
+#include <boost/fusion/sequence/intrinsic/mpl.hpp>
+#include <boost/detail/lightweight_test.hpp>
+
+#include <boost/mpl/equal.hpp>
+
+#include <boost/ref.hpp>
+
+using boost::is_same;
+using boost::reference_wrapper;
+using boost::fusion::traits::deduce;
+using boost::fusion::traits::deduce_sequence;
+
+namespace fusion = boost::fusion;
+
+template <class Args>
+struct test_seq_ctor
+{
+    typename deduce_sequence<Args>::type fsq_args;
+
+    test_seq_ctor(Args const & args)
+        : fsq_args(args)
+    { }
+};
+
+#define TEST_SAME_TYPE(a,b) BOOST_TEST(( is_same< a, b >::value ))
+#define TEST_SAME_ELEMENTS(a,b) BOOST_TEST(( boost::mpl::equal< a, b >::type::value ))
+
+typedef fusion::vector<int, int const, int &, int const &> args1;
+typedef fusion::vector<int, int const, int &, int> storable1;
+template struct test_seq_ctor<args1>;
+
+typedef fusion::vector< reference_wrapper<int> &, reference_wrapper<int const> &,
+    reference_wrapper<int> const &, reference_wrapper<int const> const & > args2;
+typedef fusion::vector<int &, int const &, int &, int const &> storable2;
+template struct test_seq_ctor<args2>;
+
+
+typedef fusion::vector<int *, int const *, int const * const, int const * &, int const * const &> args3;
+typedef fusion::vector<int *, int const *, int const * const, int const * &, int const * > storable3;
+template struct test_seq_ctor<args3>;
+
+typedef fusion::vector<int(&)[2], int const(&)[2]> args4;
+typedef args4 storable4;
+template struct test_seq_ctor<args4>;
+
+int main()
+{
+    TEST_SAME_TYPE(deduce<int &>::type, int &);
+    TEST_SAME_TYPE(deduce<int volatile &>::type,  int volatile &);
+
+    TEST_SAME_TYPE(deduce<int>::type, int);
+    TEST_SAME_TYPE(deduce<int const &>::type, int);
+    TEST_SAME_TYPE(deduce<int const volatile &>::type, int);
+
+    TEST_SAME_TYPE(deduce< reference_wrapper<int> & >::type, int &);
+    TEST_SAME_TYPE(deduce< reference_wrapper<int const> & >::type, int const &);
+    TEST_SAME_TYPE(deduce< reference_wrapper<int> const & >::type, int &);
+    TEST_SAME_TYPE(deduce< reference_wrapper<int const> const & >::type, int const &);
+
+    TEST_SAME_TYPE(deduce< int(&)[2] >::type, int(&)[2]);
+    TEST_SAME_TYPE(deduce< int const (&)[2] >::type, int const (&)[2]);
+    TEST_SAME_TYPE(deduce< int volatile (&)[2] >::type, int volatile (&)[2]);
+    TEST_SAME_TYPE(deduce< int const volatile (&)[2] >::type, int const volatile (&)[2]);
+
+    TEST_SAME_ELEMENTS(deduce_sequence<args1>::type,storable1); 
+    TEST_SAME_ELEMENTS(deduce_sequence<args2>::type,storable2); 
+    TEST_SAME_ELEMENTS(deduce_sequence<args3>::type,storable3); 
+    TEST_SAME_ELEMENTS(deduce_sequence<args4>::type,storable4); 
+
+    return boost::report_errors();
+}