31namespace std _GLIBCXX_VISIBILITY(default)
33_GLIBCXX_BEGIN_NAMESPACE_VERSION
34_GLIBCXX_BEGIN_NAMESPACE_CXX11
39_GLIBCXX_END_NAMESPACE_CXX11
48 template<
typename,
bool,
bool>
49 struct _BracketMatcher;
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);
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();
182 using namespace regex_constants;
195 std::__throw_regex_error(_S_grammar,
"conflicting grammar options");
200 _ScannerT _M_scanner;
204 const _TraitsT& _M_traits;
208 template<
typename _Tp>
209 struct __is_contiguous_iter :
is_pointer<_Tp>::type { };
211 template<
typename _Tp,
typename _Cont>
213 __is_contiguous_iter<__gnu_cxx::__normal_iterator<_Tp*, _Cont>>
216 template<
typename _Iter,
typename _TraitsT>
217 using __enable_if_contiguous_iter
218 = __enable_if_t< __is_contiguous_iter<_Iter>::value,
221 template<
typename _Iter,
typename _TraitsT>
222 using __disable_if_contiguous_iter
223 = __enable_if_t< !__is_contiguous_iter<_Iter>::value,
226 template<
typename _TraitsT,
typename _FwdIter>
227 inline __enable_if_contiguous_iter<_FwdIter, _TraitsT>
228 __compile_nfa(_FwdIter __first, _FwdIter __last,
229 const typename _TraitsT::locale_type& __loc,
232 size_t __len = __last - __first;
234 using _Cmplr = _Compiler<_TraitsT>;
235 return _Cmplr(__cfirst, __cfirst + __len, __loc, __flags)._M_get_nfa();
238 template<
typename _TraitsT,
typename _FwdIter>
239 inline __disable_if_contiguous_iter<_FwdIter, _TraitsT>
240 __compile_nfa(_FwdIter __first, _FwdIter __last,
241 const typename _TraitsT::locale_type& __loc,
244 const basic_string<typename _TraitsT::char_type> __str(__first, __last);
245 return __compile_nfa<_TraitsT>(__str.data(), __str.data() + __str.size(),
250 template<
typename _TraitsT,
bool __icase,
bool __collate>
251 class _RegexTranslatorBase
254 typedef typename _TraitsT::char_type _CharT;
255 typedef typename _TraitsT::string_type _StringT;
256 typedef _StringT _StrTransT;
259 _RegexTranslatorBase(
const _TraitsT& __traits)
260 : _M_traits(__traits)
264 _M_translate(_CharT __ch)
const
267 return _M_traits.translate_nocase(__ch);
269 return _M_traits.translate(__ch);
275 _M_transform(_CharT __ch)
const
277 _StrTransT __str(1, __ch);
278 return _M_traits.transform(__str.begin(), __str.end());
285 _M_match_range(
const _StrTransT& __first,
const _StrTransT& __last,
286 const _StrTransT& __s)
const
287 {
return __first <= __s && __s <= __last; }
290 bool _M_in_range_icase(_CharT __first, _CharT __last, _CharT __ch)
const
293 const auto& __fctyp = use_facet<__ctype_type>(this->_M_traits.getloc());
294 auto __lower = __fctyp.tolower(__ch);
295 auto __upper = __fctyp.toupper(__ch);
296 return (__first <= __lower && __lower <= __last)
297 || (__first <= __upper && __upper <= __last);
300 const _TraitsT& _M_traits;
303 template<
typename _TraitsT,
bool __icase,
bool __collate>
304 class _RegexTranslator
305 :
public _RegexTranslatorBase<_TraitsT, __icase, __collate>
308 typedef _RegexTranslatorBase<_TraitsT, __icase, __collate> _Base;
312 template<
typename _TraitsT,
bool __icase>
313 class _RegexTranslator<_TraitsT, __icase, false>
314 :
public _RegexTranslatorBase<_TraitsT, __icase, false>
317 typedef _RegexTranslatorBase<_TraitsT, __icase, false> _Base;
318 typedef typename _Base::_CharT _CharT;
319 typedef _CharT _StrTransT;
324 _M_transform(_CharT __ch)
const
328 _M_match_range(_CharT __first, _CharT __last, _CharT __ch)
const
331 return __first <= __ch && __ch <= __last;
332 return this->_M_in_range_icase(__first, __last, __ch);
336 template<
typename _CharType>
337 class _RegexTranslator<
std::regex_traits<_CharType>, true, true>
338 :
public _RegexTranslatorBase<std::regex_traits<_CharType>, true, true>
341 typedef _RegexTranslatorBase<std::regex_traits<_CharType>,
true,
true>
343 typedef typename _Base::_CharT _CharT;
344 typedef typename _Base::_StrTransT _StrTransT;
349 _M_match_range(
const _StrTransT& __first,
const _StrTransT& __last,
350 const _StrTransT& __str)
const
352 __glibcxx_assert(__first.size() == 1);
353 __glibcxx_assert(__last.size() == 1);
354 __glibcxx_assert(__str.size() == 1);
355 return this->_M_in_range_icase(__first[0], __last[0], __str[0]);
359 template<
typename _TraitsT>
360 class _RegexTranslator<_TraitsT, false, false>
363 typedef typename _TraitsT::char_type _CharT;
364 typedef _CharT _StrTransT;
367 _RegexTranslator(
const _TraitsT&)
371 _M_translate(_CharT __ch)
const
375 _M_transform(_CharT __ch)
const
379 _M_match_range(_CharT __first, _CharT __last, _CharT __ch)
const
380 {
return __first <= __ch && __ch <= __last; }
383 template<
typename _TraitsT,
bool __is_ecma,
bool __icase,
bool __collate>
386 template<
typename _TraitsT,
bool __icase,
bool __collate>
387 struct _AnyMatcher<_TraitsT, false, __icase, __collate>
389 typedef _RegexTranslator<_TraitsT, __icase, __collate> _TransT;
390 typedef typename _TransT::_CharT _CharT;
393 _AnyMatcher(
const _TraitsT& __traits)
394 : _M_translator(__traits)
398 operator()(_CharT __ch)
const
400 static auto __nul = _M_translator._M_translate(
'\0');
401 return _M_translator._M_translate(__ch) != __nul;
404 _TransT _M_translator;
407 template<
typename _TraitsT,
bool __icase,
bool __collate>
408 struct _AnyMatcher<_TraitsT, true, __icase, __collate>
410 typedef _RegexTranslator<_TraitsT, __icase, __collate> _TransT;
411 typedef typename _TransT::_CharT _CharT;
414 _AnyMatcher(
const _TraitsT& __traits)
415 : _M_translator(__traits)
419 operator()(_CharT __ch)
const
420 {
return _M_apply(__ch,
typename is_same<_CharT, char>::type()); }
425 auto __c = _M_translator._M_translate(__ch);
426 auto __n = _M_translator._M_translate(
'\n');
427 auto __r = _M_translator._M_translate(
'\r');
428 return __c != __n && __c != __r;
434 auto __c = _M_translator._M_translate(__ch);
435 auto __n = _M_translator._M_translate(
'\n');
436 auto __r = _M_translator._M_translate(
'\r');
437 auto __u2028 = _M_translator._M_translate(u
'\u2028');
438 auto __u2029 = _M_translator._M_translate(u
'\u2029');
439 return __c != __n && __c != __r && __c != __u2028 && __c != __u2029;
442 _TransT _M_translator;
445 template<
typename _TraitsT,
bool __icase,
bool __collate>
448 typedef _RegexTranslator<_TraitsT, __icase, __collate> _TransT;
449 typedef typename _TransT::_CharT _CharT;
451 _CharMatcher(_CharT __ch,
const _TraitsT& __traits)
452 : _M_translator(__traits), _M_ch(_M_translator._M_translate(__ch))
456 operator()(_CharT __ch)
const
457 {
return _M_ch == _M_translator._M_translate(__ch); }
459 _TransT _M_translator;
464 template<
typename _TraitsT,
bool __icase,
bool __collate>
468 typedef _RegexTranslator<_TraitsT, __icase, __collate> _TransT;
469 typedef typename _TransT::_CharT _CharT;
470 typedef typename _TransT::_StrTransT _StrTransT;
471 typedef typename _TraitsT::string_type _StringT;
472 typedef typename _TraitsT::char_class_type _CharClassT;
476 const _TraitsT& __traits)
477 : _M_class_set(0), _M_translator(__traits), _M_traits(__traits),
478 _M_is_non_matching(__is_non_matching)
482 operator()(_CharT __ch)
const
484 _GLIBCXX_DEBUG_ASSERT(_M_is_ready);
489 _M_add_char(_CharT __c)
491 _M_char_set.
push_back(_M_translator._M_translate(__c));
492 _GLIBCXX_DEBUG_ONLY(_M_is_ready =
false);
496 _M_add_collate_element(
const _StringT& __s)
498 auto __st = _M_traits.lookup_collatename(__s.data(),
499 __s.data() + __s.size());
502 "Invalid collate element.");
503 _M_char_set.
push_back(_M_translator._M_translate(__st[0]));
504 _GLIBCXX_DEBUG_ONLY(_M_is_ready =
false);
509 _M_add_equivalence_class(
const _StringT& __s)
511 auto __st = _M_traits.lookup_collatename(__s.data(),
512 __s.data() + __s.size());
515 "Invalid equivalence class.");
516 __st = _M_traits.transform_primary(__st.data(),
517 __st.data() + __st.size());
519 _GLIBCXX_DEBUG_ONLY(_M_is_ready =
false);
524 _M_add_character_class(
const _StringT& __s,
bool __neg)
526 auto __mask = _M_traits.lookup_classname(__s.data(),
527 __s.data() + __s.size(),
531 "Invalid character class.");
533 _M_class_set |= __mask;
536 _GLIBCXX_DEBUG_ONLY(_M_is_ready =
false);
540 _M_make_range(_CharT __l, _CharT __r)
544 "Invalid range in bracket expression.");
545 _M_range_set.push_back(make_pair(_M_translator._M_transform(__l),
546 _M_translator._M_transform(__r)));
547 _GLIBCXX_DEBUG_ONLY(_M_is_ready =
false);
553 std::sort(_M_char_set.
begin(), _M_char_set.
end());
554 auto __end = std::unique(_M_char_set.
begin(), _M_char_set.
end());
555 _M_char_set.
erase(__end, _M_char_set.
end());
557 _GLIBCXX_DEBUG_ONLY(_M_is_ready =
true);
564 static constexpr size_t
566 1ul << (
sizeof(_CharT) * __CHAR_BIT__ *
int(_UseCache::value));
571 _Dummy>::type _CacheT;
572 typedef typename std::make_unsigned<_CharT>::type _UnsignedCharT;
579 {
return _M_cache[
static_cast<_UnsignedCharT
>(__ch)]; }
584 for (
unsigned __i = 0; __i < _M_cache.size(); __i++)
585 _M_cache[__i] = _M_apply(
static_cast<_CharT
>(__i),
false_type());
597 _CharClassT _M_class_set;
598 _TransT _M_translator;
599 const _TraitsT& _M_traits;
600 bool _M_is_non_matching;
603 bool _M_is_ready =
false;
609_GLIBCXX_END_NAMESPACE_VERSION
integral_constant< bool, true > true_type
The type used as a compile-time boolean with true value.
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.
constexpr _Tp * __addressof(_Tp &__r) noexcept
Same as C++11 std::addressof.
ISO C++ entities toplevel namespace is std.
constexpr error_type error_range(_S_error_range)
constexpr syntax_option_type ECMAScript
constexpr syntax_option_type egrep
syntax_option_type
This is a bitmask type indicating how to interpret the regex.
constexpr syntax_option_type awk
constexpr syntax_option_type extended
constexpr syntax_option_type basic
constexpr error_type error_collate(_S_error_collate)
constexpr syntax_option_type grep
The bitset class represents a fixed-size sequence of bits.
Define a member typedef type to one of two argument types.
Primary class template ctype facet.
Describes a sequence of one or more _State, its current start and end(s). This structure contains fra...
Matches a character range (bracket expression)
Builds an NFA from an input iterator range.
Scans an input range for regex tokens.
A smart pointer with reference-counted copy semantics.
A standard container made up of unique keys, which can be retrieved in logarithmic time.
void pop()
Removes first element.
iterator erase(const_iterator __position)
Remove element at given position.
void push_back(const value_type &__x)
Add data to the end of the vector.
iterator begin() noexcept