summaryrefslogtreecommitdiffstats
path: root/src/boost/libs/phoenix/test/function/function_tests.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/boost/libs/phoenix/test/function/function_tests.cpp')
-rw-r--r--src/boost/libs/phoenix/test/function/function_tests.cpp140
1 files changed, 140 insertions, 0 deletions
diff --git a/src/boost/libs/phoenix/test/function/function_tests.cpp b/src/boost/libs/phoenix/test/function/function_tests.cpp
new file mode 100644
index 00000000..6f979faf
--- /dev/null
+++ b/src/boost/libs/phoenix/test/function/function_tests.cpp
@@ -0,0 +1,140 @@
+/*=============================================================================
+ Copyright (c) 2001-2007 Joel de Guzman
+
+ 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)
+ ==============================================================================*/
+
+#include <iostream>
+#include <cmath>
+#include <boost/detail/lightweight_test.hpp>
+#include <boost/phoenix/core.hpp>
+#include <boost/phoenix/operator.hpp>
+#include <boost/phoenix/function.hpp>
+
+#define BOOST_MPL_CFG_NO_PREPROCESSED_HEADERS
+#include <boost/mpl/multiplies.hpp>
+#undef BOOST_MPL_CFG_NO_PREPROCESSED_HEADERS
+
+struct test_impl
+{
+ typedef void result_type;
+ void operator()() const
+ {
+ std::cout << "Test lazy functions...\n";
+ }
+};
+
+boost::phoenix::function<test_impl> test;
+
+struct sqr_impl
+{
+ template <typename Signature>
+ struct result;
+
+ template <typename This, typename Arg>
+ struct result<This(Arg)>
+ {
+ typedef typename boost::remove_reference<Arg>::type type;
+ };
+
+ template <typename Arg>
+ Arg
+ operator()(Arg n) const
+ {
+ return n * n;
+ }
+};
+
+boost::phoenix::function<sqr_impl> sqr;
+
+struct fact_impl
+{
+ template <typename Signature>
+ struct result;
+
+ template <typename This, typename Arg>
+ struct result<This(Arg)>
+ {
+ typedef typename boost::remove_reference<Arg>::type type;
+ };
+
+ template <typename Arg>
+ Arg
+ operator()(Arg n) const
+ {
+ return (n <= 0) ? 1 : n * (*this)(n-1);
+ }
+};
+
+boost::phoenix::function<fact_impl> fact;
+
+struct pow_impl
+{
+
+ template <typename Sig>
+ struct result;
+
+ template <typename This, typename Arg1, typename Arg2>
+ struct result<This(Arg1, Arg2)>
+ {
+ typedef typename boost::remove_reference<Arg1>::type type;
+ };
+
+ template <typename Arg1, typename Arg2>
+ Arg1
+ operator()(Arg1 a, Arg2 b) const
+ {
+ return std::pow(a, b);
+ }
+};
+
+boost::phoenix::function<pow_impl> power;
+
+struct add_impl
+{
+ template <typename Sig>
+ struct result;
+
+ template <typename This, typename Arg1, typename Arg2, typename Arg3, typename Arg4>
+ struct result<This(Arg1, Arg2, Arg3, Arg4)>
+ {
+ typedef typename boost::remove_reference<Arg1>::type type;
+ };
+
+ template <typename Arg1, typename Arg2, typename Arg3, typename Arg4>
+ Arg1
+ operator()(Arg1 a, Arg2 b, Arg3 c, Arg4 d) const
+ {
+ return a + b + c + d;
+ }
+};
+
+boost::phoenix::function<add_impl> add;
+
+int
+main()
+{
+ using boost::phoenix::arg_names::arg1;
+ using boost::phoenix::arg_names::arg2;
+
+ int i5 = 5;
+ double d5 = 5, d3 = 3;
+
+ test()();
+ BOOST_TEST(sqr(arg1)(i5) == (i5*i5));
+ BOOST_TEST(fact(4)() == 24);
+ BOOST_TEST(fact(arg1)(i5) == 120);
+ BOOST_TEST((int)power(arg1, arg2)(d5, d3) == (int)std::pow(d5, d3));
+ BOOST_TEST((sqr(arg1) + 5)(i5) == ((i5*i5)+5));
+ BOOST_TEST(add(arg1, arg1, arg1, arg1)(i5) == (5+5+5+5));
+
+ // testing composition
+ BOOST_TEST(add(arg1, arg1, arg1, power(arg1, 2))(d5) == (5+5+5+25));
+
+ int const ic5 = 5;
+ // testing consts
+ BOOST_TEST(sqr(arg1)(ic5) == (ic5*ic5));
+
+ return boost::report_errors();
+}