58 namespace std _GLIBCXX_VISIBILITY(default)
60 _GLIBCXX_BEGIN_NAMESPACE_VERSION
64 template<
typename _TraitsT>
66 _Compiler(
const _CharT* __b,
const _CharT* __e,
67 const typename _TraitsT::locale_type& __loc, _FlagT __flags)
68 : _M_flags(_S_validate(__flags)),
69 _M_scanner(__b, __e, _M_flags, __loc),
70 _M_nfa(make_shared<_RegexT>(__loc, _M_flags)),
71 _M_traits(_M_nfa->_M_traits),
74 _StateSeqT __r(*_M_nfa, _M_nfa->_M_start());
75 __r._M_append(_M_nfa->_M_insert_subexpr_begin());
76 this->_M_disjunction();
77 if (!_M_match_token(_ScannerT::_S_token_eof))
79 __r._M_append(_M_pop());
80 __glibcxx_assert(_M_stack.empty());
81 __r._M_append(_M_nfa->_M_insert_subexpr_end());
82 __r._M_append(_M_nfa->_M_insert_accept());
83 _M_nfa->_M_eliminate_dummy();
86 template<
typename _TraitsT>
91 this->_M_alternative();
92 while (_M_match_token(_ScannerT::_S_token_or))
94 _StateSeqT __alt1 = _M_pop();
95 this->_M_alternative();
96 _StateSeqT __alt2 = _M_pop();
97 auto __end = _M_nfa->_M_insert_dummy();
98 __alt1._M_append(__end);
99 __alt2._M_append(__end);
103 _M_stack.push(_StateSeqT(*_M_nfa,
104 _M_nfa->_M_insert_alt(
105 __alt2._M_start, __alt1._M_start,
false),
110 template<
typename _TraitsT>
112 _Compiler<_TraitsT>::
117 _StateSeqT __re = _M_pop();
118 this->_M_alternative();
119 __re._M_append(_M_pop());
123 _M_stack.push(_StateSeqT(*_M_nfa, _M_nfa->_M_insert_dummy()));
126 template<
typename _TraitsT>
128 _Compiler<_TraitsT>::
131 if (this->_M_assertion())
135 while (this->_M_quantifier())
142 template<
typename _TraitsT>
144 _Compiler<_TraitsT>::
147 if (_M_match_token(_ScannerT::_S_token_line_begin))
148 _M_stack.push(_StateSeqT(*_M_nfa, _M_nfa->_M_insert_line_begin()));
149 else if (_M_match_token(_ScannerT::_S_token_line_end))
150 _M_stack.push(_StateSeqT(*_M_nfa, _M_nfa->_M_insert_line_end()));
151 else if (_M_match_token(_ScannerT::_S_token_word_bound))
153 _M_stack.push(_StateSeqT(*_M_nfa, _M_nfa->
154 _M_insert_word_bound(_M_value[0] ==
'n')));
155 else if (_M_match_token(_ScannerT::_S_token_subexpr_lookahead_begin))
157 auto __neg = _M_value[0] ==
'n';
158 this->_M_disjunction();
159 if (!_M_match_token(_ScannerT::_S_token_subexpr_end))
161 "Parenthesis is not closed.");
162 auto __tmp = _M_pop();
163 __tmp._M_append(_M_nfa->_M_insert_accept());
167 _M_nfa->_M_insert_lookahead(__tmp._M_start, __neg)));
174 template<
typename _TraitsT>
176 _Compiler<_TraitsT>::
180 auto __init = [
this, &__neg]()
182 if (_M_stack.empty())
184 "Nothing to repeat before a quantifier.");
185 __neg = __neg && _M_match_token(_ScannerT::_S_token_opt);
187 if (_M_match_token(_ScannerT::_S_token_closure0))
191 _StateSeqT __r(*_M_nfa,
192 _M_nfa->_M_insert_repeat(_S_invalid_state_id,
193 __e._M_start, __neg));
197 else if (_M_match_token(_ScannerT::_S_token_closure1))
201 __e._M_append(_M_nfa->_M_insert_repeat(_S_invalid_state_id,
202 __e._M_start, __neg));
205 else if (_M_match_token(_ScannerT::_S_token_opt))
209 auto __end = _M_nfa->_M_insert_dummy();
210 _StateSeqT __r(*_M_nfa,
211 _M_nfa->_M_insert_repeat(_S_invalid_state_id,
212 __e._M_start, __neg));
213 __e._M_append(__end);
214 __r._M_append(__end);
217 else if (_M_match_token(_ScannerT::_S_token_interval_begin))
219 if (_M_stack.empty())
221 "Nothing to repeat before a quantifier.");
222 if (!_M_match_token(_ScannerT::_S_token_dup_count))
224 "Unexpected token in brace expression.");
225 _StateSeqT __r(_M_pop());
226 _StateSeqT __e(*_M_nfa, _M_nfa->_M_insert_dummy());
227 long __min_rep = _M_cur_int_value(10);
232 if (_M_match_token(_ScannerT::_S_token_comma))
234 if (_M_match_token(_ScannerT::_S_token_dup_count))
235 __n = _M_cur_int_value(10) - __min_rep;
239 if (!_M_match_token(_ScannerT::_S_token_interval_end))
241 "Unexpected end of brace expression.");
243 __neg = __neg && _M_match_token(_ScannerT::_S_token_opt);
245 for (
long __i = 0; __i < __min_rep; ++__i)
246 __e._M_append(__r._M_clone());
250 auto __tmp = __r._M_clone();
251 _StateSeqT __s(*_M_nfa,
252 _M_nfa->_M_insert_repeat(_S_invalid_state_id,
253 __tmp._M_start, __neg));
254 __tmp._M_append(__s);
261 "Invalid range in brace expression.");
262 auto __end = _M_nfa->_M_insert_dummy();
267 for (
long __i = 0; __i < __n; ++__i)
269 auto __tmp = __r._M_clone();
270 auto __alt = _M_nfa->_M_insert_repeat(__tmp._M_start,
273 __e._M_append(_StateSeqT(*_M_nfa, __alt, __tmp._M_end));
275 __e._M_append(__end);
276 while (!__stack.
empty())
278 auto& __tmp = (*_M_nfa)[__stack.
top()];
290 #define __INSERT_REGEX_MATCHER(__func, ...)\
292 if (!(_M_flags & regex_constants::icase))\
293 if (!(_M_flags & regex_constants::collate))\
294 __func<false, false>(__VA_ARGS__);\
296 __func<false, true>(__VA_ARGS__);\
298 if (!(_M_flags & regex_constants::collate))\
299 __func<true, false>(__VA_ARGS__);\
301 __func<true, true>(__VA_ARGS__);\
304 template<
typename _TraitsT>
306 _Compiler<_TraitsT>::
309 if (_M_match_token(_ScannerT::_S_token_anychar))
312 __INSERT_REGEX_MATCHER(_M_insert_any_matcher_posix);
314 __INSERT_REGEX_MATCHER(_M_insert_any_matcher_ecma);
316 else if (_M_try_char())
317 __INSERT_REGEX_MATCHER(_M_insert_char_matcher);
318 else if (_M_match_token(_ScannerT::_S_token_backref))
319 _M_stack.push(_StateSeqT(*_M_nfa, _M_nfa->
320 _M_insert_backref(_M_cur_int_value(10))));
321 else if (_M_match_token(_ScannerT::_S_token_quoted_class))
322 __INSERT_REGEX_MATCHER(_M_insert_character_class_matcher);
323 else if (_M_match_token(_ScannerT::_S_token_subexpr_no_group_begin))
325 _StateSeqT __r(*_M_nfa, _M_nfa->_M_insert_dummy());
326 this->_M_disjunction();
327 if (!_M_match_token(_ScannerT::_S_token_subexpr_end))
329 "Parenthesis is not closed.");
330 __r._M_append(_M_pop());
333 else if (_M_match_token(_ScannerT::_S_token_subexpr_begin))
335 _StateSeqT __r(*_M_nfa, _M_nfa->_M_insert_subexpr_begin());
336 this->_M_disjunction();
337 if (!_M_match_token(_ScannerT::_S_token_subexpr_end))
339 "Parenthesis is not closed.");
340 __r._M_append(_M_pop());
341 __r._M_append(_M_nfa->_M_insert_subexpr_end());
344 else if (!_M_bracket_expression())
349 template<
typename _TraitsT>
351 _Compiler<_TraitsT>::
352 _M_bracket_expression()
355 _M_match_token(_ScannerT::_S_token_bracket_neg_begin);
356 if (!(__neg || _M_match_token(_ScannerT::_S_token_bracket_begin)))
358 __INSERT_REGEX_MATCHER(_M_insert_bracket_matcher, __neg);
361 #undef __INSERT_REGEX_MATCHER
363 template<
typename _TraitsT>
364 template<
bool __icase,
bool __collate>
366 _Compiler<_TraitsT>::
367 _M_insert_any_matcher_ecma()
369 _M_stack.push(_StateSeqT(*_M_nfa,
370 _M_nfa->_M_insert_matcher
371 (_AnyMatcher<_TraitsT, true, __icase, __collate>
375 template<
typename _TraitsT>
376 template<
bool __icase,
bool __collate>
378 _Compiler<_TraitsT>::
379 _M_insert_any_matcher_posix()
381 _M_stack.push(_StateSeqT(*_M_nfa,
382 _M_nfa->_M_insert_matcher
383 (_AnyMatcher<_TraitsT, false, __icase, __collate>
387 template<
typename _TraitsT>
388 template<
bool __icase,
bool __collate>
390 _Compiler<_TraitsT>::
391 _M_insert_char_matcher()
393 _M_stack.push(_StateSeqT(*_M_nfa,
394 _M_nfa->_M_insert_matcher
395 (_CharMatcher<_TraitsT, __icase, __collate>
396 (_M_value[0], _M_traits))));
399 template<
typename _TraitsT>
400 template<
bool __icase,
bool __collate>
402 _Compiler<_TraitsT>::
403 _M_insert_character_class_matcher()
405 __glibcxx_assert(_M_value.size() == 1);
406 _BracketMatcher<_TraitsT, __icase, __collate> __matcher
407 (_M_ctype.is(_CtypeT::upper, _M_value[0]), _M_traits);
408 __matcher._M_add_character_class(_M_value,
false);
409 __matcher._M_ready();
410 _M_stack.push(_StateSeqT(*_M_nfa,
411 _M_nfa->_M_insert_matcher(
std::move(__matcher))));
414 template<
typename _TraitsT>
415 template<
bool __icase,
bool __collate>
417 _Compiler<_TraitsT>::
418 _M_insert_bracket_matcher(
bool __neg)
420 _BracketMatcher<_TraitsT, __icase, __collate> __matcher(__neg, _M_traits);
421 pair<bool, _CharT> __last_char;
422 __last_char.first =
false;
427 __last_char.first =
true;
428 __last_char.second = _M_value[0];
430 else if (_M_match_token(_ScannerT::_S_token_bracket_dash))
432 __last_char.first =
true;
433 __last_char.second =
'-';
436 while (_M_expression_term(__last_char, __matcher))
438 if (__last_char.first)
439 __matcher._M_add_char(__last_char.second);
440 __matcher._M_ready();
441 _M_stack.push(_StateSeqT(
443 _M_nfa->_M_insert_matcher(
std::move(__matcher))));
446 template<
typename _TraitsT>
447 template<
bool __icase,
bool __collate>
449 _Compiler<_TraitsT>::
450 _M_expression_term(pair<bool, _CharT>& __last_char,
451 _BracketMatcher<_TraitsT, __icase, __collate>& __matcher)
453 if (_M_match_token(_ScannerT::_S_token_bracket_end))
456 const auto __push_char = [&](_CharT __ch)
458 if (__last_char.first)
459 __matcher._M_add_char(__last_char.second);
461 __last_char.first =
true;
462 __last_char.second = __ch;
464 const auto __flush = [&]
466 if (__last_char.first)
468 __matcher._M_add_char(__last_char.second);
469 __last_char.first =
false;
473 if (_M_match_token(_ScannerT::_S_token_collsymbol))
475 auto __symbol = __matcher._M_add_collate_element(_M_value);
476 if (__symbol.size() == 1)
477 __push_char(__symbol[0]);
481 else if (_M_match_token(_ScannerT::_S_token_equiv_class_name))
484 __matcher._M_add_equivalence_class(_M_value);
486 else if (_M_match_token(_ScannerT::_S_token_char_class_name))
489 __matcher._M_add_character_class(_M_value,
false);
491 else if (_M_try_char())
492 __push_char(_M_value[0]);
503 else if (_M_match_token(_ScannerT::_S_token_bracket_dash))
505 if (!__last_char.first)
509 if (_M_match_token(_ScannerT::_S_token_bracket_end))
516 "Unexpected dash in bracket expression. For POSIX syntax, "
517 "a dash is not treated literally only when it is at "
518 "beginning or end.");
526 __matcher._M_make_range(__last_char.second, _M_value[0]);
527 __last_char.first =
false;
529 else if (_M_match_token(_ScannerT::_S_token_bracket_dash))
531 __matcher._M_make_range(__last_char.second,
'-');
532 __last_char.first =
false;
536 if (_M_scanner._M_get_token()
537 != _ScannerT::_S_token_bracket_end)
540 "Character is expected after a dash.");
545 else if (_M_match_token(_ScannerT::_S_token_quoted_class))
548 __matcher._M_add_character_class(_M_value,
549 _M_ctype.is(_CtypeT::upper,
554 "Unexpected character in bracket expression.");
559 template<
typename _TraitsT>
561 _Compiler<_TraitsT>::
564 bool __is_char =
false;
565 if (_M_match_token(_ScannerT::_S_token_oct_num))
568 _M_value.assign(1, _M_cur_int_value(8));
570 else if (_M_match_token(_ScannerT::_S_token_hex_num))
573 _M_value.assign(1, _M_cur_int_value(16));
575 else if (_M_match_token(_ScannerT::_S_token_ord_char))
580 template<
typename _TraitsT>
582 _Compiler<_TraitsT>::
583 _M_match_token(_TokenT token)
585 if (token == _M_scanner._M_get_token())
587 _M_value = _M_scanner._M_get_value();
588 _M_scanner._M_advance();
594 template<
typename _TraitsT>
596 _Compiler<_TraitsT>::
597 _M_cur_int_value(
int __radix)
600 for (
typename _StringT::size_type __i = 0;
601 __i < _M_value.length(); ++__i)
602 __v =__v * __radix + _M_traits.value(_M_value[__i], __radix);
606 template<
typename _TraitsT,
bool __icase,
bool __collate>
608 _BracketMatcher<_TraitsT, __icase, __collate>::
613 if (std::binary_search(_M_char_set.begin(), _M_char_set.end(),
614 _M_translator._M_translate(__ch)))
616 auto __s = _M_translator._M_transform(__ch);
617 for (
auto& __it : _M_range_set)
618 if (_M_translator._M_match_range(__it.first, __it.second, __s))
620 if (_M_traits.isctype(__ch, _M_class_set))
622 if (std::find(_M_equiv_set.begin(), _M_equiv_set.end(),
623 _M_traits.transform_primary(&__ch, &__ch+1))
624 != _M_equiv_set.end())
626 for (
auto& __it : _M_neg_class_set)
627 if (!_M_traits.isctype(__ch, __it))
630 }() ^ _M_is_non_matching;
634 _GLIBCXX_END_NAMESPACE_VERSION
integral_constant< bool, false > false_type
The type used as a compile-time boolean with false value.
constexpr std::remove_reference< _Tp >::type && move(_Tp &&__t) noexcept
Convert a value to an rvalue.
void swap(any &__x, any &__y) noexcept
Exchange the states of two any objects.
const _Facet & use_facet(const locale &__loc)
Return a facet.
ISO C++ entities toplevel namespace is std.
constexpr error_type error_brace(_S_error_brace)
constexpr error_type error_badbrace(_S_error_badbrace)
constexpr error_type error_range(_S_error_range)
constexpr syntax_option_type ECMAScript
constexpr error_type error_badrepeat(_S_error_badrepeat)
constexpr error_type error_paren(_S_error_paren)
constexpr error_type error_brack(_S_error_brack)
A standard container giving FILO behavior.
void pop()
Removes first element.
void push(const value_type &__x)
Add data to the top of the stack.