56 namespace std _GLIBCXX_VISIBILITY(default)
60 _GLIBCXX_BEGIN_NAMESPACE_VERSION
62 template<
typename _TraitsT>
64 _Compiler(_IterT __b, _IterT __e,
65 const _TraitsT& __traits, _FlagT __flags)
68 | regex_constants::
basic
70 | regex_constants::
grep
71 | regex_constants::
egrep
72 | regex_constants::
awk))
76 _M_ctype(std::
use_facet<_CtypeT>(_M_traits.getloc())),
77 _M_scanner(__b, __e, _M_flags, _M_traits.getloc()),
80 _StateSeqT __r(_M_nfa, _M_nfa._M_start());
81 __r._M_append(_M_nfa._M_insert_subexpr_begin());
82 this->_M_disjunction();
83 if (!_M_match_token(_ScannerT::_S_token_eof))
85 __r._M_append(_M_pop());
86 _GLIBCXX_DEBUG_ASSERT(_M_stack.
empty());
87 __r._M_append(_M_nfa._M_insert_subexpr_end());
88 __r._M_append(_M_nfa._M_insert_accept());
89 _M_nfa._M_eliminate_dummy();
92 template<
typename _TraitsT>
97 this->_M_alternative();
98 while (_M_match_token(_ScannerT::_S_token_or))
100 _StateSeqT __alt1 = _M_pop();
101 this->_M_alternative();
102 _StateSeqT __alt2 = _M_pop();
103 auto __end = _M_nfa._M_insert_dummy();
104 __alt1._M_append(__end);
105 __alt2._M_append(__end);
106 _M_stack.push(_StateSeqT(_M_nfa,
107 _M_nfa._M_insert_alt(__alt1._M_start,
108 __alt2._M_start,
false),
113 template<
typename _TraitsT>
115 _Compiler<_TraitsT>::
120 _StateSeqT __re = _M_pop();
121 this->_M_alternative();
122 __re._M_append(_M_pop());
126 _M_stack.push(_StateSeqT(_M_nfa, _M_nfa._M_insert_dummy()));
129 template<
typename _TraitsT>
131 _Compiler<_TraitsT>::
134 if (this->_M_assertion())
138 while (this->_M_quantifier());
144 template<
typename _TraitsT>
146 _Compiler<_TraitsT>::
149 if (_M_match_token(_ScannerT::_S_token_line_begin))
150 _M_stack.push(_StateSeqT(_M_nfa, _M_nfa._M_insert_line_begin()));
151 else if (_M_match_token(_ScannerT::_S_token_line_end))
152 _M_stack.push(_StateSeqT(_M_nfa, _M_nfa._M_insert_line_end()));
153 else if (_M_match_token(_ScannerT::_S_token_word_bound))
155 _M_stack.push(_StateSeqT(_M_nfa, _M_nfa.
156 _M_insert_word_bound(_M_value[0] ==
'n')));
157 else if (_M_match_token(_ScannerT::_S_token_subexpr_lookahead_begin))
159 auto __neg = _M_value[0] ==
'n';
160 this->_M_disjunction();
161 if (!_M_match_token(_ScannerT::_S_token_subexpr_end))
163 auto __tmp = _M_pop();
164 __tmp._M_append(_M_nfa._M_insert_accept());
168 _M_nfa._M_insert_lookahead(__tmp._M_start, __neg)));
175 template<
typename _TraitsT>
177 _Compiler<_TraitsT>::
181 auto __init = [
this, &__neg]()
183 if (_M_stack.empty())
185 __neg = __neg && _M_match_token(_ScannerT::_S_token_opt);
187 if (_M_match_token(_ScannerT::_S_token_closure0))
191 _StateSeqT __r(_M_nfa, _M_nfa._M_insert_alt(_S_invalid_state_id,
192 __e._M_start, __neg));
196 else if (_M_match_token(_ScannerT::_S_token_closure1))
200 __e._M_append(_M_nfa._M_insert_alt(_S_invalid_state_id, __e._M_start,
204 else if (_M_match_token(_ScannerT::_S_token_opt))
208 auto __end = _M_nfa._M_insert_dummy();
209 _StateSeqT __r(_M_nfa, _M_nfa._M_insert_alt(_S_invalid_state_id,
210 __e._M_start, __neg));
211 __e._M_append(__end);
212 __r._M_append(__end);
215 else if (_M_match_token(_ScannerT::_S_token_interval_begin))
217 if (_M_stack.empty())
219 if (!_M_match_token(_ScannerT::_S_token_dup_count))
221 _StateSeqT __r(_M_pop());
222 _StateSeqT __e(_M_nfa, _M_nfa._M_insert_dummy());
223 long __min_rep = _M_cur_int_value(10);
228 if (_M_match_token(_ScannerT::_S_token_comma))
229 if (_M_match_token(_ScannerT::_S_token_dup_count))
230 __n = _M_cur_int_value(10) - __min_rep;
235 if (!_M_match_token(_ScannerT::_S_token_interval_end))
238 __neg = __neg && _M_match_token(_ScannerT::_S_token_opt);
240 for (
long __i = 0; __i < __min_rep; ++__i)
241 __e._M_append(__r._M_clone());
245 auto __tmp = __r._M_clone();
246 _StateSeqT __s(_M_nfa,
247 _M_nfa._M_insert_alt(_S_invalid_state_id,
248 __tmp._M_start, __neg));
249 __tmp._M_append(__s);
256 auto __end = _M_nfa._M_insert_dummy();
261 for (
long __i = 0; __i < __n; ++__i)
263 auto __tmp = __r._M_clone();
264 auto __alt = _M_nfa._M_insert_alt(__tmp._M_start,
267 __e._M_append(_StateSeqT(_M_nfa, __alt, __tmp._M_end));
269 __e._M_append(__end);
270 while (!__stack.
empty())
272 auto& __tmp = _M_nfa[__stack.
top()];
274 swap(__tmp._M_next, __tmp._M_alt);
284 #define __INSERT_REGEX_MATCHER(__func, args...)\
286 if (!(_M_flags & regex_constants::icase))\
287 if (!(_M_flags & regex_constants::collate))\
288 __func<false, false>(args);\
290 __func<false, true>(args);\
292 if (!(_M_flags & regex_constants::collate))\
293 __func<true, false>(args);\
295 __func<true, true>(args);\
298 template<
typename _TraitsT>
300 _Compiler<_TraitsT>::
303 if (_M_match_token(_ScannerT::_S_token_anychar))
306 __INSERT_REGEX_MATCHER(_M_insert_any_matcher_posix);
308 __INSERT_REGEX_MATCHER(_M_insert_any_matcher_ecma);
310 else if (_M_try_char())
311 __INSERT_REGEX_MATCHER(_M_insert_char_matcher);
312 else if (_M_match_token(_ScannerT::_S_token_backref))
313 _M_stack.push(_StateSeqT(_M_nfa, _M_nfa.
314 _M_insert_backref(_M_cur_int_value(10))));
315 else if (_M_match_token(_ScannerT::_S_token_quoted_class))
316 __INSERT_REGEX_MATCHER(_M_insert_character_class_matcher);
317 else if (_M_match_token(_ScannerT::_S_token_subexpr_no_group_begin))
319 _StateSeqT __r(_M_nfa, _M_nfa._M_insert_dummy());
320 this->_M_disjunction();
321 if (!_M_match_token(_ScannerT::_S_token_subexpr_end))
323 __r._M_append(_M_pop());
326 else if (_M_match_token(_ScannerT::_S_token_subexpr_begin))
328 _StateSeqT __r(_M_nfa, _M_nfa._M_insert_subexpr_begin());
329 this->_M_disjunction();
330 if (!_M_match_token(_ScannerT::_S_token_subexpr_end))
332 __r._M_append(_M_pop());
333 __r._M_append(_M_nfa._M_insert_subexpr_end());
336 else if (!_M_bracket_expression())
341 template<
typename _TraitsT>
343 _Compiler<_TraitsT>::
344 _M_bracket_expression()
347 _M_match_token(_ScannerT::_S_token_bracket_neg_begin);
348 if (!(__neg || _M_match_token(_ScannerT::_S_token_bracket_begin)))
350 __INSERT_REGEX_MATCHER(_M_insert_bracket_matcher, __neg);
353 #undef __INSERT_REGEX_MATCHER
355 template<
typename _TraitsT>
356 template<
bool __icase,
bool __collate>
358 _Compiler<_TraitsT>::
359 _M_insert_any_matcher_ecma()
361 _M_stack.push(_StateSeqT(_M_nfa,
362 _M_nfa._M_insert_matcher
363 (_AnyMatcher<_TraitsT, true, __icase, __collate>
367 template<
typename _TraitsT>
368 template<
bool __icase,
bool __collate>
370 _Compiler<_TraitsT>::
371 _M_insert_any_matcher_posix()
373 _M_stack.push(_StateSeqT(_M_nfa,
374 _M_nfa._M_insert_matcher
375 (_AnyMatcher<_TraitsT, false, __icase, __collate>
379 template<
typename _TraitsT>
380 template<
bool __icase,
bool __collate>
382 _Compiler<_TraitsT>::
383 _M_insert_char_matcher()
385 _M_stack.push(_StateSeqT(_M_nfa,
386 _M_nfa._M_insert_matcher
387 (_CharMatcher<_TraitsT, __icase, __collate>
388 (_M_value[0], _M_traits))));
391 template<
typename _TraitsT>
392 template<
bool __icase,
bool __collate>
394 _Compiler<_TraitsT>::
395 _M_insert_character_class_matcher()
397 _GLIBCXX_DEBUG_ASSERT(_M_value.size() == 1);
398 _BracketMatcher<_TraitsT, __icase, __collate> __matcher
399 (_M_ctype.is(_CtypeT::upper, _M_value[0]), _M_traits);
400 __matcher._M_add_character_class(_M_value,
false);
401 __matcher._M_ready();
402 _M_stack.push(_StateSeqT(_M_nfa,
403 _M_nfa._M_insert_matcher(std::move(__matcher))));
406 template<
typename _TraitsT>
407 template<
bool __icase,
bool __collate>
409 _Compiler<_TraitsT>::
410 _M_insert_bracket_matcher(
bool __neg)
412 _BracketMatcher<_TraitsT, __icase, __collate> __matcher(__neg, _M_traits);
413 while (!_M_match_token(_ScannerT::_S_token_bracket_end))
414 _M_expression_term(__matcher);
415 __matcher._M_ready();
416 _M_stack.push(_StateSeqT(_M_nfa,
417 _M_nfa._M_insert_matcher(std::move(__matcher))));
420 template<
typename _TraitsT>
421 template<
bool __icase,
bool __collate>
423 _Compiler<_TraitsT>::
424 _M_expression_term(_BracketMatcher<_TraitsT, __icase, __collate>& __matcher)
426 if (_M_match_token(_ScannerT::_S_token_collsymbol))
427 __matcher._M_add_collating_element(_M_value);
428 else if (_M_match_token(_ScannerT::_S_token_equiv_class_name))
429 __matcher._M_add_equivalence_class(_M_value);
430 else if (_M_match_token(_ScannerT::_S_token_char_class_name))
431 __matcher._M_add_character_class(_M_value,
false);
432 else if (_M_try_char())
434 auto __ch = _M_value[0];
437 if (_M_value[0] ==
'-')
441 __matcher._M_make_range(__ch, _M_value[0]);
446 if (_M_scanner._M_get_token()
447 != _ScannerT::_S_token_bracket_end)
450 __matcher._M_add_char(_M_value[0]);
452 __matcher._M_add_char(__ch);
454 else if (_M_match_token(_ScannerT::_S_token_quoted_class))
455 __matcher._M_add_character_class(_M_value,
456 _M_ctype.is(_CtypeT::upper,
462 template<
typename _TraitsT>
464 _Compiler<_TraitsT>::
467 bool __is_char =
false;
468 if (_M_match_token(_ScannerT::_S_token_oct_num))
471 _M_value.assign(1, _M_cur_int_value(8));
473 else if (_M_match_token(_ScannerT::_S_token_hex_num))
476 _M_value.assign(1, _M_cur_int_value(16));
478 else if (_M_match_token(_ScannerT::_S_token_ord_char))
483 template<
typename _TraitsT>
485 _Compiler<_TraitsT>::
486 _M_match_token(_TokenT token)
488 if (token == _M_scanner._M_get_token())
490 _M_value = _M_scanner._M_get_value();
491 _M_scanner._M_advance();
497 template<
typename _TraitsT>
499 _Compiler<_TraitsT>::
500 _M_cur_int_value(
int __radix)
503 for (
typename _StringT::size_type __i = 0;
504 __i < _M_value.length(); ++__i)
505 __v =__v * __radix + _M_traits.value(_M_value[__i], __radix);
509 template<
typename _TraitsT,
bool __icase,
bool __collate>
511 _BracketMatcher<_TraitsT, __icase, __collate>::
515 if (std::find(_M_char_set.begin(), _M_char_set.end(),
516 _M_translator._M_translate(__ch))
517 != _M_char_set.end())
521 auto __s = _M_translator._M_transform(__ch);
522 for (
auto& __it : _M_range_set)
523 if (__it.first <= __s && __s <= __it.second)
528 if (_M_traits.isctype(__ch, _M_class_set))
530 else if (std::find(_M_equiv_set.begin(), _M_equiv_set.end(),
531 _M_traits.transform_primary(&__ch, &__ch+1))
532 != _M_equiv_set.end())
536 for (
auto& __it : _M_neg_class_set)
537 if (!_M_traits.isctype(__ch, __it))
544 if (_M_is_non_matching)
550 _GLIBCXX_END_NAMESPACE_VERSION
const _Facet & use_facet(const locale &__loc)
Return a facet.use_facet looks for and returns a reference to a facet of type Facet where Facet is th...
void pop()
Removes first element.
constexpr error_type error_badrepeat(_S_error_badrepeat)
constexpr error_type error_range(_S_error_range)
constexpr error_type error_brack(_S_error_brack)
constexpr error_type error_badbrace(_S_error_badbrace)
void push(const value_type &__x)
Add data to the top of the stack.
constexpr error_type error_paren(_S_error_paren)
integral_constant< bool, false > false_type
The type used as a compile-time boolean with false value.
A standard container giving FILO behavior.
constexpr error_type error_brace(_S_error_brace)