31 namespace std _GLIBCXX_VISIBILITY(default)
35 _GLIBCXX_BEGIN_NAMESPACE_VERSION
42 template<
typename,
bool,
bool>
50 template<
typename _TraitsT>
54 typedef typename _TraitsT::char_type _CharT;
55 typedef const _CharT* _IterT;
56 typedef _NFA<_TraitsT> _RegexT;
60 const typename _TraitsT::locale_type& __traits, _FlagT __flags);
64 {
return std::move(_M_nfa); }
68 typedef typename _TraitsT::string_type _StringT;
69 typedef typename _ScannerT::_TokenT _TokenT;
76 _M_match_token(_TokenT __token);
97 _M_bracket_expression();
99 template<
bool __icase,
bool __collate>
101 _M_insert_any_matcher_ecma();
103 template<
bool __icase,
bool __collate>
105 _M_insert_any_matcher_posix();
107 template<
bool __icase,
bool __collate>
109 _M_insert_char_matcher();
111 template<
bool __icase,
bool __collate>
113 _M_insert_character_class_matcher();
115 template<
bool __icase,
bool __collate>
117 _M_insert_bracket_matcher(
bool __neg);
121 template<
bool __icase,
bool __collate>
128 _M_cur_int_value(
int __radix);
136 auto ret = _M_stack.
top();
142 _ScannerT _M_scanner;
146 const _TraitsT& _M_traits;
147 const _CtypeT& _M_ctype;
150 template<
typename _Tp>
153 template<
typename _Ch,
typename _Tr,
typename _Alloc>
154 struct __has_contiguous_iter<std::
basic_string<_Ch, _Tr, _Alloc>>
158 template<
typename _Tp,
typename _Alloc>
159 struct __has_contiguous_iter<std::
vector<_Tp, _Alloc>>
163 template<
typename _Tp>
166 template<
typename _CharT>
169 template<
typename _Tp,
typename _Cont>
171 __is_contiguous_normal_iter<__gnu_cxx::__normal_iterator<_Tp, _Cont>>
175 template<
typename _Iter,
typename _TraitsT>
176 using __enable_if_contiguous_normal_iter
177 =
typename enable_if< __is_contiguous_normal_iter<_Iter>::value,
180 template<
typename _Iter,
typename _TraitsT>
181 using __disable_if_contiguous_normal_iter
182 =
typename enable_if< !__is_contiguous_normal_iter<_Iter>::value,
185 template<
typename _FwdIter,
typename _TraitsT>
186 inline __enable_if_contiguous_normal_iter<_FwdIter, _TraitsT>
187 __compile_nfa(_FwdIter __first, _FwdIter __last,
188 const typename _TraitsT::locale_type& __loc,
191 size_t __len = __last - __first;
194 return _Cmplr(__cfirst, __cfirst + __len, __loc, __flags)._M_get_nfa();
197 template<
typename _FwdIter,
typename _TraitsT>
198 inline __disable_if_contiguous_normal_iter<_FwdIter, _TraitsT>
199 __compile_nfa(_FwdIter __first, _FwdIter __last,
200 const typename _TraitsT::locale_type& __loc,
203 using char_type =
typename _TraitsT::char_type;
205 return __compile_nfa<const char_type*, _TraitsT>(__str.
data(),
206 __str.
data() + __str.
size(), __loc, __flags);
210 template<
typename _TraitsT,
bool __icase,
bool __collate>
211 class _RegexTranslator
214 typedef typename _TraitsT::char_type _CharT;
215 typedef typename _TraitsT::string_type _StringT;
216 typedef typename std::conditional<__collate,
218 _CharT>::type _StrTransT;
221 _RegexTranslator(
const _TraitsT& __traits)
222 : _M_traits(__traits)
226 _M_translate(_CharT __ch)
const 229 return _M_traits.translate_nocase(__ch);
231 return _M_traits.translate(__ch);
237 _M_transform(_CharT __ch)
const 245 _M_transform_impl(_CharT __ch,
false_type)
const 249 _M_transform_impl(_CharT __ch,
true_type)
const 251 _StrTransT __str = _StrTransT(1, _M_translate(__ch));
252 return _M_traits.transform(__str.begin(), __str.end());
255 const _TraitsT& _M_traits;
258 template<
typename _TraitsT>
259 class _RegexTranslator<_TraitsT, false, false>
262 typedef typename _TraitsT::char_type _CharT;
263 typedef _CharT _StrTransT;
266 _RegexTranslator(
const _TraitsT&)
270 _M_translate(_CharT __ch)
const 274 _M_transform(_CharT __ch)
const 278 template<
typename _TraitsT,
bool __is_ecma,
bool __icase,
bool __collate>
281 template<
typename _TraitsT,
bool __icase,
bool __collate>
282 struct _AnyMatcher<_TraitsT, false, __icase, __collate>
284 typedef _RegexTranslator<_TraitsT, __icase, __collate> _TransT;
285 typedef typename _TransT::_CharT _CharT;
288 _AnyMatcher(
const _TraitsT& __traits)
289 : _M_translator(__traits)
293 operator()(_CharT __ch)
const 295 static auto __nul = _M_translator._M_translate(
'\0');
296 return _M_translator._M_translate(__ch) != __nul;
299 _TransT _M_translator;
302 template<
typename _TraitsT,
bool __icase,
bool __collate>
303 struct _AnyMatcher<_TraitsT, true, __icase, __collate>
305 typedef _RegexTranslator<_TraitsT, __icase, __collate> _TransT;
306 typedef typename _TransT::_CharT _CharT;
309 _AnyMatcher(
const _TraitsT& __traits)
310 : _M_translator(__traits)
314 operator()(_CharT __ch)
const 315 {
return _M_apply(__ch,
typename is_same<_CharT, char>::type()); }
320 auto __c = _M_translator._M_translate(__ch);
321 auto __n = _M_translator._M_translate(
'\n');
322 auto __r = _M_translator._M_translate(
'\r');
323 return __c != __n && __c != __r;
329 auto __c = _M_translator._M_translate(__ch);
330 auto __n = _M_translator._M_translate(
'\n');
331 auto __r = _M_translator._M_translate(
'\r');
332 auto __u2028 = _M_translator._M_translate(u
'\u2028');
333 auto __u2029 = _M_translator._M_translate(u
'\u2029');
334 return __c != __n && __c != __r && __c != __u2028 && __c != __u2029;
337 _TransT _M_translator;
340 template<
typename _TraitsT,
bool __icase,
bool __collate>
343 typedef _RegexTranslator<_TraitsT, __icase, __collate> _TransT;
344 typedef typename _TransT::_CharT _CharT;
346 _CharMatcher(_CharT __ch,
const _TraitsT& __traits)
347 : _M_translator(__traits), _M_ch(_M_translator._M_translate(__ch))
351 operator()(_CharT __ch)
const 352 {
return _M_ch == _M_translator._M_translate(__ch); }
354 _TransT _M_translator;
359 template<
typename _TraitsT,
bool __icase,
bool __collate>
363 typedef _RegexTranslator<_TraitsT, __icase, __collate> _TransT;
364 typedef typename _TransT::_CharT _CharT;
365 typedef typename _TransT::_StrTransT _StrTransT;
366 typedef typename _TraitsT::string_type _StringT;
367 typedef typename _TraitsT::char_class_type _CharClassT;
371 const _TraitsT& __traits)
372 : _M_class_set(0), _M_translator(__traits), _M_traits(__traits),
373 _M_is_non_matching(__is_non_matching)
374 #ifdef _GLIBCXX_DEBUG 380 operator()(_CharT __ch)
const 382 _GLIBCXX_DEBUG_ASSERT(_M_is_ready);
383 return _M_apply(__ch, _UseCache());
387 _M_add_char(_CharT __c)
389 _M_char_set.push_back(_M_translator._M_translate(__c));
390 #ifdef _GLIBCXX_DEBUG 396 _M_add_collate_element(
const _StringT& __s)
398 auto __st = _M_traits.lookup_collatename(__s.data(),
399 __s.data() + __s.size());
402 _M_char_set.push_back(_M_translator._M_translate(__st[0]));
403 #ifdef _GLIBCXX_DEBUG 410 _M_add_equivalence_class(
const _StringT& __s)
412 auto __st = _M_traits.lookup_collatename(__s.data(),
413 __s.data() + __s.size());
416 __st = _M_traits.transform_primary(__st.data(),
417 __st.data() + __st.size());
418 _M_equiv_set.push_back(__st);
419 #ifdef _GLIBCXX_DEBUG 426 _M_add_character_class(
const _StringT& __s,
bool __neg)
428 auto __mask = _M_traits.lookup_classname(__s.data(),
429 __s.data() + __s.size(),
434 _M_class_set |= __mask;
436 _M_neg_class_set.push_back(__mask);
437 #ifdef _GLIBCXX_DEBUG 443 _M_make_range(_CharT __l, _CharT __r)
447 _M_range_set.push_back(
make_pair(_M_translator._M_transform(__l),
448 _M_translator._M_transform(__r)));
449 #ifdef _GLIBCXX_DEBUG 457 std::sort(_M_char_set.begin(), _M_char_set.end());
458 auto __end =
std::unique(_M_char_set.begin(), _M_char_set.end());
459 _M_char_set.erase(__end, _M_char_set.end());
460 _M_make_cache(_UseCache());
461 #ifdef _GLIBCXX_DEBUG 468 typedef typename std::is_same<_CharT, char>::type _UseCache;
470 static constexpr
size_t 473 return 1ul << (
sizeof(_CharT) * __CHAR_BIT__ *
int(_UseCache::value));
477 typedef typename std::conditional<_UseCache::value,
479 _Dummy>::type _CacheT;
480 typedef typename std::make_unsigned<_CharT>::type _UnsignedCharT;
487 {
return _M_cache[
static_cast<_UnsignedCharT
>(__ch)]; }
492 for (
unsigned __i = 0; __i < _M_cache.size(); __i++)
493 _M_cache[__i] = _M_apply(static_cast<_CharT>(__i),
false_type());
505 _CharClassT _M_class_set;
506 _TransT _M_translator;
507 const _TraitsT& _M_traits;
508 bool _M_is_non_matching;
510 #ifdef _GLIBCXX_DEBUG 516 _GLIBCXX_END_NAMESPACE_VERSION
constexpr error_type error_ctype(_S_error_ctype)
size_type size() const noexcept
Returns the number of characters in the string, not including any null-termination.
void sort(_RandomAccessIterator __first, _RandomAccessIterator __last, _Compare __comp)
Sort the elements of a sequence using a predicate for comparison.
constexpr error_type error_collate(_S_error_collate)
Scans an input range for regex tokens.
Builds an NFA from an input iterator range.
void pop()
Removes first element.
_Tp * __addressof(_Tp &__r) noexcept
Same as C++11 std::addressof.
ISO C++ entities toplevel namespace is std.
A standard container which offers fixed time access to individual elements in any order...
Primary class template ctype facet.This template class defines classification and conversion function...
const _CharT * data() const noexcept
Return const pointer to contents.
_ForwardIterator unique(_ForwardIterator __first, _ForwardIterator __last, _BinaryPredicate __binary_pred)
Remove consecutive values from a sequence using a predicate.
Struct holding two objects of arbitrary type.
integral_constant< bool, false > false_type
The type used as a compile-time boolean with false value.
Describes a sequence of one or more _State, its current start and end(s). This structure contains fra...
A smart pointer with reference-counted copy semantics.
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.
The bitset class represents a fixed-size sequence of bits.(Note that bitset does not meet the formal ...
syntax_option_type
This is a bitmask type indicating how to interpret the regex.
Managing sequences of characters and character-like objects.
constexpr error_type error_range(_S_error_range)
Matches a character range (bracket expression)