31 namespace std _GLIBCXX_VISIBILITY(default)
35 _GLIBCXX_BEGIN_NAMESPACE_VERSION
42 template<
typename,
bool,
bool>
46 template<
typename _TraitsT>
50 typedef typename _TraitsT::char_type _CharT;
51 typedef const _CharT* _IterT;
52 typedef _NFA<_TraitsT> _RegexT;
56 const _TraitsT& __traits,
_FlagT __flags);
60 {
return make_shared<_RegexT>(std::move(_M_nfa)); }
64 typedef typename _TraitsT::string_type _StringT;
65 typedef typename _ScannerT::_TokenT _TokenT;
72 _M_match_token(_TokenT __token);
93 _M_bracket_expression();
95 template<
bool __icase,
bool __collate>
97 _M_insert_any_matcher_ecma();
99 template<
bool __icase,
bool __collate>
101 _M_insert_any_matcher_posix();
103 template<
bool __icase,
bool __collate>
105 _M_insert_char_matcher();
107 template<
bool __icase,
bool __collate>
109 _M_insert_character_class_matcher();
111 template<
bool __icase,
bool __collate>
113 _M_insert_bracket_matcher(
bool __neg);
115 template<
bool __icase,
bool __collate>
121 _M_cur_int_value(
int __radix);
129 auto ret = _M_stack.
top();
135 const _TraitsT& _M_traits;
137 _ScannerT _M_scanner;
143 template<
typename _TraitsT>
145 __compile_nfa(
const typename _TraitsT::char_type* __first,
146 const typename _TraitsT::char_type* __last,
147 const _TraitsT& __traits,
151 return _Cmplr(__first, __last, __traits, __flags)._M_get_nfa();
155 template<
typename _TraitsT,
bool __icase,
bool __collate>
156 class _RegexTranslator
159 typedef typename _TraitsT::char_type _CharT;
160 typedef typename _TraitsT::string_type _StringT;
161 typedef typename std::conditional<__collate,
163 _CharT>::type _StrTransT;
166 _RegexTranslator(
const _TraitsT& __traits)
167 : _M_traits(__traits)
171 _M_translate(_CharT __ch)
const
174 return _M_traits.translate_nocase(__ch);
176 return _M_traits.translate(__ch);
182 _M_transform(_CharT __ch)
const
184 return _M_transform_impl(__ch,
typename integral_constant<
bool,
190 _M_transform_impl(_CharT __ch,
false_type)
const
194 _M_transform_impl(_CharT __ch,
true_type)
const
196 _StrTransT __str = _StrTransT(1, _M_translate(__ch));
197 return _M_traits.transform(__str.begin(), __str.end());
200 const _TraitsT& _M_traits;
203 template<
typename _TraitsT>
204 class _RegexTranslator<_TraitsT, false, false>
207 typedef typename _TraitsT::char_type _CharT;
208 typedef _CharT _StrTransT;
211 _RegexTranslator(
const _TraitsT& __traits)
215 _M_translate(_CharT __ch)
const
219 _M_transform(_CharT __ch)
const
223 template<
typename _TraitsT,
bool __is_ecma,
bool __icase,
bool __collate>
226 template<
typename _TraitsT,
bool __icase,
bool __collate>
227 struct _AnyMatcher<_TraitsT, false, __icase, __collate>
229 typedef _RegexTranslator<_TraitsT, __icase, __collate> _TransT;
230 typedef typename _TransT::_CharT _CharT;
233 _AnyMatcher(
const _TraitsT& __traits)
234 : _M_translator(__traits)
238 operator()(_CharT __ch)
const
240 static auto __nul = _M_translator._M_translate(
'\0');
241 return _M_translator._M_translate(__ch) != __nul;
244 _TransT _M_translator;
247 template<
typename _TraitsT,
bool __icase,
bool __collate>
248 struct _AnyMatcher<_TraitsT, true, __icase, __collate>
250 typedef _RegexTranslator<_TraitsT, __icase, __collate> _TransT;
251 typedef typename _TransT::_CharT _CharT;
254 _AnyMatcher(
const _TraitsT& __traits)
255 : _M_translator(__traits)
259 operator()(_CharT __ch)
const
260 {
return _M_apply(__ch,
typename is_same<_CharT, char>::type()); }
265 auto __c = _M_translator._M_translate(__ch);
266 auto __n = _M_translator._M_translate(
'\n');
267 auto __r = _M_translator._M_translate(
'\r');
268 return __c != __n && __c != __r;
274 auto __c = _M_translator._M_translate(__ch);
275 auto __n = _M_translator._M_translate(
'\n');
276 auto __r = _M_translator._M_translate(
'\r');
277 auto __u2028 = _M_translator._M_translate(u
'\u2028');
278 auto __u2029 = _M_translator._M_translate(u
'\u2029');
279 return __c != __n && __c != __r && __c != __u2028 && __c != __u2029;
282 _TransT _M_translator;
285 template<
typename _TraitsT,
bool __icase,
bool __collate>
288 typedef _RegexTranslator<_TraitsT, __icase, __collate> _TransT;
289 typedef typename _TransT::_CharT _CharT;
291 _CharMatcher(_CharT __ch,
const _TraitsT& __traits)
292 : _M_translator(__traits), _M_ch(_M_translator._M_translate(__ch))
296 operator()(_CharT __ch)
const
297 {
return _M_ch == _M_translator._M_translate(__ch); }
299 _TransT _M_translator;
304 template<
typename _TraitsT,
bool __icase,
bool __collate>
305 struct _BracketMatcher
308 typedef _RegexTranslator<_TraitsT, __icase, __collate> _TransT;
309 typedef typename _TransT::_CharT _CharT;
310 typedef typename _TransT::_StrTransT _StrTransT;
311 typedef typename _TraitsT::string_type _StringT;
312 typedef typename _TraitsT::char_class_type _CharClassT;
315 _BracketMatcher(
bool __is_non_matching,
316 const _TraitsT& __traits)
317 : _M_class_set(0), _M_translator(__traits), _M_traits(__traits),
318 _M_is_non_matching(__is_non_matching)
319 #ifdef _GLIBCXX_DEBUG
325 operator()(_CharT __ch)
const
327 _GLIBCXX_DEBUG_ASSERT(_M_is_ready);
328 return _M_apply(__ch, _IsChar());
332 _M_add_char(_CharT __c)
334 _M_char_set.
push_back(_M_translator._M_translate(__c));
335 #ifdef _GLIBCXX_DEBUG
341 _M_add_collating_element(
const _StringT& __s)
343 auto __st = _M_traits.lookup_collatename(__s.data(),
344 __s.data() + __s.size());
347 _M_char_set.
push_back(_M_translator._M_translate(__st[0]));
348 #ifdef _GLIBCXX_DEBUG
354 _M_add_equivalence_class(
const _StringT& __s)
356 auto __st = _M_traits.lookup_collatename(__s.data(),
357 __s.data() + __s.size());
360 __st = _M_traits.transform_primary(__st.data(),
361 __st.data() + __st.size());
363 #ifdef _GLIBCXX_DEBUG
369 _M_add_character_class(
const _StringT& __s)
371 auto __mask = _M_traits.lookup_classname(__s.data(),
372 __s.data() + __s.size(),
376 _M_class_set |= __mask;
377 #ifdef _GLIBCXX_DEBUG
383 _M_make_range(_CharT __l, _CharT __r)
385 _M_range_set.push_back(
make_pair(_M_translator._M_transform(__l),
386 _M_translator._M_transform(__r)));
387 #ifdef _GLIBCXX_DEBUG
395 _M_make_cache(_IsChar());
396 #ifdef _GLIBCXX_DEBUG
402 typedef typename is_same<_CharT, char>::type _IsChar;
404 typedef typename conditional<_IsChar::value,
405 std::bitset<1 << (8 * sizeof(_CharT))>,
406 _Dummy>::type _CacheT;
407 typedef typename make_unsigned<_CharT>::type _UnsignedCharT;
415 {
return _M_cache[
static_cast<_UnsignedCharT
>(__ch)]; }
420 for (
int __i = 0; __i < _M_cache.size(); __i++)
421 _M_cache[static_cast<_UnsignedCharT>(__i)] =
434 _CharClassT _M_class_set;
435 _TransT _M_translator;
436 const _TraitsT& _M_traits;
437 bool _M_is_non_matching;
438 #ifdef _GLIBCXX_DEBUG
444 _GLIBCXX_END_NAMESPACE_VERSION
constexpr error_type error_collate(_S_error_collate)
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.
constexpr error_type error_ctype(_S_error_ctype)
void push_back(const value_type &__x)
Add data to the end of the vector.
Builds an NFA from an input iterator interval.
void pop()
Removes first element.
struct _Scanner. Scans an input range for regex tokens.
syntax_option_type
This is a bitmask type indicating how to interpret the regex.
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.
integral_constant< bool, false > false_type
The type used as a compile-time boolean with false value.
Primary class template ctype facet.This template class defines classification and conversion function...
A smart pointer with reference-counted copy semantics.
Matches a character range (bracket expression)