annotate DEPENDENCIES/generic/include/boost/proto/detail/unpack_expr_.hpp @ 133:4acb5d8d80b6 tip

Don't fail environmental check if README.md exists (but .txt and no-suffix don't)
author Chris Cannam
date Tue, 30 Jul 2019 12:25:44 +0100
parents 2665513ce2d3
children
rev   line source
Chris@16 1 #if !defined(BOOST_PROTO_DONT_USE_PREPROCESSED_FILES)
Chris@16 2
Chris@16 3 #include <boost/proto/detail/preprocessed/unpack_expr_.hpp>
Chris@16 4
Chris@16 5 #elif !defined(BOOST_PP_IS_ITERATING)
Chris@16 6
Chris@16 7 /// INTERNAL ONLY
Chris@16 8 ///
Chris@16 9 #define BOOST_PROTO_FUSION_NEXT_ITERATOR_TYPE(Z, N, DATA) \
Chris@16 10 typedef typename fusion::result_of::next< \
Chris@16 11 BOOST_PP_CAT(fusion_iterator, N)>::type \
Chris@16 12 BOOST_PP_CAT(fusion_iterator, BOOST_PP_INC(N)); \
Chris@16 13 /**/
Chris@16 14
Chris@16 15 /// INTERNAL ONLY
Chris@16 16 ///
Chris@16 17 #define BOOST_PROTO_FUSION_ITERATORS_TYPE(N) \
Chris@16 18 typedef \
Chris@16 19 typename fusion::result_of::begin<Sequence const>::type \
Chris@16 20 fusion_iterator0; \
Chris@16 21 BOOST_PP_REPEAT(BOOST_PP_DEC(N), BOOST_PROTO_FUSION_NEXT_ITERATOR_TYPE, fusion_iterator) \
Chris@16 22 /**/
Chris@16 23
Chris@16 24 /// INTERNAL ONLY
Chris@16 25 ///
Chris@16 26 #define BOOST_PROTO_FUSION_AT_TYPE(Z, N, DATA) \
Chris@16 27 typename add_const< \
Chris@16 28 typename fusion::result_of::value_of< \
Chris@16 29 BOOST_PP_CAT(fusion_iterator, N) \
Chris@16 30 >::type \
Chris@16 31 >::type \
Chris@16 32 /**/
Chris@16 33
Chris@16 34 /// INTERNAL ONLY
Chris@16 35 ///
Chris@16 36 #define BOOST_PROTO_FUSION_NEXT_ITERATOR(Z, N, DATA) \
Chris@16 37 BOOST_PP_CAT(fusion_iterator, BOOST_PP_INC(N)) BOOST_PP_CAT(it, BOOST_PP_INC(N)) = \
Chris@16 38 fusion::next(BOOST_PP_CAT(it, N)); \
Chris@16 39 /**/
Chris@16 40
Chris@16 41 /// INTERNAL ONLY
Chris@16 42 ///
Chris@16 43 #define BOOST_PROTO_FUSION_ITERATORS(N) \
Chris@16 44 fusion_iterator0 it0 = fusion::begin(sequence); \
Chris@16 45 BOOST_PP_REPEAT(BOOST_PP_DEC(N), BOOST_PROTO_FUSION_NEXT_ITERATOR, fusion_iterator) \
Chris@16 46 /**/
Chris@16 47
Chris@16 48 /// INTERNAL ONLY
Chris@16 49 ///
Chris@16 50 #define BOOST_PROTO_FUSION_AT(Z, N, DATA) \
Chris@16 51 *BOOST_PP_CAT(it, N) \
Chris@16 52 /**/
Chris@16 53
Chris@16 54 /// INTERNAL ONLY
Chris@16 55 ///
Chris@16 56 #define BOOST_PROTO_FUSION_AS_CHILD_AT_TYPE(Z, N, DATA) \
Chris@16 57 typename detail::protoify< \
Chris@16 58 BOOST_PROTO_FUSION_AT_TYPE(Z, N, DATA) \
Chris@16 59 , Domain \
Chris@16 60 >::result_type \
Chris@16 61 /**/
Chris@16 62
Chris@16 63 /// INTERNAL ONLY
Chris@16 64 ///
Chris@16 65 #define BOOST_PROTO_FUSION_AS_CHILD_AT(Z, N, DATA) \
Chris@16 66 detail::protoify< \
Chris@16 67 BOOST_PROTO_FUSION_AT_TYPE(Z, N, DATA) \
Chris@16 68 , Domain \
Chris@16 69 >()(BOOST_PROTO_FUSION_AT(Z, N, DATA)) \
Chris@16 70 /**/
Chris@16 71
Chris@16 72 #if defined(__WAVE__) && defined(BOOST_PROTO_CREATE_PREPROCESSED_FILES)
Chris@16 73 #pragma wave option(preserve: 2, line: 0, output: "preprocessed/unpack_expr_.hpp")
Chris@16 74 #endif
Chris@16 75
Chris@16 76 ///////////////////////////////////////////////////////////////////////////////
Chris@16 77 /// \file make_expr_.hpp
Chris@16 78 /// Contains definition of make_expr_\<\> class template.
Chris@16 79 //
Chris@16 80 // Copyright 2008 Eric Niebler. Distributed under the Boost
Chris@16 81 // Software License, Version 1.0. (See accompanying file
Chris@16 82 // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
Chris@16 83
Chris@16 84 #if defined(__WAVE__) && defined(BOOST_PROTO_CREATE_PREPROCESSED_FILES)
Chris@16 85 #pragma wave option(preserve: 1)
Chris@16 86 #endif
Chris@16 87
Chris@16 88 template<typename Tag, typename Domain, typename Sequence, std::size_t Size>
Chris@16 89 struct unpack_expr_
Chris@16 90 {};
Chris@16 91
Chris@16 92 template<typename Domain, typename Sequence>
Chris@16 93 struct unpack_expr_<tag::terminal, Domain, Sequence, 1u>
Chris@16 94 {
Chris@16 95 typedef
Chris@16 96 typename add_const<
Chris@16 97 typename fusion::result_of::value_of<
Chris@16 98 typename fusion::result_of::begin<Sequence>::type
Chris@16 99 >::type
Chris@16 100 >::type
Chris@16 101 terminal_type;
Chris@16 102
Chris@16 103 typedef
Chris@16 104 typename proto::detail::protoify<
Chris@16 105 terminal_type
Chris@16 106 , Domain
Chris@16 107 >::result_type
Chris@16 108 type;
Chris@16 109
Chris@16 110 BOOST_FORCEINLINE
Chris@16 111 static type const call(Sequence const &sequence)
Chris@16 112 {
Chris@16 113 return proto::detail::protoify<terminal_type, Domain>()(fusion::at_c<0>(sequence));
Chris@16 114 }
Chris@16 115 };
Chris@16 116
Chris@16 117 template<typename Sequence>
Chris@16 118 struct unpack_expr_<tag::terminal, deduce_domain, Sequence, 1u>
Chris@16 119 : unpack_expr_<tag::terminal, default_domain, Sequence, 1u>
Chris@16 120 {};
Chris@16 121
Chris@16 122 #define BOOST_PP_ITERATION_PARAMS_1 \
Chris@16 123 (3, (1, BOOST_PROTO_MAX_ARITY, <boost/proto/detail/unpack_expr_.hpp>))
Chris@16 124 #include BOOST_PP_ITERATE()
Chris@16 125
Chris@16 126 #if defined(__WAVE__) && defined(BOOST_PROTO_CREATE_PREPROCESSED_FILES)
Chris@16 127 #pragma wave option(output: null)
Chris@16 128 #endif
Chris@16 129
Chris@16 130 #undef BOOST_PROTO_FUSION_AT
Chris@16 131 #undef BOOST_PROTO_FUSION_AT_TYPE
Chris@16 132 #undef BOOST_PROTO_FUSION_AS_CHILD_AT
Chris@16 133 #undef BOOST_PROTO_FUSION_AS_CHILD_AT_TYPE
Chris@16 134 #undef BOOST_PROTO_FUSION_NEXT_ITERATOR
Chris@16 135 #undef BOOST_PROTO_FUSION_NEXT_ITERATOR_TYPE
Chris@16 136 #undef BOOST_PROTO_FUSION_ITERATORS
Chris@16 137 #undef BOOST_PROTO_FUSION_ITERATORS_TYPE
Chris@16 138
Chris@16 139 #else // BOOST_PP_IS_ITERATING
Chris@16 140
Chris@16 141 #define N BOOST_PP_ITERATION()
Chris@16 142 #define M BOOST_PP_SUB(BOOST_PROTO_MAX_ARITY, N)
Chris@16 143
Chris@16 144 template<typename Tag, typename Domain, typename Sequence>
Chris@16 145 struct unpack_expr_<Tag, Domain, Sequence, N>
Chris@16 146 {
Chris@16 147 BOOST_PROTO_FUSION_ITERATORS_TYPE(N)
Chris@16 148
Chris@16 149 typedef
Chris@16 150 BOOST_PP_CAT(list, N)<
Chris@16 151 BOOST_PP_ENUM(N, BOOST_PROTO_FUSION_AS_CHILD_AT_TYPE, ~)
Chris@16 152 >
Chris@16 153 proto_args;
Chris@16 154
Chris@16 155 typedef typename base_expr<Domain, Tag, proto_args>::type expr_type;
Chris@16 156 typedef typename Domain::proto_generator proto_generator;
Chris@16 157 typedef typename proto_generator::template result<proto_generator(expr_type)>::type type;
Chris@16 158
Chris@16 159 BOOST_FORCEINLINE
Chris@16 160 static type const call(Sequence const &sequence)
Chris@16 161 {
Chris@16 162 BOOST_PROTO_FUSION_ITERATORS(N)
Chris@16 163 expr_type const that = {
Chris@16 164 BOOST_PP_ENUM(N, BOOST_PROTO_FUSION_AS_CHILD_AT, ~)
Chris@16 165 };
Chris@16 166 return proto_generator()(that);
Chris@16 167 }
Chris@16 168 };
Chris@16 169
Chris@16 170 template<typename Tag, typename Sequence>
Chris@16 171 struct unpack_expr_<Tag, deduce_domain, Sequence, N>
Chris@16 172 {
Chris@16 173 BOOST_PROTO_FUSION_ITERATORS_TYPE(N)
Chris@16 174
Chris@16 175 typedef
Chris@16 176 unpack_expr_<
Chris@16 177 Tag
Chris@16 178 , typename BOOST_PP_CAT(deduce_domain, N)<
Chris@16 179 BOOST_PP_ENUM(N, BOOST_PROTO_FUSION_AT_TYPE, ~)
Chris@16 180 >::type
Chris@16 181 , Sequence
Chris@16 182 , N
Chris@16 183 >
Chris@16 184 other;
Chris@16 185
Chris@16 186 typedef typename other::type type;
Chris@16 187
Chris@16 188 BOOST_FORCEINLINE
Chris@16 189 static type const call(Sequence const &sequence)
Chris@16 190 {
Chris@16 191 return other::call(sequence);
Chris@16 192 }
Chris@16 193 };
Chris@16 194
Chris@16 195 #undef N
Chris@16 196 #undef M
Chris@16 197
Chris@16 198 #endif