1 files changed, 94 insertions, 0 deletions
diff --git a/src/boost/libs/type_erasure/test/test_limits.cpp b/src/boost/libs/type_erasure/test/test_limits.cpp
new file mode 100644
index 000000000..4bbf68da0
--- /dev/null
+++ b/src/boost/libs/type_erasure/test/test_limits.cpp
@@ -0,0 +1,94 @@
+// Boost.TypeErasure library
+//
+// Copyright 2011 Steven Watanabe
+//
+// Distributed under 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)
+//
+// $Id$
+
+#include <boost/type_erasure/any.hpp>
+#include <boost/type_erasure/free.hpp>
+#include <boost/type_erasure/builtin.hpp>
+#include <boost/mpl/vector.hpp>
+#include <boost/mpl/transform.hpp>
+#include <boost/mpl/back_inserter.hpp>
+#include <boost/mpl/range_c.hpp>
+
+#define BOOST_TEST_MAIN
+#include <boost/test/unit_test.hpp>
+
+using namespace boost::type_erasure;
+namespace mpl = boost::mpl;
+
+template<int N>
+struct tester
+{
+    int value;
+};
+
+int func() { return 0; }
+
+template<int N, class... T>
+int func(tester<N> t0, T... t)
+{
+    return t0.value + func(t...);
+}
+
+BOOST_TYPE_ERASURE_FREE((has_func), func)
+
+template<class T = _self>
+struct common : mpl::vector<
+    copy_constructible<T>
+> {};
+
+BOOST_AUTO_TEST_CASE(test_arity)
+{
+    tester<0> t = { 1 };
+    any<mpl::vector<common<>, has_func<int(_self, _self, _self, _self, _self, _self)> > > x(t);
+    int i = func(x, x, x, x, x, x);
+    BOOST_TEST(i == 6);
+}
+
+BOOST_AUTO_TEST_CASE(test_null_arity)
+{
+    any<mpl::vector<common<>, has_func<int(_self, _self, _self, _self, _self, _self)>, relaxed> > x;
+    BOOST_CHECK_THROW(func(x, x, x, x, x , x), boost::type_erasure::bad_function_call);
+}
+
+template<class T0, class... T>
+struct my_concept
+{
+    static int apply(T0 t0) { return func(t0); }
+};
+
+BOOST_AUTO_TEST_CASE(test_template_arity)
+{
+    typedef my_concept<_self, int, int, int, int, int, int> concept1;
+    tester<0> t = { 1 };
+    any<mpl::vector<common<>, concept1> > x(t);
+    int i = call(concept1(), x);
+    BOOST_TEST(i == 1);
+}
+
+template<class T>
+struct make_funcN
+{
+    typedef has_func<int(_self, tester<T::value>)> type;
+};
+
+BOOST_AUTO_TEST_CASE(test_vtable_size)
+{
+    tester<0> t = { 1 };
+    any<mpl::vector<
+        common<>,
+        mpl::transform<mpl::range_c<int, 1, 60>,
+            make_funcN<mpl::_1>,
+            mpl::back_inserter< boost::mp11::mp_list<> >
+        >::type
+    > > x(t);
+    tester<7> t1 = { 2 };
+    int i = func(x, t1);
+    BOOST_TEST(i == 3);
+}