Chris@16: #if !defined(BOOST_PROTO_DONT_USE_PREPROCESSED_FILES)
Chris@16: 
Chris@16:     #include <boost/proto/detail/preprocessed/make_expr_.hpp>
Chris@16: 
Chris@16: #elif !defined(BOOST_PP_IS_ITERATING)
Chris@16: 
Chris@16:     #if defined(__WAVE__) && defined(BOOST_PROTO_CREATE_PREPROCESSED_FILES)
Chris@16:         #pragma wave option(preserve: 2, line: 0, output: "preprocessed/make_expr_.hpp")
Chris@16:     #endif
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////////
Chris@16:     /// \file make_expr_.hpp
Chris@16:     /// Contains definition of make_expr_\<\> class template.
Chris@16:     //
Chris@16:     //  Copyright 2008 Eric Niebler. Distributed under the Boost
Chris@16:     //  Software License, Version 1.0. (See accompanying file
Chris@16:     //  LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
Chris@16: 
Chris@16:     #if defined(__WAVE__) && defined(BOOST_PROTO_CREATE_PREPROCESSED_FILES)
Chris@16:         #pragma wave option(preserve: 1)
Chris@16:     #endif
Chris@16: 
Chris@16:     template<
Chris@16:         typename Tag
Chris@16:       , typename Domain
Chris@16:         BOOST_PP_ENUM_TRAILING_BINARY_PARAMS(
Chris@16:             BOOST_PROTO_MAX_ARITY
Chris@16:           , typename A
Chris@16:           , = void BOOST_PP_INTERCEPT
Chris@16:         )
Chris@16:       , typename _ = void
Chris@16:     >
Chris@16:     struct make_expr_
Chris@16:     {};
Chris@16: 
Chris@16:     template<typename Domain, typename A>
Chris@16:     struct make_expr_<tag::terminal, Domain, A
Chris@16:         BOOST_PP_ENUM_TRAILING_PARAMS(BOOST_PROTO_MAX_ARITY, void BOOST_PP_INTERCEPT)>
Chris@16:     {
Chris@16:         typedef typename proto::detail::protoify<A, Domain>::result_type result_type;
Chris@16: 
Chris@16:         BOOST_FORCEINLINE
Chris@16:         result_type operator()(typename add_reference<A>::type a) const
Chris@16:         {
Chris@16:             return proto::detail::protoify<A, Domain>()(a);
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16:     template<typename A>
Chris@16:     struct make_expr_<tag::terminal, deduce_domain, A
Chris@16:         BOOST_PP_ENUM_TRAILING_PARAMS(BOOST_PROTO_MAX_ARITY, void BOOST_PP_INTERCEPT)>
Chris@16:       : make_expr_<tag::terminal, default_domain, A>
Chris@16:     {};
Chris@16: 
Chris@16:     #define BOOST_PP_ITERATION_PARAMS_1                                                         \
Chris@16:         (3, (1, BOOST_PROTO_MAX_ARITY, <boost/proto/detail/make_expr_.hpp>))
Chris@16:     #include BOOST_PP_ITERATE()
Chris@16: 
Chris@16:     #if defined(__WAVE__) && defined(BOOST_PROTO_CREATE_PREPROCESSED_FILES)
Chris@16:         #pragma wave option(output: null)
Chris@16:     #endif
Chris@16: 
Chris@16: #else // BOOST_PP_IS_ITERATING
Chris@16: 
Chris@16:     #define N BOOST_PP_ITERATION()
Chris@16:     #define M BOOST_PP_SUB(BOOST_PROTO_MAX_ARITY, N)
Chris@16: 
Chris@16:     template<typename Tag, typename Domain BOOST_PP_ENUM_TRAILING_PARAMS(N, typename A)>
Chris@16:     struct make_expr_<Tag, Domain BOOST_PP_ENUM_TRAILING_PARAMS(N, A)
Chris@16:         BOOST_PP_ENUM_TRAILING_PARAMS(M, void BOOST_PP_INTERCEPT), void>
Chris@16:     {
Chris@16:         typedef
Chris@16:             BOOST_PP_CAT(list, N)<
Chris@16:                 BOOST_PP_ENUM(N, BOOST_PROTO_AS_CHILD_TYPE, (A, ~, Domain))
Chris@16:             >
Chris@16:         proto_args;
Chris@16: 
Chris@16:         typedef typename base_expr<Domain, Tag, proto_args>::type expr_type;
Chris@16:         typedef typename Domain::proto_generator proto_generator;
Chris@16:         typedef typename proto_generator::template result<proto_generator(expr_type)>::type result_type;
Chris@16: 
Chris@16:         BOOST_FORCEINLINE
Chris@16:         result_type operator()(BOOST_PP_ENUM_BINARY_PARAMS(N, typename add_reference<A, >::type a)) const
Chris@16:         {
Chris@16:             expr_type const that = {
Chris@16:                 BOOST_PP_ENUM(N, BOOST_PROTO_AS_CHILD, (A, a, Domain))
Chris@16:             };
Chris@16:             return proto_generator()(that);
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16:     template<typename Tag BOOST_PP_ENUM_TRAILING_PARAMS(N, typename A)>
Chris@16:     struct make_expr_<Tag, deduce_domain BOOST_PP_ENUM_TRAILING_PARAMS(N, A)
Chris@16:         BOOST_PP_ENUM_TRAILING_PARAMS(M, void BOOST_PP_INTERCEPT), void>
Chris@16:       : make_expr_<
Chris@16:             Tag
Chris@16:           , typename BOOST_PP_CAT(deduce_domain, N)<BOOST_PP_ENUM_PARAMS(N, A)>::type
Chris@16:             BOOST_PP_ENUM_TRAILING_PARAMS(N, A)
Chris@16:         >
Chris@16:     {};
Chris@16: 
Chris@16:     #undef N
Chris@16:     #undef M
Chris@16: 
Chris@16: #endif