proto/detail/vararg_matches_impl.hpp

0001 #if !defined(BOOST_PROTO_DONT_USE_PREPROCESSED_FILES)
0002
0003     #include <boost/proto/detail/preprocessed/vararg_matches_impl.hpp>
0004
0005 #elif !defined(BOOST_PP_IS_ITERATING)
0006
0007     #if defined(__WAVE__) && defined(BOOST_PROTO_CREATE_PREPROCESSED_FILES)
0008         #pragma wave option(preserve: 2, line: 0, output: "preprocessed/vararg_matches_impl.hpp")
0009     #endif
0010
0011     ///////////////////////////////////////////////////////////////////////////////
0012     /// \file vararg_matches_impl.hpp
0013     /// Specializations of the vararg_matches_impl template
0014     //
0015     //  Copyright 2008 Eric Niebler. Distributed under the Boost
0016     //  Software License, Version 1.0. (See accompanying file
0017     //  LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
0018
0019     #if defined(__WAVE__) && defined(BOOST_PROTO_CREATE_PREPROCESSED_FILES)
0020         #pragma wave option(preserve: 1)
0021     #endif
0022
0023     #define BOOST_PP_ITERATION_PARAMS_1                                                             \
0024         (3, (2, BOOST_PROTO_MAX_ARITY, <boost/proto/detail/vararg_matches_impl.hpp>))
0025     #include BOOST_PP_ITERATE()
0026
0027     #if defined(__WAVE__) && defined(BOOST_PROTO_CREATE_PREPROCESSED_FILES)
0028         #pragma wave option(output: null)
0029     #endif
0030
0031 #else // BOOST_PP_IS_ITERATING
0032
0033     #define N BOOST_PP_ITERATION()
0034
0035     template<typename Args, typename Back, long To>
0036     struct vararg_matches_impl<Args, Back, N, To>
0037       : and_2<
0038             matches_<
0039                 typename detail::expr_traits<typename Args::BOOST_PP_CAT(child, BOOST_PP_DEC(N))>::value_type::proto_derived_expr
0040               , typename detail::expr_traits<typename Args::BOOST_PP_CAT(child, BOOST_PP_DEC(N))>::value_type::proto_grammar
0041               , Back
0042             >::value
0043           , vararg_matches_impl<Args, Back, N + 1, To>
0044         >
0045     {};
0046
0047     template<typename Args, typename Back>
0048     struct vararg_matches_impl<Args, Back, N, N>
0049       : matches_<
0050             typename detail::expr_traits<typename Args::BOOST_PP_CAT(child, BOOST_PP_DEC(N))>::value_type::proto_derived_expr
0051           , typename detail::expr_traits<typename Args::BOOST_PP_CAT(child, BOOST_PP_DEC(N))>::value_type::proto_grammar
0052           , Back
0053         >
0054     {};
0055
0056     #undef N
0057
0058 #endif