/*=============================================================================
  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 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)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();
}