34 #ifndef _GLIBCXX_REGEX_DFS_QUANTIFIERS_LIMIT
35 #define _GLIBCXX_REGEX_DFS_QUANTIFIERS_LIMIT 1
38 namespace std _GLIBCXX_VISIBILITY(default)
42 _GLIBCXX_BEGIN_NAMESPACE_VERSION
50 template<
typename _BiIter,
typename _Alloc,
51 typename _CharT,
typename _TraitsT,
52 _RegexExecutorPolicy __policy,
55 __regex_algo_impl(_BiIter __s,
57 match_results<_BiIter, _Alloc>& __m,
58 const basic_regex<_CharT, _TraitsT>& __re,
61 if (__re._M_automaton ==
nullptr)
64 typename match_results<_BiIter, _Alloc>::_Base_type& __res = __m;
65 __res.resize(__re._M_automaton->_M_sub_count() + 2);
66 for (
auto& __it : __res)
83 if (!__re._M_automaton->_M_has_backref
84 && (__policy == _RegexExecutorPolicy::_S_alternate
85 || __re._M_automaton->_M_quant_count
86 > _GLIBCXX_REGEX_DFS_QUANTIFIERS_LIMIT))
88 _Executor<_BiIter, _Alloc, _TraitsT, false>
89 __executor(__s, __e, __m, __re, __flags);
91 __ret = __executor._M_match();
93 __ret = __executor._M_search();
97 _Executor<_BiIter, _Alloc, _TraitsT, true>
98 __executor(__s, __e, __m, __re, __flags);
100 __ret = __executor._M_match();
102 __ret = __executor._M_search();
106 for (
auto __it : __res)
108 __it.first = __it.second = __e;
109 auto& __pre = __res[__res.size()-2];
110 auto& __suf = __res[__res.size()-1];
113 __pre.matched =
false;
116 __suf.matched =
false;
123 __pre.second = __res[0].first;
124 __pre.matched = (__pre.first != __pre.second);
125 __suf.first = __res[0].second;
127 __suf.matched = (__suf.first != __suf.second);
133 _GLIBCXX_END_NAMESPACE_VERSION
136 _GLIBCXX_BEGIN_NAMESPACE_VERSION
138 template<
typename _Ch_type>
139 template<
typename _Fwd_iter>
140 typename regex_traits<_Ch_type>::string_type
145 const __ctype_type& __fctyp(use_facet<__ctype_type>(_M_locale));
147 static const char* __collatenames[] =
240 "left-square-bracket",
242 "right-square-bracket",
272 "left-curly-bracket",
274 "right-curly-bracket",
308 __fctyp.narrow(__first, __last,
'?', &*__s.begin());
310 for (
unsigned int __i = 0; *__collatenames[__i]; __i++)
311 if (__s == __collatenames[__i])
312 return string_type(1, __fctyp.widen(static_cast<char>(__i)));
324 return string_type();
327 template<
typename _Ch_type>
328 template<
typename _Fwd_iter>
329 typename regex_traits<_Ch_type>::char_class_type
335 typedef const pair<const char*, char_class_type> _ClassnameEntry;
336 const __ctype_type& __fctyp(use_facet<__ctype_type>(_M_locale));
337 const __cctype_type& __cctyp(use_facet<__cctype_type>(_M_locale));
339 static _ClassnameEntry __classnames[] =
341 {
"d", ctype_base::digit},
342 {
"w", {ctype_base::alnum, _RegexMask::_S_under}},
343 {
"s", ctype_base::space},
344 {
"alnum", ctype_base::alnum},
345 {
"alpha", ctype_base::alpha},
346 {
"blank", {0, _RegexMask::_S_blank}},
347 {
"cntrl", ctype_base::cntrl},
348 {
"digit", ctype_base::digit},
349 {
"graph", ctype_base::graph},
350 {
"lower", ctype_base::lower},
351 {
"print", ctype_base::print},
352 {
"punct", ctype_base::punct},
353 {
"space", ctype_base::space},
354 {
"upper", ctype_base::upper},
355 {
"xdigit", ctype_base::xdigit},
359 __fctyp.narrow(__first, __last,
'?', &__s[0]);
360 __cctyp.tolower(&*__s.begin(), &*__s.begin() + __s.size());
361 for (_ClassnameEntry* __it = __classnames;
362 __it < *(&__classnames + 1);
365 if (__s == __it->first)
369 & (ctype_base::lower | ctype_base::upper)) != 0))
370 return ctype_base::alpha;
377 template<
typename _Ch_type>
380 isctype(_Ch_type __c, char_class_type __f)
const
383 const __ctype_type& __fctyp(use_facet<__ctype_type>(_M_locale));
385 return __fctyp.is(__f._M_base, __c)
387 || ((__f._M_extended & _RegexMask::_S_under)
388 && __c == __fctyp.widen(
'_'))
390 || ((__f._M_extended & _RegexMask::_S_blank)
391 && (__c == __fctyp.widen(
' ')
392 || __c == __fctyp.widen(
'\t')));
395 template<
typename _Ch_type>
398 value(_Ch_type __ch,
int __radix)
const
404 else if (__radix == 16)
407 return __is.
fail() ? -1 : __v;
410 template<
typename _Bi_iter,
typename _Alloc>
411 template<
typename _Out_iter>
414 const match_results<_Bi_iter, _Alloc>::char_type* __fmt_first,
415 const match_results<_Bi_iter, _Alloc>::char_type* __fmt_last,
418 _GLIBCXX_DEBUG_ASSERT( ready() );
422 __fctyp(use_facet<__ctype_type>(__traits.
getloc()));
424 auto __output = [&](
size_t __idx)
428 __out = std::copy(__sub.first, __sub.second, __out);
433 for (; __fmt_first != __fmt_last;)
434 if (*__fmt_first ==
'&')
439 else if (*__fmt_first ==
'\\')
441 if (++__fmt_first != __fmt_last
442 && __fctyp.is(__ctype_type::digit, *__fmt_first))
443 __output(__traits.
value(*__fmt_first++, 10));
448 *__out++ = *__fmt_first++;
454 auto __next = std::find(__fmt_first, __fmt_last,
'$');
455 if (__next == __fmt_last)
458 __out = std::copy(__fmt_first, __next, __out);
460 auto __eat = [&](
char __ch) ->
bool
470 if (++__next == __fmt_last)
478 else if (__eat(
'\''))
480 else if (__fctyp.is(__ctype_type::digit, *__next))
482 long __num = __traits.
value(*__next, 10);
483 if (++__next != __fmt_last
484 && __fctyp.is(__ctype_type::digit, *__next))
487 __num += __traits.
value(*__next++, 10);
489 if (0 <= __num && __num < this->
size())
494 __fmt_first = __next;
496 __out = std::copy(__fmt_first, __fmt_last, __out);
501 template<
typename _Out_iter,
typename _Bi_iter,
502 typename _Rx_traits,
typename _Ch_type>
506 const _Ch_type* __fmt,
510 _IterT __i(__first, __last, __e, __flags);
515 __out = std::copy(__first, __last, __out);
521 for (; __i != __end; ++__i)
524 __out = std::copy(__i->prefix().first, __i->prefix().second,
526 __out = __i->format(__out, __fmt, __fmt + __len, __flags);
527 __last = __i->suffix();
532 __out = std::copy(__last.
first, __last.
second, __out);
537 template<
typename _Bi_iter,
544 return (_M_match.empty() && __rhs._M_match.
empty())
545 || (_M_begin == __rhs._M_begin
546 && _M_end == __rhs._M_end
547 && _M_pregex == __rhs._M_pregex
548 && _M_flags == __rhs._M_flags
549 && _M_match[0] == __rhs._M_match[0]);
552 template<
typename _Bi_iter,
565 if (_M_match[0].matched)
567 auto __start = _M_match[0].second;
568 auto __prefix_first = _M_match[0].second;
569 if (_M_match[0].first == _M_match[0].second)
571 if (__start == _M_end)
583 _GLIBCXX_DEBUG_ASSERT(_M_match[0].matched);
584 _M_match.at(_M_match.size()).first = __prefix_first;
585 _M_match._M_in_iterator =
true;
586 _M_match._M_begin = _M_begin;
594 if (
regex_search(__start, _M_end, _M_match, *_M_pregex, _M_flags))
596 _GLIBCXX_DEBUG_ASSERT(_M_match[0].matched);
597 _M_match.at(_M_match.size()).first = __prefix_first;
598 _M_match._M_in_iterator =
true;
599 _M_match._M_begin = _M_begin;
607 template<
typename _Bi_iter,
614 _M_position = __rhs._M_position;
615 _M_subs = __rhs._M_subs;
617 _M_result = __rhs._M_result;
618 _M_suffix = __rhs._M_suffix;
619 _M_has_m1 = __rhs._M_has_m1;
620 if (__rhs._M_result == &__rhs._M_suffix)
621 _M_result = &_M_suffix;
625 template<
typename _Bi_iter,
632 if (_M_end_of_seq() && __rhs._M_end_of_seq())
634 if (_M_suffix.matched && __rhs._M_suffix.matched
635 && _M_suffix == __rhs._M_suffix)
637 if (_M_end_of_seq() || _M_suffix.matched
638 || __rhs._M_end_of_seq() || __rhs._M_suffix.matched)
640 return _M_position == __rhs._M_position
641 && _M_n == __rhs._M_n
642 && _M_subs == __rhs._M_subs;
645 template<
typename _Bi_iter,
652 _Position __prev = _M_position;
653 if (_M_suffix.matched)
655 else if (_M_n + 1 < _M_subs.size())
658 _M_result = &_M_current_match();
664 if (_M_position != _Position())
665 _M_result = &_M_current_match();
666 else if (_M_has_m1 && __prev->suffix().length() != 0)
668 _M_suffix.matched =
true;
669 _M_suffix.first = __prev->suffix().first;
670 _M_suffix.second = __prev->suffix().second;
671 _M_result = &_M_suffix;
679 template<
typename _Bi_iter,
684 _M_init(_Bi_iter __a, _Bi_iter __b)
687 for (
auto __it : _M_subs)
693 if (_M_position != _Position())
694 _M_result = &_M_current_match();
697 _M_suffix.matched =
true;
698 _M_suffix.first = __a;
699 _M_suffix.second = __b;
700 _M_result = &_M_suffix;
706 _GLIBCXX_END_NAMESPACE_VERSION
regex_token_iterator & operator=(const regex_token_iterator &__rhs)
Assigns a regex_token_iterator to another.
Describes aspects of a regular expression.
_Out_iter regex_replace(_Out_iter __out, _Bi_iter __first, _Bi_iter __last, const basic_regex< _Ch_type, _Rx_traits > &__e, const basic_string< _Ch_type, _St, _Sa > &__fmt, regex_constants::match_flag_type __flags=regex_constants::match_default)
Search for a regular expression within a range for multiple times, and replace the matched parts thro...
Controlling input for std::string.
int value(_Ch_type __ch, int __radix) const
Converts a digit to an int.
Basis for explicit traits specializations.
match_flag_type
This is a bitmask type indicating regex matching rules.
ios_base & oct(ios_base &__base)
Calls base.setf(ios_base::oct, ios_base::basefield).
bool regex_search(_Bi_iter __s, _Bi_iter __e, match_results< _Bi_iter, _Alloc > &__m, const basic_regex< _Ch_type, _Rx_traits > &__re, regex_constants::match_flag_type __flags=regex_constants::match_default)
constexpr size_t size() const noexcept
Returns the total number of bits.
bool fail() const
Fast error checking.
regex_token_iterator & operator++()
Increments a regex_token_iterator.
_T2 second
first is a copy of the first object
char_class_type lookup_classname(_Fwd_iter __first, _Fwd_iter __last, bool __icase=false) const
Maps one or more characters to a named character classification.
bool isctype(_Ch_type __c, char_class_type __f) const
Determines if c is a member of an identified class.
bool operator==(const regex_token_iterator &__rhs) const
Compares a regex_token_iterator to another for equality.
_T1 first
second_type is the second bound type
bool operator==(const regex_iterator &__rhs) const
Tests the equivalence of two regex iterators.
_Out_iter format(_Out_iter __out, const char_type *__fmt_first, const char_type *__fmt_last, match_flag_type __flags=regex_constants::format_default) const
string_type lookup_collatename(_Fwd_iter __first, _Fwd_iter __last) const
Gets a collation element by name.
ios_base & hex(ios_base &__base)
Calls base.setf(ios_base::hex, ios_base::basefield).
locale_type getloc() const
Gets a copy of the current locale in use by the regex_traits object.
bool empty() const
Indicates if the match_results contains no results.
regex_iterator & operator++()
Increments a regex_iterator.
The ctype<char> specialization.This class defines classification and conversion functions for the cha...
reference operator[](size_t __position)
Array-indexing support.