]>
Commit | Line | Data |
---|---|---|
7c673cae FG |
1 | /////////////////////////////////////////////////////////////////////////////// |
2 | // transmogrify.hpp | |
3 | // | |
4 | // Copyright 2008 Eric Niebler. Distributed under the Boost | |
5 | // Software License, Version 1.0. (See accompanying file | |
6 | // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) | |
7 | ||
8 | #ifndef BOOST_XPRESSIVE_DETAIL_STATIC_TRANSMOGRIFY_HPP_EAN_10_04_2005 | |
9 | #define BOOST_XPRESSIVE_DETAIL_STATIC_TRANSMOGRIFY_HPP_EAN_10_04_2005 | |
10 | ||
11 | // MS compatible compilers support #pragma once | |
12 | #if defined(_MSC_VER) | |
13 | # pragma once | |
14 | #endif | |
15 | ||
16 | #include <cstring> // for std::strlen | |
17 | #include <boost/mpl/if.hpp> | |
18 | #include <boost/mpl/or.hpp> | |
19 | #include <boost/mpl/bool.hpp> | |
20 | #include <boost/mpl/assert.hpp> | |
21 | #include <boost/type_traits/is_same.hpp> | |
22 | #include <boost/xpressive/detail/detail_fwd.hpp> | |
23 | #include <boost/xpressive/detail/core/matchers.hpp> | |
24 | #include <boost/xpressive/detail/static/placeholders.hpp> | |
25 | #include <boost/xpressive/detail/utility/dont_care.hpp> | |
26 | #include <boost/xpressive/detail/utility/traits_utils.hpp> | |
27 | ||
28 | namespace boost { namespace xpressive { namespace detail | |
29 | { | |
30 | template<typename T, typename Char> | |
31 | struct is_char_literal | |
32 | : mpl::or_<is_same<T, Char>, is_same<T, char> > | |
33 | {}; | |
34 | ||
35 | /////////////////////////////////////////////////////////////////////////////// | |
36 | // transmogrify | |
37 | // | |
38 | template<typename BidiIter, typename ICase, typename Traits, typename Matcher, typename EnableIf = void> | |
39 | struct default_transmogrify | |
40 | { | |
41 | typedef typename Traits::char_type char_type; | |
42 | typedef typename Traits::string_type string_type; | |
43 | ||
44 | typedef typename mpl::if_c | |
45 | < | |
46 | is_char_literal<Matcher, char_type>::value | |
47 | , literal_matcher<Traits, ICase, mpl::false_> | |
48 | , string_matcher<Traits, ICase> | |
49 | >::type type; | |
50 | ||
51 | template<typename Matcher2, typename Visitor> | |
52 | static type call(Matcher2 const &m, Visitor &visitor) | |
53 | { | |
54 | return default_transmogrify::call_(m, visitor, is_char_literal<Matcher2, char_type>()); | |
55 | } | |
56 | ||
57 | template<typename Matcher2, typename Visitor> | |
58 | static type call_(Matcher2 const &m, Visitor &visitor, mpl::true_) | |
59 | { | |
60 | char_type ch = char_cast<char_type>(m, visitor.traits()); | |
61 | return type(ch, visitor.traits()); | |
62 | } | |
63 | ||
64 | template<typename Matcher2, typename Visitor> | |
65 | static type call_(Matcher2 const &m, Visitor &visitor, mpl::false_) | |
66 | { | |
67 | string_type str = string_cast<string_type>(m, visitor.traits()); | |
68 | return type(str, visitor.traits()); | |
69 | } | |
70 | }; | |
71 | ||
72 | template<typename BidiIter, typename ICase, typename Traits, typename Matcher> | |
73 | struct default_transmogrify<BidiIter, ICase, Traits, Matcher, typename Matcher::is_boost_xpressive_xpression_> | |
74 | { | |
75 | typedef Matcher type; | |
76 | ||
77 | template<typename Matcher2> | |
78 | static Matcher2 const &call(Matcher2 const &m, dont_care) | |
79 | { | |
80 | return m; | |
81 | } | |
82 | }; | |
83 | ||
84 | template<typename BidiIter, typename ICase, typename Traits, typename Matcher> | |
85 | struct transmogrify | |
86 | : default_transmogrify<BidiIter, ICase, Traits, Matcher> | |
87 | {}; | |
88 | ||
89 | template<typename BidiIter, typename ICase, typename Traits> | |
90 | struct transmogrify<BidiIter, ICase, Traits, assert_bol_placeholder > | |
91 | { | |
92 | typedef assert_bol_matcher<Traits> type; | |
93 | ||
94 | template<typename Matcher2, typename Visitor> | |
95 | static type call(Matcher2, Visitor &visitor) | |
96 | { | |
97 | return type(visitor.traits()); | |
98 | } | |
99 | }; | |
100 | ||
101 | template<typename BidiIter, typename ICase, typename Traits> | |
102 | struct transmogrify<BidiIter, ICase, Traits, assert_eol_placeholder > | |
103 | { | |
104 | typedef assert_eol_matcher<Traits> type; | |
105 | ||
106 | template<typename Matcher2, typename Visitor> | |
107 | static type call(Matcher2, Visitor &visitor) | |
108 | { | |
109 | return type(visitor.traits()); | |
110 | } | |
111 | }; | |
112 | ||
113 | template<typename BidiIter, typename ICase, typename Traits> | |
114 | struct transmogrify<BidiIter, ICase, Traits, logical_newline_placeholder > | |
115 | { | |
116 | typedef logical_newline_matcher<Traits> type; | |
117 | ||
118 | template<typename Matcher2, typename Visitor> | |
119 | static type call(Matcher2, Visitor &visitor) | |
120 | { | |
121 | return type(visitor.traits()); | |
122 | } | |
123 | }; | |
124 | ||
125 | template<typename BidiIter, typename ICase, typename Traits, typename Char> | |
126 | struct transmogrify<BidiIter, ICase, Traits, range_placeholder<Char> > | |
127 | { | |
128 | // By design, we don't widen character ranges. | |
129 | typedef typename iterator_value<BidiIter>::type char_type; | |
130 | BOOST_MPL_ASSERT((is_same<Char, char_type>)); | |
131 | typedef range_matcher<Traits, ICase> type; | |
132 | ||
133 | template<typename Matcher2, typename Visitor> | |
134 | static type call(Matcher2 const &m, Visitor &visitor) | |
135 | { | |
136 | return type(m.ch_min_, m.ch_max_, m.not_, visitor.traits()); | |
137 | } | |
138 | }; | |
139 | ||
140 | template<typename BidiIter, typename ICase, typename Traits> | |
141 | struct transmogrify<BidiIter, ICase, Traits, mark_placeholder > | |
142 | { | |
143 | typedef mark_matcher<Traits, ICase> type; | |
144 | ||
145 | template<typename Matcher2, typename Visitor> | |
146 | static type call(Matcher2 const &m, Visitor &visitor) | |
147 | { | |
148 | return type(m.mark_number_, visitor.traits()); | |
149 | } | |
150 | }; | |
151 | ||
152 | template<typename BidiIter, typename ICase, typename Traits> | |
153 | struct transmogrify<BidiIter, ICase, Traits, posix_charset_placeholder > | |
154 | { | |
155 | typedef posix_charset_matcher<Traits> type; | |
156 | ||
157 | template<typename Matcher2, typename Visitor> | |
158 | static type call(Matcher2 const &m, Visitor &visitor) | |
159 | { | |
160 | char const *name_end = m.name_ + std::strlen(m.name_); | |
161 | return type(visitor.traits().lookup_classname(m.name_, name_end, ICase::value), m.not_); | |
162 | } | |
163 | }; | |
164 | ||
165 | template<typename BidiIter, typename Traits, typename Size> | |
166 | struct transmogrify<BidiIter, mpl::true_, Traits, set_matcher<Traits, Size> > | |
167 | { | |
168 | typedef set_matcher<Traits, Size> type; | |
169 | ||
170 | template<typename Matcher2, typename Visitor> | |
171 | static type call(Matcher2 m, Visitor &visitor) | |
172 | { | |
173 | m.nocase(visitor.traits()); | |
174 | return m; | |
175 | } | |
176 | }; | |
177 | ||
178 | template<typename BidiIter, typename ICase, typename Traits, typename Cond> | |
179 | struct transmogrify<BidiIter, ICase, Traits, assert_word_placeholder<Cond> > | |
180 | { | |
181 | typedef assert_word_matcher<Cond, Traits> type; | |
182 | ||
183 | template<typename Visitor> | |
184 | static type call(dont_care, Visitor &visitor) | |
185 | { | |
186 | return type(visitor.traits()); | |
187 | } | |
188 | }; | |
189 | ||
190 | template<typename BidiIter, typename ICase, typename Traits> | |
191 | struct transmogrify<BidiIter, ICase, Traits, reference_wrapper<basic_regex<BidiIter> > > | |
192 | { | |
193 | typedef regex_byref_matcher<BidiIter> type; | |
194 | ||
195 | template<typename Matcher2> | |
196 | static type call(Matcher2 const &m, dont_care) | |
197 | { | |
198 | return type(detail::core_access<BidiIter>::get_regex_impl(m.get())); | |
199 | } | |
200 | }; | |
201 | ||
202 | template<typename BidiIter, typename ICase, typename Traits> | |
203 | struct transmogrify<BidiIter, ICase, Traits, reference_wrapper<basic_regex<BidiIter> const> > | |
204 | { | |
205 | typedef regex_byref_matcher<BidiIter> type; | |
206 | ||
207 | template<typename Matcher2> | |
208 | static type call(Matcher2 const &m, dont_care) | |
209 | { | |
210 | return type(detail::core_access<BidiIter>::get_regex_impl(m.get())); | |
211 | } | |
212 | }; | |
213 | ||
214 | template<typename BidiIter, typename ICase, typename Traits> | |
215 | struct transmogrify<BidiIter, ICase, Traits, tracking_ptr<regex_impl<BidiIter> > > | |
216 | { | |
217 | typedef regex_matcher<BidiIter> type; | |
218 | ||
219 | template<typename Matcher2> | |
220 | static type call(Matcher2 const &m, dont_care) | |
221 | { | |
222 | return type(m.get()); | |
223 | } | |
224 | }; | |
225 | ||
226 | template<typename BidiIter, typename ICase, typename Traits> | |
227 | struct transmogrify<BidiIter, ICase, Traits, self_placeholder > | |
228 | { | |
229 | typedef regex_byref_matcher<BidiIter> type; | |
230 | ||
231 | template<typename Matcher2, typename Visitor> | |
232 | static type call(Matcher2, Visitor &visitor) | |
233 | { | |
234 | return type(visitor.self()); | |
235 | } | |
236 | }; | |
237 | ||
238 | }}} | |
239 | ||
240 | #endif |