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>
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();
180 _ScannerT _M_scanner;
184 const _TraitsT& _M_traits;
188 template<
typename _Tp>
189 struct __is_contiguous_iter :
is_pointer<_Tp>::type { };
191 template<
typename _Tp,
typename _Cont>
193 __is_contiguous_iter<__gnu_cxx::__normal_iterator<_Tp*, _Cont>>
196 template<
typename _Iter,
typename _TraitsT>
197 using __enable_if_contiguous_iter
198 = __enable_if_t< __is_contiguous_iter<_Iter>::value,
201 template<
typename _Iter,
typename _TraitsT>
202 using __disable_if_contiguous_iter
203 = __enable_if_t< !__is_contiguous_iter<_Iter>::value,
206 template<
typename _TraitsT,
typename _FwdIter>
207 inline __enable_if_contiguous_iter<_FwdIter, _TraitsT>
208 __compile_nfa(_FwdIter __first, _FwdIter __last,
209 const typename _TraitsT::locale_type& __loc,
212 size_t __len = __last - __first;
214 using _Cmplr = _Compiler<_TraitsT>;
215 return _Cmplr(__cfirst, __cfirst + __len, __loc, __flags)._M_get_nfa();
218 template<
typename _TraitsT,
typename _FwdIter>
219 inline __disable_if_contiguous_iter<_FwdIter, _TraitsT>
220 __compile_nfa(_FwdIter __first, _FwdIter __last,
221 const typename _TraitsT::locale_type& __loc,
224 const basic_string<typename _TraitsT::char_type> __str(__first, __last);
225 return __compile_nfa<_TraitsT>(__str.data(), __str.data() + __str.size(),
230 template<
typename _TraitsT,
bool __icase,
bool __collate>
231 class _RegexTranslatorBase
234 typedef typename _TraitsT::char_type _CharT;
235 typedef typename _TraitsT::string_type _StringT;
236 typedef _StringT _StrTransT;
239 _RegexTranslatorBase(
const _TraitsT& __traits)
240 : _M_traits(__traits)
244 _M_translate(_CharT __ch)
const
247 return _M_traits.translate_nocase(__ch);
249 return _M_traits.translate(__ch);
255 _M_transform(_CharT __ch)
const
257 _StrTransT __str(1, __ch);
258 return _M_traits.transform(__str.begin(), __str.end());
265 _M_match_range(
const _StrTransT& __first,
const _StrTransT& __last,
266 const _StrTransT& __s)
const
267 {
return __first <= __s && __s <= __last; }
270 bool _M_in_range_icase(_CharT __first, _CharT __last, _CharT __ch)
const
273 const auto& __fctyp = use_facet<__ctype_type>(this->_M_traits.getloc());
274 auto __lower = __fctyp.tolower(__ch);
275 auto __upper = __fctyp.toupper(__ch);
276 return (__first <= __lower && __lower <= __last)
277 || (__first <= __upper && __upper <= __last);
280 const _TraitsT& _M_traits;
283 template<
typename _TraitsT,
bool __icase,
bool __collate>
284 class _RegexTranslator
285 :
public _RegexTranslatorBase<_TraitsT, __icase, __collate>
288 typedef _RegexTranslatorBase<_TraitsT, __icase, __collate> _Base;
292 template<
typename _TraitsT,
bool __icase>
293 class _RegexTranslator<_TraitsT, __icase, false>
294 :
public _RegexTranslatorBase<_TraitsT, __icase, false>
297 typedef _RegexTranslatorBase<_TraitsT, __icase, false> _Base;
298 typedef typename _Base::_CharT _CharT;
299 typedef _CharT _StrTransT;
304 _M_transform(_CharT __ch)
const
308 _M_match_range(_CharT __first, _CharT __last, _CharT __ch)
const
311 return __first <= __ch && __ch <= __last;
312 return this->_M_in_range_icase(__first, __last, __ch);
316 template<
typename _CharType>
317 class _RegexTranslator<
std::regex_traits<_CharType>, true, true>
318 :
public _RegexTranslatorBase<std::regex_traits<_CharType>, true, true>
321 typedef _RegexTranslatorBase<std::regex_traits<_CharType>,
true,
true>
323 typedef typename _Base::_CharT _CharT;
324 typedef typename _Base::_StrTransT _StrTransT;
329 _M_match_range(
const _StrTransT& __first,
const _StrTransT& __last,
330 const _StrTransT& __str)
const
332 __glibcxx_assert(__first.size() == 1);
333 __glibcxx_assert(__last.size() == 1);
334 __glibcxx_assert(__str.size() == 1);
335 return this->_M_in_range_icase(__first[0], __last[0], __str[0]);
339 template<
typename _TraitsT>
340 class _RegexTranslator<_TraitsT, false, false>
343 typedef typename _TraitsT::char_type _CharT;
344 typedef _CharT _StrTransT;
347 _RegexTranslator(
const _TraitsT&)
351 _M_translate(_CharT __ch)
const
355 _M_transform(_CharT __ch)
const
359 _M_match_range(_CharT __first, _CharT __last, _CharT __ch)
const
360 {
return __first <= __ch && __ch <= __last; }
363 template<
typename _TraitsT,
bool __is_ecma,
bool __icase,
bool __collate>
366 template<
typename _TraitsT,
bool __icase,
bool __collate>
367 struct _AnyMatcher<_TraitsT, false, __icase, __collate>
369 typedef _RegexTranslator<_TraitsT, __icase, __collate> _TransT;
370 typedef typename _TransT::_CharT _CharT;
373 _AnyMatcher(
const _TraitsT& __traits)
374 : _M_translator(__traits)
378 operator()(_CharT __ch)
const
380 static auto __nul = _M_translator._M_translate(
'\0');
381 return _M_translator._M_translate(__ch) != __nul;
384 _TransT _M_translator;
387 template<
typename _TraitsT,
bool __icase,
bool __collate>
388 struct _AnyMatcher<_TraitsT, true, __icase, __collate>
390 typedef _RegexTranslator<_TraitsT, __icase, __collate> _TransT;
391 typedef typename _TransT::_CharT _CharT;
394 _AnyMatcher(
const _TraitsT& __traits)
395 : _M_translator(__traits)
399 operator()(_CharT __ch)
const
400 {
return _M_apply(__ch,
typename is_same<_CharT, char>::type()); }
405 auto __c = _M_translator._M_translate(__ch);
406 auto __n = _M_translator._M_translate(
'\n');
407 auto __r = _M_translator._M_translate(
'\r');
408 return __c != __n && __c != __r;
414 auto __c = _M_translator._M_translate(__ch);
415 auto __n = _M_translator._M_translate(
'\n');
416 auto __r = _M_translator._M_translate(
'\r');
417 auto __u2028 = _M_translator._M_translate(u
'\u2028');
418 auto __u2029 = _M_translator._M_translate(u
'\u2029');
419 return __c != __n && __c != __r && __c != __u2028 && __c != __u2029;
422 _TransT _M_translator;
425 template<
typename _TraitsT,
bool __icase,
bool __collate>
428 typedef _RegexTranslator<_TraitsT, __icase, __collate> _TransT;
429 typedef typename _TransT::_CharT _CharT;
431 _CharMatcher(_CharT __ch,
const _TraitsT& __traits)
432 : _M_translator(__traits), _M_ch(_M_translator._M_translate(__ch))
436 operator()(_CharT __ch)
const
437 {
return _M_ch == _M_translator._M_translate(__ch); }
439 _TransT _M_translator;
444 template<
typename _TraitsT,
bool __icase,
bool __collate>
448 typedef _RegexTranslator<_TraitsT, __icase, __collate> _TransT;
449 typedef typename _TransT::_CharT _CharT;
450 typedef typename _TransT::_StrTransT _StrTransT;
451 typedef typename _TraitsT::string_type _StringT;
452 typedef typename _TraitsT::char_class_type _CharClassT;
456 const _TraitsT& __traits)
457 : _M_class_set(0), _M_translator(__traits), _M_traits(__traits),
458 _M_is_non_matching(__is_non_matching)
462 operator()(_CharT __ch)
const
464 _GLIBCXX_DEBUG_ASSERT(_M_is_ready);
469 _M_add_char(_CharT __c)
471 _M_char_set.
push_back(_M_translator._M_translate(__c));
472 _GLIBCXX_DEBUG_ONLY(_M_is_ready =
false);
476 _M_add_collate_element(
const _StringT& __s)
478 auto __st = _M_traits.lookup_collatename(__s.data(),
479 __s.data() + __s.size());
482 "Invalid collate element.");
483 _M_char_set.
push_back(_M_translator._M_translate(__st[0]));
484 _GLIBCXX_DEBUG_ONLY(_M_is_ready =
false);
489 _M_add_equivalence_class(
const _StringT& __s)
491 auto __st = _M_traits.lookup_collatename(__s.data(),
492 __s.data() + __s.size());
495 "Invalid equivalence class.");
496 __st = _M_traits.transform_primary(__st.data(),
497 __st.data() + __st.size());
499 _GLIBCXX_DEBUG_ONLY(_M_is_ready =
false);
504 _M_add_character_class(
const _StringT& __s,
bool __neg)
506 auto __mask = _M_traits.lookup_classname(__s.data(),
507 __s.data() + __s.size(),
511 "Invalid character class.");
513 _M_class_set |= __mask;
516 _GLIBCXX_DEBUG_ONLY(_M_is_ready =
false);
520 _M_make_range(_CharT __l, _CharT __r)
524 "Invalid range in bracket expression.");
525 _M_range_set.push_back(make_pair(_M_translator._M_transform(__l),
526 _M_translator._M_transform(__r)));
527 _GLIBCXX_DEBUG_ONLY(_M_is_ready =
false);
533 std::sort(_M_char_set.
begin(), _M_char_set.
end());
534 auto __end = std::unique(_M_char_set.
begin(), _M_char_set.
end());
535 _M_char_set.
erase(__end, _M_char_set.
end());
537 _GLIBCXX_DEBUG_ONLY(_M_is_ready =
true);
544 static constexpr
size_t
546 1ul << (
sizeof(_CharT) * __CHAR_BIT__ *
int(_UseCache::value));
552 typedef typename std::make_unsigned<_CharT>::type _UnsignedCharT;
559 {
return _M_cache[
static_cast<_UnsignedCharT
>(__ch)]; }
564 for (
unsigned __i = 0; __i < _M_cache.size(); __i++)
565 _M_cache[__i] = _M_apply(
static_cast<_CharT
>(__i),
false_type());
577 _CharClassT _M_class_set;
578 _TransT _M_translator;
579 const _TraitsT& _M_traits;
580 bool _M_is_non_matching;
582 #ifdef _GLIBCXX_DEBUG
583 bool _M_is_ready =
false;
589 _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 _Tp * __addressof(_Tp &__r) noexcept
Same as C++11 std::addressof.
constexpr std::remove_reference< _Tp >::type && move(_Tp &&__t) noexcept
Convert a value to an rvalue.
ISO C++ entities toplevel namespace is std.
constexpr error_type error_range(_S_error_range)
syntax_option_type
This is a bitmask type indicating how to interpret the regex.
constexpr error_type error_collate(_S_error_collate)
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.
Struct holding two objects of arbitrary type.
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