31 namespace std _GLIBCXX_VISIBILITY(default)
33 _GLIBCXX_BEGIN_NAMESPACE_VERSION
34 _GLIBCXX_BEGIN_NAMESPACE_CXX11
39 _GLIBCXX_END_NAMESPACE_CXX11
48 template<
typename,
bool,
bool>
56 template<
typename _TraitsT>
60 typedef typename _TraitsT::char_type _CharT;
61 typedef const _CharT* _IterT;
62 typedef _NFA<_TraitsT> _RegexT;
66 const typename _TraitsT::locale_type& __traits,
_FlagT __flags);
70 {
return std::move(_M_nfa); }
74 typedef typename _TraitsT::string_type _StringT;
75 typedef typename _ScannerT::_TokenT _TokenT;
82 _M_match_token(_TokenT __token);
103 _M_bracket_expression();
105 template<
bool __icase,
bool __collate>
107 _M_insert_any_matcher_ecma();
109 template<
bool __icase,
bool __collate>
111 _M_insert_any_matcher_posix();
113 template<
bool __icase,
bool __collate>
115 _M_insert_char_matcher();
117 template<
bool __icase,
bool __collate>
119 _M_insert_character_class_matcher();
121 template<
bool __icase,
bool __collate>
123 _M_insert_bracket_matcher(
bool __neg);
128 enum class _Type : char { _None, _Char, _Class } _M_type = _Type::_None;
132 set(_CharT __c) noexcept { _M_type = _Type::_Char; _M_char = __c; }
134 _GLIBCXX_NODISCARD _CharT
135 get()
const noexcept {
return _M_char; }
138 reset(_Type __t = _Type::_None) noexcept { _M_type = __t; }
140 explicit operator bool()
const noexcept
141 {
return _M_type != _Type::_None; }
144 _GLIBCXX_NODISCARD
bool 145 _M_is_char()
const noexcept {
return _M_type == _Type::_Char; }
149 _GLIBCXX_NODISCARD
bool 150 _M_is_class()
const noexcept {
return _M_type == _Type::_Class; }
153 template<
bool __icase,
bool __collate>
160 template<
bool __icase,
bool __collate>
162 _M_expression_term(_BracketState& __last_char,
166 _M_cur_int_value(
int __radix);
174 auto ret = _M_stack.
top();
180 _ScannerT _M_scanner;
184 const _TraitsT& _M_traits;
188 template<
typename _Tp>
191 template<
typename _Ch,
typename _Tr,
typename _Alloc>
196 template<
typename _Tp,
typename _Alloc>
197 struct __has_contiguous_iter<
std::vector<_Tp, _Alloc>>
201 template<
typename _Tp>
204 template<
typename _CharT>
207 template<
typename _Tp,
typename _Cont>
209 __is_contiguous_normal_iter<__gnu_cxx::__normal_iterator<_Tp, _Cont>>
210 : __has_contiguous_iter<_Cont>::type
213 template<
typename _Iter,
typename _TraitsT>
214 using __enable_if_contiguous_normal_iter
215 =
typename enable_if< __is_contiguous_normal_iter<_Iter>::value,
218 template<
typename _Iter,
typename _TraitsT>
219 using __disable_if_contiguous_normal_iter
220 =
typename enable_if< !__is_contiguous_normal_iter<_Iter>::value,
223 template<
typename _TraitsT,
typename _FwdIter>
224 inline __enable_if_contiguous_normal_iter<_FwdIter, _TraitsT>
225 __compile_nfa(_FwdIter __first, _FwdIter __last,
226 const typename _TraitsT::locale_type& __loc,
229 size_t __len = __last - __first;
231 using _Cmplr = _Compiler<_TraitsT>;
232 return _Cmplr(__cfirst, __cfirst + __len, __loc, __flags)._M_get_nfa();
235 template<
typename _TraitsT,
typename _FwdIter>
236 inline __disable_if_contiguous_normal_iter<_FwdIter, _TraitsT>
237 __compile_nfa(_FwdIter __first, _FwdIter __last,
238 const typename _TraitsT::locale_type& __loc,
241 const basic_string<typename _TraitsT::char_type> __str(__first, __last);
242 return __compile_nfa<_TraitsT>(__str.data(), __str.data() + __str.size(),
247 template<
typename _TraitsT,
bool __icase,
bool __collate>
248 class _RegexTranslatorBase
251 typedef typename _TraitsT::char_type _CharT;
252 typedef typename _TraitsT::string_type _StringT;
253 typedef _StringT _StrTransT;
256 _RegexTranslatorBase(
const _TraitsT& __traits)
257 : _M_traits(__traits)
261 _M_translate(_CharT __ch)
const 264 return _M_traits.translate_nocase(__ch);
266 return _M_traits.translate(__ch);
272 _M_transform(_CharT __ch)
const 274 _StrTransT __str(1, __ch);
275 return _M_traits.transform(__str.begin(), __str.end());
282 _M_match_range(
const _StrTransT& __first,
const _StrTransT& __last,
283 const _StrTransT& __s)
const 284 {
return __first <= __s && __s <= __last; }
287 bool _M_in_range_icase(_CharT __first, _CharT __last, _CharT __ch)
const 290 const auto& __fctyp = use_facet<__ctype_type>(this->_M_traits.getloc());
291 auto __lower = __fctyp.
tolower(__ch);
292 auto __upper = __fctyp.toupper(__ch);
293 return (__first <= __lower && __lower <= __last)
294 || (__first <= __upper && __upper <= __last);
297 const _TraitsT& _M_traits;
300 template<
typename _TraitsT,
bool __icase,
bool __collate>
301 class _RegexTranslator
302 :
public _RegexTranslatorBase<_TraitsT, __icase, __collate>
305 typedef _RegexTranslatorBase<_TraitsT, __icase, __collate> _Base;
309 template<
typename _TraitsT,
bool __icase>
310 class _RegexTranslator<_TraitsT, __icase, false>
311 :
public _RegexTranslatorBase<_TraitsT, __icase, false>
314 typedef _RegexTranslatorBase<_TraitsT, __icase, false> _Base;
315 typedef typename _Base::_CharT _CharT;
316 typedef _CharT _StrTransT;
321 _M_transform(_CharT __ch)
const 325 _M_match_range(_CharT __first, _CharT __last, _CharT __ch)
const 328 return __first <= __ch && __ch <= __last;
329 return this->_M_in_range_icase(__first, __last, __ch);
333 template<
typename _CharType>
334 class _RegexTranslator<
std::regex_traits<_CharType>, true, true>
335 :
public _RegexTranslatorBase<std::regex_traits<_CharType>, true, true>
338 typedef _RegexTranslatorBase<std::regex_traits<_CharType>,
true,
true>
340 typedef typename _Base::_CharT _CharT;
341 typedef typename _Base::_StrTransT _StrTransT;
346 _M_match_range(
const _StrTransT& __first,
const _StrTransT& __last,
347 const _StrTransT& __str)
const 349 __glibcxx_assert(__first.size() == 1);
350 __glibcxx_assert(__last.size() == 1);
351 __glibcxx_assert(__str.size() == 1);
352 return this->_M_in_range_icase(__first[0], __last[0], __str[0]);
356 template<
typename _TraitsT>
357 class _RegexTranslator<_TraitsT, false, false>
360 typedef typename _TraitsT::char_type _CharT;
361 typedef _CharT _StrTransT;
364 _RegexTranslator(
const _TraitsT&)
368 _M_translate(_CharT __ch)
const 372 _M_transform(_CharT __ch)
const 376 _M_match_range(_CharT __first, _CharT __last, _CharT __ch)
const 377 {
return __first <= __ch && __ch <= __last; }
380 template<
typename _TraitsT,
bool __is_ecma,
bool __icase,
bool __collate>
383 template<
typename _TraitsT,
bool __icase,
bool __collate>
384 struct _AnyMatcher<_TraitsT, false, __icase, __collate>
386 typedef _RegexTranslator<_TraitsT, __icase, __collate> _TransT;
387 typedef typename _TransT::_CharT _CharT;
390 _AnyMatcher(
const _TraitsT& __traits)
391 : _M_translator(__traits)
395 operator()(_CharT __ch)
const 397 static auto __nul = _M_translator._M_translate(
'\0');
398 return _M_translator._M_translate(__ch) != __nul;
401 _TransT _M_translator;
404 template<
typename _TraitsT,
bool __icase,
bool __collate>
405 struct _AnyMatcher<_TraitsT, true, __icase, __collate>
407 typedef _RegexTranslator<_TraitsT, __icase, __collate> _TransT;
408 typedef typename _TransT::_CharT _CharT;
411 _AnyMatcher(
const _TraitsT& __traits)
412 : _M_translator(__traits)
416 operator()(_CharT __ch)
const 417 {
return _M_apply(__ch,
typename is_same<_CharT, char>::type()); }
422 auto __c = _M_translator._M_translate(__ch);
423 auto __n = _M_translator._M_translate(
'\n');
424 auto __r = _M_translator._M_translate(
'\r');
425 return __c != __n && __c != __r;
431 auto __c = _M_translator._M_translate(__ch);
432 auto __n = _M_translator._M_translate(
'\n');
433 auto __r = _M_translator._M_translate(
'\r');
434 auto __u2028 = _M_translator._M_translate(u
'\u2028');
435 auto __u2029 = _M_translator._M_translate(u
'\u2029');
436 return __c != __n && __c != __r && __c != __u2028 && __c != __u2029;
439 _TransT _M_translator;
442 template<
typename _TraitsT,
bool __icase,
bool __collate>
445 typedef _RegexTranslator<_TraitsT, __icase, __collate> _TransT;
446 typedef typename _TransT::_CharT _CharT;
448 _CharMatcher(_CharT __ch,
const _TraitsT& __traits)
449 : _M_translator(__traits), _M_ch(_M_translator._M_translate(__ch))
453 operator()(_CharT __ch)
const 454 {
return _M_ch == _M_translator._M_translate(__ch); }
456 _TransT _M_translator;
461 template<
typename _TraitsT,
bool __icase,
bool __collate>
462 struct _BracketMatcher
465 typedef _RegexTranslator<_TraitsT, __icase, __collate> _TransT;
466 typedef typename _TransT::_CharT _CharT;
467 typedef typename _TransT::_StrTransT _StrTransT;
468 typedef typename _TraitsT::string_type _StringT;
469 typedef typename _TraitsT::char_class_type _CharClassT;
472 _BracketMatcher(
bool __is_non_matching,
473 const _TraitsT& __traits)
474 : _M_class_set(0), _M_translator(__traits), _M_traits(__traits),
475 _M_is_non_matching(__is_non_matching)
479 operator()(_CharT __ch)
const 481 _GLIBCXX_DEBUG_ASSERT(_M_is_ready);
482 return _M_apply(__ch, _UseCache());
486 _M_add_char(_CharT __c)
488 _M_char_set.
push_back(_M_translator._M_translate(__c));
489 _GLIBCXX_DEBUG_ONLY(_M_is_ready =
false);
493 _M_add_collate_element(
const _StringT& __s)
495 auto __st = _M_traits.lookup_collatename(__s.data(),
496 __s.data() + __s.size());
499 "Invalid collate element.");
500 _M_char_set.
push_back(_M_translator._M_translate(__st[0]));
501 _GLIBCXX_DEBUG_ONLY(_M_is_ready =
false);
506 _M_add_equivalence_class(
const _StringT& __s)
508 auto __st = _M_traits.lookup_collatename(__s.data(),
509 __s.data() + __s.size());
512 "Invalid equivalence class.");
513 __st = _M_traits.transform_primary(__st.data(),
514 __st.data() + __st.size());
516 _GLIBCXX_DEBUG_ONLY(_M_is_ready =
false);
521 _M_add_character_class(
const _StringT& __s,
bool __neg)
523 auto __mask = _M_traits.lookup_classname(__s.data(),
524 __s.data() + __s.size(),
528 "Invalid character class.");
530 _M_class_set |= __mask;
533 _GLIBCXX_DEBUG_ONLY(_M_is_ready =
false);
537 _M_make_range(_CharT __l, _CharT __r)
541 "Invalid range in bracket expression.");
542 _M_range_set.push_back(
make_pair(_M_translator._M_transform(__l),
543 _M_translator._M_transform(__r)));
544 _GLIBCXX_DEBUG_ONLY(_M_is_ready =
false);
552 _M_char_set.
erase(__end, _M_char_set.
end());
553 _M_make_cache(_UseCache());
554 _GLIBCXX_DEBUG_ONLY(_M_is_ready =
true);
561 static constexpr
size_t 564 return 1ul << (
sizeof(_CharT) * __CHAR_BIT__ *
int(_UseCache::value));
570 _Dummy>::type _CacheT;
571 typedef typename std::make_unsigned<_CharT>::type _UnsignedCharT;
578 {
return _M_cache[
static_cast<_UnsignedCharT
>(__ch)]; }
583 for (
unsigned __i = 0; __i < _M_cache.size(); __i++)
584 _M_cache[__i] = _M_apply(static_cast<_CharT>(__i),
false_type());
596 _CharClassT _M_class_set;
597 _TransT _M_translator;
598 const _TraitsT& _M_traits;
599 bool _M_is_non_matching;
601 #ifdef _GLIBCXX_DEBUG 602 bool _M_is_ready =
false;
608 _GLIBCXX_END_NAMESPACE_VERSION
A smart pointer with reference-counted copy semantics.
Describes a sequence of one or more _State, its current start and end(s). This structure contains fra...
integral_constant< bool, true > true_type
The type used as a compile-time boolean with true value.
Scans an input range for regex tokens.
Builds an NFA from an input iterator range.
_ForwardIterator unique(_ForwardIterator __first, _ForwardIterator __last, _BinaryPredicate __binary_pred)
Remove consecutive values from a sequence using a predicate.
syntax_option_type
This is a bitmask type indicating how to interpret the regex.
void push_back(const value_type &__x)
Add data to the end of the vector.
The bitset class represents a fixed-size sequence of bits.(Note that bitset does not meet the formal ...
Define a member typedef type to one of two argument types.
constexpr _Tp * __addressof(_Tp &__r) noexcept
Same as C++11 std::addressof.
constexpr pair< typename __decay_and_strip< _T1 >::__type, typename __decay_and_strip< _T2 >::__type > make_pair(_T1 &&__x, _T2 &&__y)
A convenience wrapper for creating a pair from two objects.
constexpr error_type error_collate(_S_error_collate)
void sort(_RandomAccessIterator __first, _RandomAccessIterator __last, _Compare __comp)
Sort the elements of a sequence using a predicate for comparison.
void pop()
Removes first element.
ISO C++ entities toplevel namespace is std.
iterator erase(const_iterator __position)
Remove element at given position.
Managing sequences of characters and character-like objects.
iterator begin() noexcept
integral_constant< bool, false > false_type
The type used as a compile-time boolean with false value.
constexpr error_type error_range(_S_error_range)
Primary class template ctype facet.This template class defines classification and conversion function...
char_type tolower(char_type __c) const
Convert to lowercase.
Matches a character range (bracket expression)