// -*- C++ -*- //===--------------------------- regex ------------------------------------===// // // The LLVM Compiler Infrastructure // // This file is distributed under the University of Illinois Open Source // License. See LICENSE.TXT for details. // //===----------------------------------------------------------------------===// #ifndef _LIBCPP_REGEX #define _LIBCPP_REGEX /* regex synopsis #include namespace std { namespace regex_constants { emum syntax_option_type { icase = unspecified, nosubs = unspecified, optimize = unspecified, collate = unspecified, ECMAScript = unspecified, basic = unspecified, extended = unspecified, awk = unspecified, grep = unspecified, egrep = unspecified }; constexpr syntax_option_type operator~(syntax_option_type f); constexpr syntax_option_type operator&(syntax_option_type lhs, syntax_option_type rhs); constexpr syntax_option_type operator|(syntax_option_type lhs, syntax_option_type rhs); enum match_flag_type { match_default = 0, match_not_bol = unspecified, match_not_eol = unspecified, match_not_bow = unspecified, match_not_eow = unspecified, match_any = unspecified, match_not_null = unspecified, match_continuous = unspecified, match_prev_avail = unspecified, format_default = 0, format_sed = unspecified, format_no_copy = unspecified, format_first_only = unspecified }; constexpr match_flag_type operator~(match_flag_type f); constexpr match_flag_type operator&(match_flag_type lhs, match_flag_type rhs); constexpr match_flag_type operator|(match_flag_type lhs, match_flag_type rhs); enum error_type { error_collate = unspecified, error_ctype = unspecified, error_escape = unspecified, error_backref = unspecified, error_brack = unspecified, error_paren = unspecified, error_brace = unspecified, error_badbrace = unspecified, error_range = unspecified, error_space = unspecified, error_badrepeat = unspecified, error_complexity = unspecified, error_stack = unspecified }; } // regex_constants class regex_error : public runtime_error { public: explicit regex_error(regex_constants::error_type ecode); regex_constants::error_type code() const; }; template struct regex_traits { public: typedef charT char_type; typedef basic_string string_type; typedef locale locale_type; typedef /bitmask_type/ char_class_type; regex_traits(); static size_t length(const char_type* p); charT translate(charT c) const; charT translate_nocase(charT c) const; template string_type transform(ForwardIterator first, ForwardIterator last) const; template string_type transform_primary( ForwardIterator first, ForwardIterator last) const; template string_type lookup_collatename(ForwardIterator first, ForwardIterator last) const; template char_class_type lookup_classname(ForwardIterator first, ForwardIterator last, bool icase = false) const; bool isctype(charT c, char_class_type f) const; int value(charT ch, int radix) const; locale_type imbue(locale_type l); locale_type getloc()const; }; template > class basic_regex { public: // types: typedef charT value_type; typedef regex_constants::syntax_option_type flag_type; typedef typename traits::locale_type locale_type; // constants: static constexpr regex_constants::syntax_option_type icase = regex_constants::icase; static constexpr regex_constants::syntax_option_type nosubs = regex_constants::nosubs; static constexpr regex_constants::syntax_option_type optimize = regex_constants::optimize; static constexpr regex_constants::syntax_option_type collate = regex_constants::collate; static constexpr regex_constants::syntax_option_type ECMAScript = regex_constants::ECMAScript; static constexpr regex_constants::syntax_option_type basic = regex_constants::basic; static constexpr regex_constants::syntax_option_type extended = regex_constants::extended; static constexpr regex_constants::syntax_option_type awk = regex_constants::awk; static constexpr regex_constants::syntax_option_type grep = regex_constants::grep; static constexpr regex_constants::syntax_option_type egrep = regex_constants::egrep; // construct/copy/destroy: basic_regex(); explicit basic_regex(const charT* p, flag_type f = regex_constants::ECMAScript); basic_regex(const charT* p, size_t len, flag_type f); basic_regex(const basic_regex&); basic_regex(basic_regex&&); template explicit basic_regex(const basic_string& p, flag_type f = regex_constants::ECMAScript); template basic_regex(ForwardIterator first, ForwardIterator last, flag_type f = regex_constants::ECMAScript); basic_regex(initializer_list, flag_type = regex_constants::ECMAScript); ~basic_regex(); basic_regex& operator=(const basic_regex&); basic_regex& operator=(basic_regex&&); basic_regex& operator=(const charT* ptr); basic_regex& operator=(initializer_list il); template basic_regex& operator=(const basic_string& p); // assign: basic_regex& assign(const basic_regex& that); basic_regex& assign(basic_regex&& that); basic_regex& assign(const charT* ptr, flag_type f = regex_constants::ECMAScript); basic_regex& assign(const charT* p, size_t len, flag_type f); template basic_regex& assign(const basic_string& s, flag_type f = regex_constants::ECMAScript); template basic_regex& assign(InputIterator first, InputIterator last, flag_type f = regex_constants::ECMAScript); basic_regex& assign(initializer_list, flag_type = regex_constants::ECMAScript); // const operations: unsigned mark_count() const; flag_type flags() const; // locale: locale_type imbue(locale_type loc); locale_type getloc() const; // swap: void swap(basic_regex&); }; typedef basic_regex regex; typedef basic_regex wregex; template void swap(basic_regex& e1, basic_regex& e2); template class sub_match : public pair { public: typedef typename iterator_traits::value_type value_type; typedef typename iterator_traits::difference_type difference_type; typedef BidirectionalIterator iterator; typedef basic_string string_type; bool matched; difference_type length() const; operator string_type() const; string_type str() const; int compare(const sub_match& s) const; int compare(const string_type& s) const; int compare(const value_type* s) const; }; typedef sub_match csub_match; typedef sub_match wcsub_match; typedef sub_match ssub_match; typedef sub_match wssub_match; template bool operator==(const sub_match& lhs, const sub_match& rhs); template bool operator!=(const sub_match& lhs, const sub_match& rhs); template bool operator<(const sub_match& lhs, const sub_match& rhs); template bool operator<=(const sub_match& lhs, const sub_match& rhs); template bool operator>=(const sub_match& lhs, const sub_match& rhs); template bool operator>(const sub_match& lhs, const sub_match& rhs); template bool operator==(const basic_string::value_type, ST, SA>& lhs, const sub_match& rhs); template bool operator!=(const basic_string::value_type, ST, SA>& lhs, const sub_match& rhs); template bool operator<(const basic_string::value_type, ST, SA>& lhs, const sub_match& rhs); template bool operator>(const basic_string::value_type, ST, SA>& lhs, const sub_match& rhs); template bool operator>=(const basic_string::value_type, ST, SA>& lhs, const sub_match& rhs); template bool operator<=(const basic_string::value_type, ST, SA>& lhs, const sub_match& rhs); template bool operator==(const sub_match& lhs, const basic_string::value_type, ST, SA>& rhs); template bool operator!=(const sub_match& lhs, const basic_string::value_type, ST, SA>& rhs); template bool operator<(const sub_match& lhs, const basic_string::value_type, ST, SA>& rhs); template bool operator>(const sub_match& lhs, const basic_string::value_type, ST, SA>& rhs); template bool operator>=(const sub_match& lhs, const basic_string::value_type, ST, SA>& rhs); template bool operator<=(const sub_match& lhs, const basic_string::value_type, ST, SA>& rhs); template bool operator==(typename iterator_traits::value_type const* lhs, const sub_match& rhs); template bool operator!=(typename iterator_traits::value_type const* lhs, const sub_match& rhs); template bool operator<(typename iterator_traits::value_type const* lhs, const sub_match& rhs); template bool operator>(typename iterator_traits::value_type const* lhs, const sub_match& rhs); template bool operator>=(typename iterator_traits::value_type const* lhs, const sub_match& rhs); template bool operator<=(typename iterator_traits::value_type const* lhs, const sub_match& rhs); template bool operator==(const sub_match& lhs, typename iterator_traits::value_type const* rhs); template bool operator!=(const sub_match& lhs, typename iterator_traits::value_type const* rhs); template bool operator<(const sub_match& lhs, typename iterator_traits::value_type const* rhs); template bool operator>(const sub_match& lhs, typename iterator_traits::value_type const* rhs); template bool operator>=(const sub_match& lhs, typename iterator_traits::value_type const* rhs); template bool operator<=(const sub_match& lhs, typename iterator_traits::value_type const* rhs); template bool operator==(typename iterator_traits::value_type const& lhs, const sub_match& rhs); template bool operator!=(typename iterator_traits::value_type const& lhs, const sub_match& rhs); template bool operator<(typename iterator_traits::value_type const& lhs, const sub_match& rhs); template bool operator>(typename iterator_traits::value_type const& lhs, const sub_match& rhs); template bool operator>=(typename iterator_traits::value_type const& lhs, const sub_match& rhs); template bool operator<=(typename iterator_traits::value_type const& lhs, const sub_match& rhs); template bool operator==(const sub_match& lhs, typename iterator_traits::value_type const& rhs); template bool operator!=(const sub_match& lhs, typename iterator_traits::value_type const& rhs); template bool operator<(const sub_match& lhs, typename iterator_traits::value_type const& rhs); template bool operator>(const sub_match& lhs, typename iterator_traits::value_type const& rhs); template bool operator>=(const sub_match& lhs, typename iterator_traits::value_type const& rhs); template bool operator<=(const sub_match& lhs, typename iterator_traits::value_type const& rhs); template basic_ostream& operator<<(basic_ostream& os, const sub_match& m); template >> class match_results { public: typedef sub_match value_type; typedef const value_type& const_reference; typedef const_reference reference; typedef /implementation-defined/ const_iterator; typedef const_iterator iterator; typedef typename iterator_traits::difference_type difference_type; typedef typename allocator_traits::size_type size_type; typedef Allocator allocator_type; typedef typename iterator_traits::value_type char_type; typedef basic_string string_type; // construct/copy/destroy: explicit match_results(const Allocator& a = Allocator()); match_results(const match_results& m); match_results(match_results&& m); match_results& operator=(const match_results& m); match_results& operator=(match_results&& m); ~match_results(); // size: size_type size() const; size_type max_size() const; bool empty() const; // element access: difference_type length(size_type sub = 0) const; difference_type position(size_type sub = 0) const; string_type str(size_type sub = 0) const; const_reference operator[](size_type n) const; const_reference prefix() const; const_reference suffix() const; const_iterator begin() const; const_iterator end() const; const_iterator cbegin() const; const_iterator cend() const; // format: template OutputIter format(OutputIter out, const char_type* fmt_first, const char_type* fmt_last, regex_constants::match_flag_type flags = regex_constants::format_default) const; template OutputIter format(OutputIter out, const basic_string& fmt, regex_constants::match_flag_type flags = regex_constants::format_default) const; template basic_string format(const basic_string& fmt, regex_constants::match_flag_type flags = regex_constants::format_default) const; string_type format(const char_type* fmt, regex_constants::match_flag_type flags = regex_constants::format_default) const; // allocator: allocator_type get_allocator() const; // swap: void swap(match_results& that); }; typedef match_results cmatch; typedef match_results wcmatch; typedef match_results smatch; typedef match_results wsmatch; template bool operator==(const match_results& m1, const match_results& m2); template bool operator!=(const match_results& m1, const match_results& m2); template void swap(match_results& m1, match_results& m2); template bool regex_match(BidirectionalIterator first, BidirectionalIterator last, match_results& m, const basic_regex& e, regex_constants::match_flag_type flags = regex_constants::match_default); template bool regex_match(BidirectionalIterator first, BidirectionalIterator last, const basic_regex& e, regex_constants::match_flag_type flags = regex_constants::match_default); template bool regex_match(const charT* str, match_results& m, const basic_regex& e, regex_constants::match_flag_type flags = regex_constants::match_default); template bool regex_match(const basic_string& s, match_results::const_iterator, Allocator>& m, const basic_regex& e, regex_constants::match_flag_type flags = regex_constants::match_default); template bool regex_match(const charT* str, const basic_regex& e, regex_constants::match_flag_type flags = regex_constants::match_default); template bool regex_match(const basic_string& s, const basic_regex& e, regex_constants::match_flag_type flags = regex_constants::match_default); template bool regex_search(BidirectionalIterator first, BidirectionalIterator last, match_results& m, const basic_regex& e, regex_constants::match_flag_type flags = regex_constants::match_default); template bool regex_search(BidirectionalIterator first, BidirectionalIterator last, const basic_regex& e, regex_constants::match_flag_type flags = regex_constants::match_default); template bool regex_search(const charT* str, match_results& m, const basic_regex& e, regex_constants::match_flag_type flags = regex_constants::match_default); template bool regex_search(const charT* str, const basic_regex& e, regex_constants::match_flag_type flags = regex_constants::match_default); template bool regex_search(const basic_string& s, const basic_regex& e, regex_constants::match_flag_type flags = regex_constants::match_default); template bool regex_search(const basic_string& s, match_results::const_iterator, Allocator>& m, const basic_regex& e, regex_constants::match_flag_type flags = regex_constants::match_default); template OutputIterator regex_replace(OutputIterator out, BidirectionalIterator first, BidirectionalIterator last, const basic_regex& e, const basic_string& fmt, regex_constants::match_flag_type flags = regex_constants::match_default); template OutputIterator regex_replace(OutputIterator out, BidirectionalIterator first, BidirectionalIterator last, const basic_regex& e, const charT* fmt, regex_constants::match_flag_type flags = regex_constants::match_default); template > basic_string regex_replace(const basic_string& s, const basic_regex& e, const basic_string& fmt, regex_constants::match_flag_type flags = regex_constants::match_default); template basic_string regex_replace(const basic_string& s, const basic_regex& e, const charT* fmt, regex_constants::match_flag_type flags = regex_constants::match_default); template basic_string regex_replace(const charT* s, const basic_regex& e, const basic_string& fmt, regex_constants::match_flag_type flags = regex_constants::match_default); template basic_string regex_replace(const charT* s, const basic_regex& e, const charT* fmt, regex_constants::match_flag_type flags = regex_constants::match_default); template ::value_type, class traits = regex_traits> class regex_iterator { public: typedef basic_regex regex_type; typedef match_results value_type; typedef ptrdiff_t difference_type; typedef const value_type* pointer; typedef const value_type& reference; typedef forward_iterator_tag iterator_category; regex_iterator(); regex_iterator(BidirectionalIterator a, BidirectionalIterator b, const regex_type& re, regex_constants::match_flag_type m = regex_constants::match_default); regex_iterator(const regex_iterator&); regex_iterator& operator=(const regex_iterator&); bool operator==(const regex_iterator&) const; bool operator!=(const regex_iterator&) const; const value_type& operator*() const; const value_type* operator->() const; regex_iterator& operator++(); regex_iterator operator++(int); }; typedef regex_iterator cregex_iterator; typedef regex_iterator wcregex_iterator; typedef regex_iterator sregex_iterator; typedef regex_iterator wsregex_iterator; template ::value_type, class traits = regex_traits> class regex_token_iterator { public: typedef basic_regex regex_type; typedef sub_match value_type; typedef ptrdiff_t difference_type; typedef const value_type* pointer; typedef const value_type& reference; typedef forward_iterator_tag iterator_category; regex_token_iterator(); regex_token_iterator(BidirectionalIterator a, BidirectionalIterator b, const regex_type& re, int submatch = 0, regex_constants::match_flag_type m = regex_constants::match_default); regex_token_iterator(BidirectionalIterator a, BidirectionalIterator b, const regex_type& re, const vector& submatches, regex_constants::match_flag_type m = regex_constants::match_default); regex_token_iterator(BidirectionalIterator a, BidirectionalIterator b, const regex_type& re, initializer_list submatches, regex_constants::match_flag_type m = regex_constants::match_default); template regex_token_iterator(BidirectionalIterator a, BidirectionalIterator b, const regex_type& re, const int (&submatches)[N], regex_constants::match_flag_type m = regex_constants::match_default); regex_token_iterator(const regex_token_iterator&); regex_token_iterator& operator=(const regex_token_iterator&); bool operator==(const regex_token_iterator&) const; bool operator!=(const regex_token_iterator&) const; const value_type& operator*() const; const value_type* operator->() const; regex_token_iterator& operator++(); regex_token_iterator operator++(int); }; typedef regex_token_iterator cregex_token_iterator; typedef regex_token_iterator wcregex_token_iterator; typedef regex_token_iterator sregex_token_iterator; typedef regex_token_iterator wsregex_token_iterator; } // std */ // temporary! #include #include #include <__config> #include #include <__locale> #include #include #include #include #include #include #include #pragma GCC system_header _LIBCPP_BEGIN_NAMESPACE_STD namespace regex_constants { // syntax_option_type enum syntax_option_type { icase = 1 << 0, nosubs = 1 << 1, optimize = 1 << 2, collate = 1 << 3, ECMAScript = 1 << 4, basic = 1 << 5, extended = 1 << 6, awk = 1 << 7, grep = 1 << 8, egrep = 1 << 9 }; inline /*constexpr*/ syntax_option_type operator~(syntax_option_type __x) { return syntax_option_type(~int(__x)); } inline /*constexpr*/ syntax_option_type operator&(syntax_option_type __x, syntax_option_type __y) { return syntax_option_type(int(__x) & int(__y)); } inline /*constexpr*/ syntax_option_type operator|(syntax_option_type __x, syntax_option_type __y) { return syntax_option_type(int(__x) | int(__y)); } inline /*constexpr*/ syntax_option_type operator^(syntax_option_type __x, syntax_option_type __y) { return syntax_option_type(int(__x) ^ int(__y)); } inline /*constexpr*/ syntax_option_type& operator&=(syntax_option_type& __x, syntax_option_type __y) { __x = __x & __y; return __x; } inline /*constexpr*/ syntax_option_type& operator|=(syntax_option_type& __x, syntax_option_type __y) { __x = __x | __y; return __x; } inline /*constexpr*/ syntax_option_type& operator^=(syntax_option_type& __x, syntax_option_type __y) { __x = __x ^ __y; return __x; } // match_flag_type enum match_flag_type { match_default = 0, match_not_bol = 1 << 0, match_not_eol = 1 << 1, match_not_bow = 1 << 2, match_not_eow = 1 << 3, match_any = 1 << 4, match_not_null = 1 << 5, match_continuous = 1 << 6, match_prev_avail = 1 << 7, format_default = 0, format_sed = 1 << 8, format_no_copy = 1 << 9, format_first_only = 1 << 10 }; inline /*constexpr*/ match_flag_type operator~(match_flag_type __x) { return match_flag_type(~int(__x)); } inline /*constexpr*/ match_flag_type operator&(match_flag_type __x, match_flag_type __y) { return match_flag_type(int(__x) & int(__y)); } inline /*constexpr*/ match_flag_type operator|(match_flag_type __x, match_flag_type __y) { return match_flag_type(int(__x) | int(__y)); } inline /*constexpr*/ match_flag_type operator^(match_flag_type __x, match_flag_type __y) { return match_flag_type(int(__x) ^ int(__y)); } inline /*constexpr*/ match_flag_type& operator&=(match_flag_type& __x, match_flag_type __y) { __x = __x & __y; return __x; } inline /*constexpr*/ match_flag_type& operator|=(match_flag_type& __x, match_flag_type __y) { __x = __x | __y; return __x; } inline /*constexpr*/ match_flag_type& operator^=(match_flag_type& __x, match_flag_type __y) { __x = __x ^ __y; return __x; } enum error_type { error_collate = 1, error_ctype, error_escape, error_backref, error_brack, error_paren, error_brace, error_badbrace, error_range, error_space, error_badrepeat, error_complexity, error_stack, error_temp }; } // regex_constants class _LIBCPP_EXCEPTION_ABI regex_error : public runtime_error { regex_constants::error_type __code_; public: explicit regex_error(regex_constants::error_type __ecode); virtual ~regex_error() throw(); regex_constants::error_type code() const {return __code_;} }; template struct regex_traits { public: typedef _CharT char_type; typedef basic_string string_type; typedef locale locale_type; typedef ctype_base::mask char_class_type; static const char_class_type __regex_word = 0x80; private: locale __loc_; const ctype* __ct_; const collate* __col_; public: regex_traits(); static size_t length(const char_type* __p) {return char_traits::length(__p);} char_type translate(char_type __c) const {return __c;} char_type translate_nocase(char_type __c) const; template string_type transform(_ForwardIterator __f, _ForwardIterator __l) const; template string_type transform_primary( _ForwardIterator __f, _ForwardIterator __l) const {return __transform_primary(__f, __l, char_type());} template string_type lookup_collatename(_ForwardIterator __f, _ForwardIterator __l) const {return __lookup_collatename(__f, __l, char_type());} template char_class_type lookup_classname(_ForwardIterator __f, _ForwardIterator __l, bool __icase = false) const {return __lookup_classname(__f, __l, __icase, char_type());} bool isctype(char_type __c, char_class_type __m) const; int value(char_type __ch, int __radix) const {return __value(__ch, __radix);} locale_type imbue(locale_type __l); locale_type getloc()const {return __loc_;} private: void __init(); template string_type __transform_primary(_ForwardIterator __f, _ForwardIterator __l, char) const; template string_type __transform_primary(_ForwardIterator __f, _ForwardIterator __l, wchar_t) const; template string_type __lookup_collatename(_ForwardIterator __f, _ForwardIterator __l, char) const; template string_type __lookup_collatename(_ForwardIterator __f, _ForwardIterator __l, wchar_t) const; template char_class_type __lookup_classname(_ForwardIterator __f, _ForwardIterator __l, bool __icase, char) const; template char_class_type __lookup_classname(_ForwardIterator __f, _ForwardIterator __l, bool __icase, wchar_t) const; static int __value(unsigned char __ch, int __radix); int __value(char __ch, int __radix) const {return __value(static_cast(__ch), __radix);} int __value(wchar_t __ch, int __radix) const; }; template regex_traits<_CharT>::regex_traits() { __init(); } template typename regex_traits<_CharT>::char_type regex_traits<_CharT>::translate_nocase(char_type __c) const { return __ct_->tolower(__c); } template template typename regex_traits<_CharT>::string_type regex_traits<_CharT>::transform(_ForwardIterator __f, _ForwardIterator __l) const { string_type __s(__f, __l); return __col_->transform(__s.data(), __s.data() + __s.size()); } template void regex_traits<_CharT>::__init() { __ct_ = &use_facet >(__loc_); __col_ = &use_facet >(__loc_); } template typename regex_traits<_CharT>::locale_type regex_traits<_CharT>::imbue(locale_type __l) { locale __r = __loc_; __loc_ = __l; __init(); return __r; } // transform_primary is very FreeBSD-specific template template typename regex_traits<_CharT>::string_type regex_traits<_CharT>::__transform_primary(_ForwardIterator __f, _ForwardIterator __l, char) const { const string_type __s(__f, __l); string_type __d = __col_->transform(__s.data(), __s.data() + __s.size()); switch (__d.size()) { case 1: break; case 12: __d[11] = __d[3]; break; default: __d.clear(); break; } return __d; } template template typename regex_traits<_CharT>::string_type regex_traits<_CharT>::__transform_primary(_ForwardIterator __f, _ForwardIterator __l, wchar_t) const { const string_type __s(__f, __l); string_type __d = __col_->transform(__s.data(), __s.data() + __s.size()); switch (__d.size()) { case 1: break; case 3: __d[2] = __d[0]; break; default: __d.clear(); break; } return __d; } // lookup_collatename is very FreeBSD-specific string __get_collation_name(const char* __s); template template typename regex_traits<_CharT>::string_type regex_traits<_CharT>::__lookup_collatename(_ForwardIterator __f, _ForwardIterator __l, char) const { string_type __s(__f, __l); string_type __r; if (!__s.empty()) { __r = __get_collation_name(__s.c_str()); if (__r.empty() && __s.size() <= 2) { __r = __col_->transform(__s.data(), __s.data() + __s.size()); if (__r.size() == 1 || __r.size() == 12) __r = __s; else __r.clear(); } } return __r; } template template typename regex_traits<_CharT>::string_type regex_traits<_CharT>::__lookup_collatename(_ForwardIterator __f, _ForwardIterator __l, wchar_t) const { string_type __s(__f, __l); string __n; __n.reserve(__s.size()); for (typename string_type::const_iterator __i = __s.begin(), __e = __s.end(); __i != __e; ++__i) { if (static_cast(*__i) >= 127) return string_type(); __n.push_back(char(*__i)); } string_type __r; if (!__s.empty()) { __n = __get_collation_name(__n.c_str()); if (!__n.empty()) __r.assign(__n.begin(), __n.end()); else if (__s.size() <= 2) { __r = __col_->transform(__s.data(), __s.data() + __s.size()); if (__r.size() == 1 || __r.size() == 3) __r = __s; else __r.clear(); } } return __r; } // lookup_classname ctype_base::mask __get_classname(const char* __s, bool __icase); template template typename regex_traits<_CharT>::char_class_type regex_traits<_CharT>::__lookup_classname(_ForwardIterator __f, _ForwardIterator __l, bool __icase, char) const { string_type __s(__f, __l); __ct_->tolower(&__s[0], &__s[0] + __s.size()); return __get_classname(__s.c_str(), __icase); } template template typename regex_traits<_CharT>::char_class_type regex_traits<_CharT>::__lookup_classname(_ForwardIterator __f, _ForwardIterator __l, bool __icase, wchar_t) const { string_type __s(__f, __l); __ct_->tolower(&__s[0], &__s[0] + __s.size()); string __n; __n.reserve(__s.size()); for (typename string_type::const_iterator __i = __s.begin(), __e = __s.end(); __i != __e; ++__i) { if (static_cast(*__i) >= 127) return char_class_type(); __n.push_back(char(*__i)); } return __get_classname(__n.c_str(), __icase); } template bool regex_traits<_CharT>::isctype(char_type __c, char_class_type __m) const { if (__ct_->is(__m, __c)) return true; return (__c == '_' && (__m & __regex_word)); } template int regex_traits<_CharT>::__value(unsigned char __ch, int __radix) { if ((__ch & 0xF8u) == 0x30) // '0' <= __ch && __ch <= '7' return __ch - '0'; if (__radix != 8) { if ((__ch & 0xFEu) == 0x38) // '8' <= __ch && __ch <= '9' return __ch - '0'; if (__radix == 16) { __ch |= 0x20; // tolower if ('a' <= __ch && __ch <= 'f') return __ch - ('a' - 10); } } return -1; } template inline int regex_traits<_CharT>::__value(wchar_t __ch, int __radix) const { return __value(static_cast(__ct_->narrow(__ch, char_type())), __radix); } template class __node; template class sub_match; template struct __state { enum { __end_state = -1000, __consume_input, // -999 __begin_marked_expr, // -998 __end_marked_expr, // -997 __pop_state, // -996 __accept_and_consume, // -995 __accept_but_not_consume, // -994 __reject, // -993 __split, __repeat }; int __do_; const _CharT* __first_; const _CharT* __current_; const _CharT* __last_; vector > __sub_matches_; vector > __loop_data_; const __node<_CharT>* __node_; regex_constants::match_flag_type __flags_; __state() : __do_(0), __first_(nullptr), __current_(nullptr), __last_(nullptr), __node_(nullptr), __flags_() {} }; template ostream& operator<<(ostream& os, const __state<_CharT>& c) { os << c.__do_; if (c.__node_) os << ", " << c.__node_->speak(); else os << ", null"; return os; } // __node template class __node { __node(const __node&); __node& operator=(const __node&); public: typedef _STD::__state<_CharT> __state; __node() {} virtual ~__node() {} virtual void __exec(__state&) const {}; virtual void __exec_split(bool, __state&) const {}; virtual string speak() const {return "__node";} }; // __end_state template class __end_state : public __node<_CharT> { public: typedef _STD::__state<_CharT> __state; __end_state() {} virtual void __exec(__state&) const; virtual string speak() const {return "end state";} }; template void __end_state<_CharT>::__exec(__state& __s) const { __s.__do_ = __state::__end_state; } // __has_one_state template class __has_one_state : public __node<_CharT> { __node<_CharT>* __first_; public: explicit __has_one_state(__node<_CharT>* __s) : __first_(__s) {} __node<_CharT>* first() const {return __first_;} __node<_CharT>*& first() {return __first_;} }; // __owns_one_state template class __owns_one_state : public __has_one_state<_CharT> { typedef __has_one_state<_CharT> base; public: explicit __owns_one_state(__node<_CharT>* __s) : base(__s) {} virtual ~__owns_one_state(); }; template __owns_one_state<_CharT>::~__owns_one_state() { delete this->first(); } // __empty_state template class __empty_state : public __owns_one_state<_CharT> { typedef __owns_one_state<_CharT> base; public: typedef _STD::__state<_CharT> __state; explicit __empty_state(__node<_CharT>* __s) : base(__s) {} virtual void __exec(__state&) const; virtual string speak() const {return "empty state";} }; template void __empty_state<_CharT>::__exec(__state& __s) const { __s.__do_ = __state::__accept_but_not_consume; __s.__node_ = this->first(); } // __empty_non_own_state template class __empty_non_own_state : public __has_one_state<_CharT> { typedef __has_one_state<_CharT> base; public: typedef _STD::__state<_CharT> __state; explicit __empty_non_own_state(__node<_CharT>* __s) : base(__s) {} virtual void __exec(__state&) const; virtual string speak() const {return "empty non-owning state";} }; template void __empty_non_own_state<_CharT>::__exec(__state& __s) const { __s.__do_ = __state::__accept_but_not_consume; __s.__node_ = this->first(); } // __repeat_one_loop template class __repeat_one_loop : public __has_one_state<_CharT> { typedef __has_one_state<_CharT> base; public: typedef _STD::__state<_CharT> __state; explicit __repeat_one_loop(__node<_CharT>* __s) : base(__s) {} virtual void __exec(__state&) const; virtual string speak() const {return "repeat loop";} }; template void __repeat_one_loop<_CharT>::__exec(__state& __s) const { __s.__do_ = __state::__repeat; __s.__node_ = this->first(); } // __owns_two_states template class __owns_two_states : public __owns_one_state<_CharT> { typedef __owns_one_state<_CharT> base; base* __second_; public: explicit __owns_two_states(__node<_CharT>* __s1, base* __s2) : base(__s1), __second_(__s2) {} virtual ~__owns_two_states(); base* second() const {return __second_;} base*& second() {return __second_;} }; template __owns_two_states<_CharT>::~__owns_two_states() { delete __second_; } // __loop template class __loop : public __owns_two_states<_CharT> { typedef __owns_two_states<_CharT> base; size_t __min_; size_t __max_; unsigned __loop_id_; unsigned __mexp_begin_; unsigned __mexp_end_; bool __greedy_; public: typedef _STD::__state<_CharT> __state; explicit __loop(unsigned __loop_id, __node<_CharT>* __s1, __owns_one_state<_CharT>* __s2, unsigned __mexp_begin, unsigned __mexp_end, bool __greedy = true, size_t __min = 0, size_t __max = numeric_limits::max()) : base(__s1, __s2), __min_(__min), __max_(__max), __loop_id_(__loop_id), __mexp_begin_(__mexp_begin), __mexp_end_(__mexp_end), __greedy_(__greedy) {} virtual void __exec(__state& __s) const; virtual void __exec_split(bool __second, __state& __s) const; virtual string speak() const { ostringstream os; os << "loop "<< __loop_id_ << " {" << __min_ << ',' << __max_ << "}"; if (!__greedy_) os << " not"; os << " greedy"; return os.str(); } private: void __init_repeat(__state& __s) const { __s.__loop_data_[__loop_id_].second = __s.__current_; for (size_t __i = __mexp_begin_-1; __i != __mexp_end_-1; ++__i) { __s.__sub_matches_[__i].first = __s.__last_; __s.__sub_matches_[__i].second = __s.__last_; __s.__sub_matches_[__i].matched = false; } } }; template void __loop<_CharT>::__exec(__state& __s) const { if (__s.__do_ == __state::__repeat) { bool __do_repeat = ++__s.__loop_data_[__loop_id_].first < __max_; bool __do_alt = __s.__loop_data_[__loop_id_].first >= __min_; if (__do_repeat && __do_alt && __s.__loop_data_[__loop_id_].second == __s.__current_) __do_repeat = false; if (__do_repeat && __do_alt) __s.__do_ = __state::__split; else if (__do_repeat) { __s.__do_ = __state::__accept_but_not_consume; __s.__node_ = this->first(); __init_repeat(__s); } else { __s.__do_ = __state::__accept_but_not_consume; __s.__node_ = this->second(); } } else { if (__max_ > 0) __s.__do_ = __state::__split; else { __s.__do_ = __state::__accept_but_not_consume; __s.__node_ = this->second(); } } } template void __loop<_CharT>::__exec_split(bool __second, __state& __s) const { __s.__do_ = __state::__accept_but_not_consume; if (__greedy_ != __second) { __s.__node_ = this->first(); __init_repeat(__s); } else __s.__node_ = this->second(); } // __alternate template class __alternate : public __owns_two_states<_CharT> { typedef __owns_two_states<_CharT> base; public: typedef _STD::__state<_CharT> __state; explicit __alternate(__owns_one_state<_CharT>* __s1, __owns_one_state<_CharT>* __s2) : base(__s1, __s2) {} virtual void __exec(__state& __s) const; virtual void __exec_split(bool __second, __state& __s) const; virtual string speak() const { ostringstream os; os << "__alternate"; return os.str(); } }; template void __alternate<_CharT>::__exec(__state& __s) const { __s.__do_ = __state::__split; } template void __alternate<_CharT>::__exec_split(bool __second, __state& __s) const { __s.__do_ = __state::__accept_but_not_consume; if (__second) __s.__node_ = this->second(); else __s.__node_ = this->first(); } // __begin_marked_subexpression template class __begin_marked_subexpression : public __owns_one_state<_CharT> { typedef __owns_one_state<_CharT> base; unsigned __mexp_; public: typedef _STD::__state<_CharT> __state; explicit __begin_marked_subexpression(unsigned __mexp, __node<_CharT>* __s) : base(__s), __mexp_(__mexp) {} virtual void __exec(__state&) const; virtual string speak() const { ostringstream os; os << "begin marked expr " << __mexp_; return os.str(); } }; template void __begin_marked_subexpression<_CharT>::__exec(__state& __s) const { __s.__do_ = __state::__accept_but_not_consume; __s.__sub_matches_[__mexp_-1].first = __s.__current_; __s.__node_ = this->first(); } // __end_marked_subexpression template class __end_marked_subexpression : public __owns_one_state<_CharT> { typedef __owns_one_state<_CharT> base; unsigned __mexp_; public: typedef _STD::__state<_CharT> __state; explicit __end_marked_subexpression(unsigned __mexp, __node<_CharT>* __s) : base(__s), __mexp_(__mexp) {} virtual void __exec(__state&) const; virtual string speak() const { ostringstream os; os << "end marked expr " << __mexp_; return os.str(); } }; template void __end_marked_subexpression<_CharT>::__exec(__state& __s) const { __s.__do_ = __state::__accept_but_not_consume; __s.__sub_matches_[__mexp_-1].second = __s.__current_; __s.__sub_matches_[__mexp_-1].matched = true; __s.__node_ = this->first(); } // __back_ref template class __back_ref : public __owns_one_state<_CharT> { typedef __owns_one_state<_CharT> base; unsigned __mexp_; public: typedef _STD::__state<_CharT> __state; explicit __back_ref(unsigned __mexp, __node<_CharT>* __s) : base(__s), __mexp_(__mexp) {} virtual void __exec(__state&) const; virtual string speak() const { ostringstream os; os << "__back_ref " << __mexp_; return os.str(); } }; template void __back_ref<_CharT>::__exec(__state& __s) const { sub_match& __sm = __s.__sub_matches_[__mexp_-1]; if (__sm.matched) { ptrdiff_t __len = __sm.second - __sm.first; if (__s.__last_ - __s.__current_ >= __len && _STD::equal(__sm.first, __sm.second, __s.__current_)) { __s.__do_ = __state::__accept_but_not_consume; __s.__current_ += __len; __s.__node_ = this->first(); } else { __s.__do_ = __state::__reject; __s.__node_ = nullptr; } } else { __s.__do_ = __state::__reject; __s.__node_ = nullptr; } } // __back_ref_icase template class __back_ref_icase : public __owns_one_state<_CharT> { typedef __owns_one_state<_CharT> base; _Traits __traits_; unsigned __mexp_; public: typedef _STD::__state<_CharT> __state; explicit __back_ref_icase(const _Traits& __traits, unsigned __mexp, __node<_CharT>* __s) : base(__s), __traits_(__traits), __mexp_(__mexp) {} virtual void __exec(__state&) const; virtual string speak() const { ostringstream os; os << "__back_ref_icase " << __mexp_; return os.str(); } }; template void __back_ref_icase<_CharT, _Traits>::__exec(__state& __s) const { sub_match& __sm = __s.__sub_matches_[__mexp_-1]; if (__sm.matched) { ptrdiff_t __len = __sm.second - __sm.first; if (__s.__last_ - __s.__current_ >= __len) { for (ptrdiff_t __i = 0; __i < __len; ++__i) { if (__traits_.translate_nocase(__sm.first[__i]) != __traits_.translate_nocase(__s.__current_[__i])) goto __not_equal; } __s.__do_ = __state::__accept_but_not_consume; __s.__current_ += __len; __s.__node_ = this->first(); } else { __s.__do_ = __state::__reject; __s.__node_ = nullptr; } } else { __not_equal: __s.__do_ = __state::__reject; __s.__node_ = nullptr; } } // __back_ref_collate template class __back_ref_collate : public __owns_one_state<_CharT> { typedef __owns_one_state<_CharT> base; _Traits __traits_; unsigned __mexp_; public: typedef _STD::__state<_CharT> __state; explicit __back_ref_collate(const _Traits& __traits, unsigned __mexp, __node<_CharT>* __s) : base(__s), __traits_(__traits), __mexp_(__mexp) {} virtual void __exec(__state&) const; virtual string speak() const { ostringstream os; os << "__back_ref_collate " << __mexp_; return os.str(); } }; template void __back_ref_collate<_CharT, _Traits>::__exec(__state& __s) const { sub_match& __sm = __s.__sub_matches_[__mexp_-1]; if (__sm.matched) { ptrdiff_t __len = __sm.second - __sm.first; if (__s.__last_ - __s.__current_ >= __len) { for (ptrdiff_t __i = 0; __i < __len; ++__i) { if (__traits_.translate(__sm.first[__i]) != __traits_.translate(__s.__current_[__i])) goto __not_equal; } __s.__do_ = __state::__accept_but_not_consume; __s.__current_ += __len; __s.__node_ = this->first(); } else { __s.__do_ = __state::__reject; __s.__node_ = nullptr; } } else { __not_equal: __s.__do_ = __state::__reject; __s.__node_ = nullptr; } } // __r_anchor template class __r_anchor : public __owns_one_state<_CharT> { typedef __owns_one_state<_CharT> base; public: typedef _STD::__state<_CharT> __state; __r_anchor(__node<_CharT>* __s) : base(__s) {} virtual void __exec(__state&) const; virtual string speak() const { ostringstream os; os << "right anchor"; return os.str(); } }; template void __r_anchor<_CharT>::__exec(__state& __s) const { if (__s.__current_ == __s.__last_) { __s.__do_ = __state::__accept_but_not_consume; __s.__node_ = this->first(); } else { __s.__do_ = __state::__reject; __s.__node_ = nullptr; } } // __match_any template class __match_any : public __owns_one_state<_CharT> { typedef __owns_one_state<_CharT> base; public: typedef _STD::__state<_CharT> __state; __match_any(__node<_CharT>* __s) : base(__s) {} virtual void __exec(__state&) const; virtual string speak() const { ostringstream os; os << "match any"; return os.str(); } }; template void __match_any<_CharT>::__exec(__state& __s) const { if (__s.__current_ != __s.__last_ && *__s.__current_ != 0) { __s.__do_ = __state::__accept_and_consume; ++__s.__current_; __s.__node_ = this->first(); } else { __s.__do_ = __state::__reject; __s.__node_ = nullptr; } } // __match_char template class __match_char : public __owns_one_state<_CharT> { typedef __owns_one_state<_CharT> base; _CharT __c_; __match_char(const __match_char&); __match_char& operator=(const __match_char&); public: typedef _STD::__state<_CharT> __state; __match_char(_CharT __c, __node<_CharT>* __s) : base(__s), __c_(__c) {} virtual void __exec(__state&) const; virtual string speak() const { ostringstream os; os << "match char " << __c_; return os.str(); } }; template void __match_char<_CharT>::__exec(__state& __s) const { if (__s.__current_ != __s.__last_ && *__s.__current_ == __c_) { __s.__do_ = __state::__accept_and_consume; ++__s.__current_; __s.__node_ = this->first(); } else { __s.__do_ = __state::__reject; __s.__node_ = nullptr; } } // __match_char_icase template class __match_char_icase : public __owns_one_state<_CharT> { typedef __owns_one_state<_CharT> base; _Traits __traits_; _CharT __c_; __match_char_icase(const __match_char_icase&); __match_char_icase& operator=(const __match_char_icase&); public: typedef _STD::__state<_CharT> __state; __match_char_icase(const _Traits& __traits, _CharT __c, __node<_CharT>* __s) : base(__s), __traits_(__traits), __c_(__traits.translate_nocase(__c)) {} virtual void __exec(__state&) const; virtual string speak() const { ostringstream os; os << "match char icase " << __c_; return os.str(); } }; template void __match_char_icase<_CharT, _Traits>::__exec(__state& __s) const { if (__s.__current_ != __s.__last_ && __traits_.translate_nocase(*__s.__current_) == __c_) { __s.__do_ = __state::__accept_and_consume; ++__s.__current_; __s.__node_ = this->first(); } else { __s.__do_ = __state::__reject; __s.__node_ = nullptr; } } // __match_char_collate template class __match_char_collate : public __owns_one_state<_CharT> { typedef __owns_one_state<_CharT> base; _Traits __traits_; _CharT __c_; __match_char_collate(const __match_char_collate&); __match_char_collate& operator=(const __match_char_collate&); public: typedef _STD::__state<_CharT> __state; __match_char_collate(const _Traits& __traits, _CharT __c, __node<_CharT>* __s) : base(__s), __traits_(__traits), __c_(__traits.translate(__c)) {} virtual void __exec(__state&) const; virtual string speak() const { ostringstream os; os << "match char icase " << __c_; return os.str(); } }; template void __match_char_collate<_CharT, _Traits>::__exec(__state& __s) const { if (__s.__current_ != __s.__last_ && __traits_.translate(*__s.__current_) == __c_) { __s.__do_ = __state::__accept_and_consume; ++__s.__current_; __s.__node_ = this->first(); } else { __s.__do_ = __state::__reject; __s.__node_ = nullptr; } } // __bracket_expression template class __bracket_expression : public __owns_one_state<_CharT> { typedef __owns_one_state<_CharT> base; typedef typename _Traits::string_type string_type; _Traits __traits_; vector<_CharT> __chars_; vector > __ranges_; vector > __digraphs_; vector __equivalences_; ctype_base::mask __mask_; bool __negate_; bool __icase_; bool __collate_; bool __might_have_digraph_; __bracket_expression(const __bracket_expression&); __bracket_expression& operator=(const __bracket_expression&); public: typedef _STD::__state<_CharT> __state; __bracket_expression(const _Traits& __traits, __node<_CharT>* __s, bool __negate, bool __icase, bool __collate) : base(__s), __traits_(__traits), __mask_(), __negate_(__negate), __icase_(__icase), __collate_(__collate), __might_have_digraph_(__traits_.getloc().name() != "C") {} virtual void __exec(__state&) const; void __add_char(_CharT __c) { if (__icase_) __chars_.push_back(__traits_.translate_nocase(__c)); else if (__collate_) __chars_.push_back(__traits_.translate(__c)); else __chars_.push_back(__c); } void __add_range(string_type __b, string_type __e) { if (__collate_) { if (__icase_) { for (size_t __i = 0; __i < __b.size(); ++__i) __b[__i] = __traits_.translate_nocase(__b[__i]); for (size_t __i = 0; __i < __e.size(); ++__i) __e[__i] = __traits_.translate_nocase(__e[__i]); } else { for (size_t __i = 0; __i < __b.size(); ++__i) __b[__i] = __traits_.translate(__b[__i]); for (size_t __i = 0; __i < __e.size(); ++__i) __e[__i] = __traits_.translate(__e[__i]); } __ranges_.push_back(make_pair( __traits_.transform(__b.begin(), __b.end()), __traits_.transform(__e.begin(), __e.end()))); } else { if (__b.size() != 1 || __e.size() != 1) throw regex_error(regex_constants::error_collate); if (__icase_) { __b[0] = __traits_.translate_nocase(__b[0]); __e[0] = __traits_.translate_nocase(__e[0]); } __ranges_.push_back(make_pair(_STD::move(__b), _STD::move(__e))); } } void __add_digraph(_CharT __c1, _CharT __c2) { if (__icase_) __digraphs_.push_back(make_pair(__traits_.translate_nocase(__c1), __traits_.translate_nocase(__c2))); else if (__collate_) __digraphs_.push_back(make_pair(__traits_.translate(__c1), __traits_.translate(__c2))); else __digraphs_.push_back(make_pair(__c1, __c2)); } void __add_equivalence(const string_type& __s) {__equivalences_.push_back(__s);} void __add_class(ctype_base::mask __mask) {__mask_ |= __mask;} virtual string speak() const { ostringstream os; os << "__bracket_expression "; return os.str(); } }; template void __bracket_expression<_CharT, _Traits>::__exec(__state& __s) const { bool __found = false; unsigned __consumed = 0; if (__s.__current_ != __s.__last_) { ++__consumed; if (__might_have_digraph_) { const _CharT* __next = next(__s.__current_); if (__next != __s.__last_) { pair<_CharT, _CharT> __ch2(*__s.__current_, *__next); if (__icase_) { __ch2.first = __traits_.translate_nocase(__ch2.first); __ch2.second = __traits_.translate_nocase(__ch2.second); } else if (__collate_) { __ch2.first = __traits_.translate(__ch2.first); __ch2.second = __traits_.translate(__ch2.second); } if (!__traits_.lookup_collatename(&__ch2.first, &__ch2.first+2).empty()) { // __ch2 is a digraph in this locale ++__consumed; for (size_t __i = 0; __i < __digraphs_.size(); ++__i) { if (__ch2 == __digraphs_[__i]) { __found = true; goto __exit; } } if (__collate_ && !__ranges_.empty()) { string_type __s2 = __traits_.transform(&__ch2.first, &__ch2.first + 2); for (size_t __i = 0; __i < __ranges_.size(); ++__i) { if (__ranges_[__i].first <= __s2 && __s2 <= __ranges_[__i].second) { __found = true; goto __exit; } } } if (!__equivalences_.empty()) { string_type __s2 = __traits_.transform_primary(&__ch2.first, &__ch2.first + 2); for (size_t __i = 0; __i < __equivalences_.size(); ++__i) { if (__s2 == __equivalences_[__i]) { __found = true; goto __exit; } } } if (__traits_.isctype(__ch2.first, __mask_) && __traits_.isctype(__ch2.second, __mask_)) { __found = true; goto __exit; } goto __exit; } } } // test *__s.__current_ as not a digraph _CharT __ch = *__s.__current_; if (__icase_) __ch = __traits_.translate_nocase(__ch); else if (__collate_) __ch = __traits_.translate(__ch); for (size_t __i = 0; __i < __chars_.size(); ++__i) { if (__ch == __chars_[__i]) { __found = true; goto __exit; } } if (!__ranges_.empty()) { string_type __s2 = __collate_ ? __traits_.transform(&__ch, &__ch + 1) : string_type(1, __ch); for (size_t __i = 0; __i < __ranges_.size(); ++__i) { if (__ranges_[__i].first <= __s2 && __s2 <= __ranges_[__i].second) { __found = true; goto __exit; } } } if (!__equivalences_.empty()) { string_type __s2 = __traits_.transform_primary(&__ch, &__ch + 1); for (size_t __i = 0; __i < __equivalences_.size(); ++__i) { if (__s2 == __equivalences_[__i]) { __found = true; goto __exit; } } } if (__traits_.isctype(__ch, __mask_)) __found = true; } else __found = __negate_; // force reject __exit: if (__found != __negate_) { __s.__do_ = __state::__accept_and_consume; __s.__current_ += __consumed; __s.__node_ = this->first(); } else { __s.__do_ = __state::__reject; __s.__node_ = nullptr; } } template class match_results; template > class basic_regex { public: // types: typedef _CharT value_type; typedef regex_constants::syntax_option_type flag_type; typedef typename _Traits::locale_type locale_type; private: _Traits __traits_; flag_type __flags_; unsigned __marked_count_; unsigned __loop_count_; int __open_count_; shared_ptr<__empty_state<_CharT> > __start_; __owns_one_state<_CharT>* __end_; bool __left_anchor_; typedef _STD::__state<_CharT> __state; typedef _STD::__node<_CharT> __node; public: // constants: static const/*expr*/ regex_constants::syntax_option_type icase = regex_constants::icase; static const/*expr*/ regex_constants::syntax_option_type nosubs = regex_constants::nosubs; static const/*expr*/ regex_constants::syntax_option_type optimize = regex_constants::optimize; static const/*expr*/ regex_constants::syntax_option_type collate = regex_constants::collate; static const/*expr*/ regex_constants::syntax_option_type ECMAScript = regex_constants::ECMAScript; static const/*expr*/ regex_constants::syntax_option_type basic = regex_constants::basic; static const/*expr*/ regex_constants::syntax_option_type extended = regex_constants::extended; static const/*expr*/ regex_constants::syntax_option_type awk = regex_constants::awk; static const/*expr*/ regex_constants::syntax_option_type grep = regex_constants::grep; static const/*expr*/ regex_constants::syntax_option_type egrep = regex_constants::egrep; // construct/copy/destroy: basic_regex() : __flags_(), __marked_count_(0), __loop_count_(0), __open_count_(0), __end_(0), __left_anchor_(false) {} explicit basic_regex(const value_type* __p, flag_type __f = regex_constants::ECMAScript) : __flags_(__f), __marked_count_(0), __loop_count_(0), __open_count_(0), __end_(0), __left_anchor_(false) {__parse(__p, __p + __traits_.length(__p));} basic_regex(const value_type* __p, size_t __len, flag_type __f) : __flags_(__f), __marked_count_(0), __loop_count_(0), __open_count_(0), __end_(0), __left_anchor_(false) {__parse(__p, __p + __len);} basic_regex(const basic_regex&); #ifdef _LIBCPP_MOVE basic_regex(basic_regex&&); #endif template explicit basic_regex(const basic_string& __p, flag_type __f = regex_constants::ECMAScript) : __flags_(__f), __marked_count_(0), __loop_count_(0), __open_count_(0), __end_(0), __left_anchor_(false) {__parse(__p.begin(), __p.end());} template basic_regex(_ForwardIterator __first, _ForwardIterator __last, flag_type __f = regex_constants::ECMAScript) : __flags_(__f), __marked_count_(0), __loop_count_(0), __open_count_(0), __end_(0), __left_anchor_(false) {__parse(__first, __last);} basic_regex(initializer_list __il, flag_type __f = regex_constants::ECMAScript) : __flags_(__f), __marked_count_(0), __loop_count_(0), __open_count_(0), __end_(0), __left_anchor_(false) {__parse(__il.begin(), __il.end());} ~basic_regex(); basic_regex& operator=(const basic_regex&); #ifdef _LIBCPP_MOVE basic_regex& operator=(basic_regex&&); #endif basic_regex& operator=(const value_type* __p); basic_regex& operator=(initializer_list __il); template basic_regex& operator=(const basic_string& __p); // assign: basic_regex& assign(const basic_regex& __that); #ifdef _LIBCPP_MOVE basic_regex& assign(basic_regex&& __that); #endif basic_regex& assign(const value_type* __p, flag_type __f = regex_constants::ECMAScript); basic_regex& assign(const value_type* __p, size_t __len, flag_type __f); template basic_regex& assign(const basic_string& __s, flag_type __f = regex_constants::ECMAScript); template basic_regex& assign(_InputIterator __first, _InputIterator __last, flag_type __f = regex_constants::ECMAScript); basic_regex& assign(initializer_list __il, flag_type = regex_constants::ECMAScript); // const operations: unsigned mark_count() const {return __marked_count_;} flag_type flags() const {return __flags_;} // locale: locale_type imbue(locale_type __loc) {return __traits_.imbue(__loc);} locale_type getloc() const {return __traits_.getloc();} // swap: void swap(basic_regex&); private: unsigned __loop_count() const {return __loop_count_;} template void __parse(_ForwardIterator __first, _ForwardIterator __last); template _ForwardIterator __parse_basic_reg_exp(_ForwardIterator __first, _ForwardIterator __last); template _ForwardIterator __parse_RE_expression(_ForwardIterator __first, _ForwardIterator __last); template _ForwardIterator __parse_simple_RE(_ForwardIterator __first, _ForwardIterator __last); template _ForwardIterator __parse_nondupl_RE(_ForwardIterator __first, _ForwardIterator __last); template _ForwardIterator __parse_one_char_or_coll_elem_RE(_ForwardIterator __first, _ForwardIterator __last); template _ForwardIterator __parse_Back_open_paren(_ForwardIterator __first, _ForwardIterator __last); template _ForwardIterator __parse_Back_close_paren(_ForwardIterator __first, _ForwardIterator __last); template _ForwardIterator __parse_Back_open_brace(_ForwardIterator __first, _ForwardIterator __last); template _ForwardIterator __parse_Back_close_brace(_ForwardIterator __first, _ForwardIterator __last); template _ForwardIterator __parse_BACKREF(_ForwardIterator __first, _ForwardIterator __last); template _ForwardIterator __parse_ORD_CHAR(_ForwardIterator __first, _ForwardIterator __last); template _ForwardIterator __parse_QUOTED_CHAR(_ForwardIterator __first, _ForwardIterator __last); template _ForwardIterator __parse_RE_dupl_symbol(_ForwardIterator __first, _ForwardIterator __last, __owns_one_state<_CharT>* __s, unsigned __mexp_begin, unsigned __mexp_end); template _ForwardIterator __parse_ERE_dupl_symbol(_ForwardIterator __first, _ForwardIterator __last, __owns_one_state<_CharT>* __s, unsigned __mexp_begin, unsigned __mexp_end); template _ForwardIterator __parse_bracket_expression(_ForwardIterator __first, _ForwardIterator __last); template _ForwardIterator __parse_follow_list(_ForwardIterator __first, _ForwardIterator __last, __bracket_expression<_CharT, _Traits>* __ml); template _ForwardIterator __parse_expression_term(_ForwardIterator __first, _ForwardIterator __last, __bracket_expression<_CharT, _Traits>* __ml); template _ForwardIterator __parse_equivalence_class(_ForwardIterator __first, _ForwardIterator __last, __bracket_expression<_CharT, _Traits>* __ml); template _ForwardIterator __parse_character_class(_ForwardIterator __first, _ForwardIterator __last, __bracket_expression<_CharT, _Traits>* __ml); template _ForwardIterator __parse_collating_symbol(_ForwardIterator __first, _ForwardIterator __last, basic_string<_CharT>& __col_sym); template _ForwardIterator __parse_DUP_COUNT(_ForwardIterator __first, _ForwardIterator __last, int& __c); template _ForwardIterator __parse_extended_reg_exp(_ForwardIterator __first, _ForwardIterator __last); template _ForwardIterator __parse_ERE_branch(_ForwardIterator __first, _ForwardIterator __last); template _ForwardIterator __parse_ERE_expression(_ForwardIterator __first, _ForwardIterator __last); template _ForwardIterator __parse_one_char_or_coll_elem_ERE(_ForwardIterator __first, _ForwardIterator __last); template _ForwardIterator __parse_ORD_CHAR_ERE(_ForwardIterator __first, _ForwardIterator __last); template _ForwardIterator __parse_QUOTED_CHAR_ERE(_ForwardIterator __first, _ForwardIterator __last); void __push_l_anchor() {__left_anchor_ = true;} void __push_r_anchor(); void __push_match_any(); void __push_greedy_inf_repeat(size_t __min, __owns_one_state<_CharT>* __s, unsigned __mexp_begin = 0, unsigned __mexp_end = 0) {__push_loop(__min, numeric_limits::max(), __s, __mexp_begin, __mexp_end);} void __push_loop(size_t __min, size_t __max, __owns_one_state<_CharT>* __s, size_t __mexp_begin = 0, size_t __mexp_end = 0, bool __greedy = true); __bracket_expression<_CharT, _Traits>* __start_matching_list(bool __negate); void __push_char(value_type __c); void __push_back_ref(int __i); void __push_alternation(__owns_one_state<_CharT>* __sa, __owns_one_state<_CharT>* __sb); void __push_begin_marked_subexpression(); void __push_end_marked_subexpression(unsigned); template bool __search(const _CharT* __first, const _CharT* __last, match_results& __m, regex_constants::match_flag_type __flags) const; template bool __match_at_start(const _CharT* __first, const _CharT* __last, match_results& __m, vector& __lc, regex_constants::match_flag_type __flags) const; template bool __match_at_start_ecma(_BidirectionalIterator __first, _BidirectionalIterator __last, match_results<_BidirectionalIterator, _Allocator>& __m, regex_constants::match_flag_type __flags) const; template bool __match_at_start_posix_nosubs(const _CharT* __first, const _CharT* __last, match_results& __m, vector& __lc, regex_constants::match_flag_type __flags) const; template bool __match_at_start_posix_subs(const _CharT* __first, const _CharT* __last, match_results& __m, vector& __lc, regex_constants::match_flag_type __flags) const; template friend bool regex_search(_B, _B, match_results<_B, _A>&, const basic_regex<_C, _T>&, regex_constants::match_flag_type); template friend bool regex_search(const _C*, const _C*, match_results&, const basic_regex<_C, _T>&, regex_constants::match_flag_type); template friend bool regex_search(_B, _B, const basic_regex<_C, _T>&, regex_constants::match_flag_type); template friend bool regex_search(const _C*, const _C*, const basic_regex<_C, _T>&, regex_constants::match_flag_type); template friend bool regex_search(const _C*, match_results&, const basic_regex<_C, _T>&, regex_constants::match_flag_type); template friend bool regex_search(const basic_string<_C, _ST, _SA>& __s, const basic_regex<_C, _T>& __e, regex_constants::match_flag_type __flags); template friend bool regex_search(const basic_string<_C, _ST, _SA>& __s, match_results::const_iterator, _A>&, const basic_regex<_C, _T>& __e, regex_constants::match_flag_type __flags); }; template basic_regex<_CharT, _Traits>::~basic_regex() { } template template void basic_regex<_CharT, _Traits>::__parse(_ForwardIterator __first, _ForwardIterator __last) { { unique_ptr<__node> __h(new __end_state<_CharT>); __start_.reset(new __empty_state<_CharT>(__h.get())); __h.release(); __end_ = __start_.get(); } switch (__flags_ & 0x3F0) { case ECMAScript: break; case basic: __parse_basic_reg_exp(__first, __last); break; case extended: __parse_extended_reg_exp(__first, __last); break; case awk: break; case grep: break; case egrep: break; default: throw regex_error(regex_constants::error_temp); } } template template _ForwardIterator basic_regex<_CharT, _Traits>::__parse_basic_reg_exp(_ForwardIterator __first, _ForwardIterator __last) { if (__first != __last) { if (*__first == '^') { __push_l_anchor(); ++__first; } if (__first != __last) { __first = __parse_RE_expression(__first, __last); if (__first != __last) { _ForwardIterator __temp = next(__first); if (__temp == __last && *__first == '$') { __push_r_anchor(); ++__first; } } } if (__first != __last) throw regex_error(regex_constants::error_temp); } return __first; } template template _ForwardIterator basic_regex<_CharT, _Traits>::__parse_extended_reg_exp(_ForwardIterator __first, _ForwardIterator __last) { __owns_one_state<_CharT>* __sa = __end_; _ForwardIterator __temp = __parse_ERE_branch(__first, __last); if (__temp == __first) throw regex_error(regex_constants::error_temp); __first = __temp; while (__first != __last && *__first == '|') { __owns_one_state<_CharT>* __sb = __end_; __temp = __parse_ERE_branch(++__first, __last); if (__temp == __first) throw regex_error(regex_constants::error_temp); __push_alternation(__sa, __sb); __first = __temp; } return __first; } template template _ForwardIterator basic_regex<_CharT, _Traits>::__parse_ERE_branch(_ForwardIterator __first, _ForwardIterator __last) { _ForwardIterator __temp = __parse_ERE_expression(__first, __last); if (__temp == __first) throw regex_error(regex_constants::error_temp); do { __first = __temp; __temp = __parse_ERE_expression(__first, __last); } while (__temp != __first); return __first; } template template _ForwardIterator basic_regex<_CharT, _Traits>::__parse_ERE_expression(_ForwardIterator __first, _ForwardIterator __last) { __owns_one_state<_CharT>* __e = __end_; unsigned __mexp_begin = __marked_count_; _ForwardIterator __temp = __parse_one_char_or_coll_elem_ERE(__first, __last); if (__temp == __first && __temp != __last) { switch (*__temp) { case '^': __push_l_anchor(); ++__temp; break; case '$': __push_r_anchor(); ++__temp; break; case '(': __push_begin_marked_subexpression(); unsigned __temp_count = __marked_count_; ++__open_count_; __temp = __parse_extended_reg_exp(++__temp, __last); if (__temp == __last || *__temp != ')') throw regex_error(regex_constants::error_paren); __push_end_marked_subexpression(__temp_count); --__open_count_; ++__temp; break; } } if (__temp != __first) __temp = __parse_ERE_dupl_symbol(__temp, __last, __e, __mexp_begin+1, __marked_count_+1); __first = __temp; return __first; } template template _ForwardIterator basic_regex<_CharT, _Traits>::__parse_RE_expression(_ForwardIterator __first, _ForwardIterator __last) { while (true) { _ForwardIterator __temp = __parse_simple_RE(__first, __last); if (__temp == __first) break; __first = __temp; } return __first; } template template _ForwardIterator basic_regex<_CharT, _Traits>::__parse_simple_RE(_ForwardIterator __first, _ForwardIterator __last) { if (__first != __last) { __owns_one_state<_CharT>* __e = __end_; unsigned __mexp_begin = __marked_count_; _ForwardIterator __temp = __parse_nondupl_RE(__first, __last); if (__temp != __first) __first = __parse_RE_dupl_symbol(__temp, __last, __e, __mexp_begin+1, __marked_count_+1); } return __first; } template template _ForwardIterator basic_regex<_CharT, _Traits>::__parse_nondupl_RE(_ForwardIterator __first, _ForwardIterator __last) { _ForwardIterator __temp = __first; __first = __parse_one_char_or_coll_elem_RE(__first, __last); if (__temp == __first) { __temp = __parse_Back_open_paren(__first, __last); if (__temp != __first) { __push_begin_marked_subexpression(); unsigned __temp_count = __marked_count_; __first = __parse_RE_expression(__temp, __last); __temp = __parse_Back_close_paren(__first, __last); if (__temp == __first) throw regex_error(regex_constants::error_paren); __push_end_marked_subexpression(__temp_count); __first = __temp; } else __first = __parse_BACKREF(__first, __last); } return __first; } template template _ForwardIterator basic_regex<_CharT, _Traits>::__parse_one_char_or_coll_elem_RE( _ForwardIterator __first, _ForwardIterator __last) { _ForwardIterator __temp = __parse_ORD_CHAR(__first, __last); if (__temp == __first) { __temp = __parse_QUOTED_CHAR(__first, __last); if (__temp == __first) { if (__temp != __last && *__temp == '.') { __push_match_any(); ++__temp; } else __temp = __parse_bracket_expression(__first, __last); } } __first = __temp; return __first; } template template _ForwardIterator basic_regex<_CharT, _Traits>::__parse_one_char_or_coll_elem_ERE( _ForwardIterator __first, _ForwardIterator __last) { _ForwardIterator __temp = __parse_ORD_CHAR_ERE(__first, __last); if (__temp == __first) { __temp = __parse_QUOTED_CHAR_ERE(__first, __last); if (__temp == __first) { if (__temp != __last && *__temp == '.') { __push_match_any(); ++__temp; } else __temp = __parse_bracket_expression(__first, __last); } } __first = __temp; return __first; } template template _ForwardIterator basic_regex<_CharT, _Traits>::__parse_Back_open_paren(_ForwardIterator __first, _ForwardIterator __last) { if (__first != __last) { _ForwardIterator __temp = next(__first); if (__temp != __last) { if (*__first == '\\' && *__temp == '(') __first = ++__temp; } } return __first; } template template _ForwardIterator basic_regex<_CharT, _Traits>::__parse_Back_close_paren(_ForwardIterator __first, _ForwardIterator __last) { if (__first != __last) { _ForwardIterator __temp = next(__first); if (__temp != __last) { if (*__first == '\\' && *__temp == ')') __first = ++__temp; } } return __first; } template template _ForwardIterator basic_regex<_CharT, _Traits>::__parse_Back_open_brace(_ForwardIterator __first, _ForwardIterator __last) { if (__first != __last) { _ForwardIterator __temp = next(__first); if (__temp != __last) { if (*__first == '\\' && *__temp == '{') __first = ++__temp; } } return __first; } template template _ForwardIterator basic_regex<_CharT, _Traits>::__parse_Back_close_brace(_ForwardIterator __first, _ForwardIterator __last) { if (__first != __last) { _ForwardIterator __temp = next(__first); if (__temp != __last) { if (*__first == '\\' && *__temp == '}') __first = ++__temp; } } return __first; } template template _ForwardIterator basic_regex<_CharT, _Traits>::__parse_BACKREF(_ForwardIterator __first, _ForwardIterator __last) { if (__first != __last) { _ForwardIterator __temp = next(__first); if (__temp != __last) { if (*__first == '\\' && '1' <= *__temp && *__temp <= '9') { __push_back_ref(*__temp - '0'); __first = ++__temp; } } } return __first; } template template _ForwardIterator basic_regex<_CharT, _Traits>::__parse_ORD_CHAR(_ForwardIterator __first, _ForwardIterator __last) { if (__first != __last) { _ForwardIterator __temp = next(__first); if (__temp == __last && *__first == '$') return __first; // Not called inside a bracket if (*__first == '.' || *__first == '\\' || *__first == '[') return __first; __push_char(*__first); ++__first; } return __first; } template template _ForwardIterator basic_regex<_CharT, _Traits>::__parse_ORD_CHAR_ERE(_ForwardIterator __first, _ForwardIterator __last) { if (__first != __last) { switch (*__first) { case '^': case '.': case '[': case '$': case '(': case '|': case '*': case '+': case '?': case '{': case '\\': break; case ')': if (__open_count_ == 0) { __push_char(*__first); ++__first; } break; default: __push_char(*__first); ++__first; break; } } return __first; } template template _ForwardIterator basic_regex<_CharT, _Traits>::__parse_QUOTED_CHAR(_ForwardIterator __first, _ForwardIterator __last) { if (__first != __last) { _ForwardIterator __temp = next(__first); if (__temp != __last) { if (*__first == '\\') { switch (*__temp) { case '^': case '.': case '*': case '[': case '$': case '\\': __push_char(*__temp); __first = ++__temp; break; } } } } return __first; } template template _ForwardIterator basic_regex<_CharT, _Traits>::__parse_QUOTED_CHAR_ERE(_ForwardIterator __first, _ForwardIterator __last) { if (__first != __last) { _ForwardIterator __temp = next(__first); if (__temp != __last) { if (*__first == '\\') { switch (*__temp) { case '^': case '.': case '*': case '[': case '$': case '\\': case '(': case ')': case '|': case '+': case '?': case '{': __push_char(*__temp); __first = ++__temp; break; } } } } return __first; } template template _ForwardIterator basic_regex<_CharT, _Traits>::__parse_RE_dupl_symbol(_ForwardIterator __first, _ForwardIterator __last, __owns_one_state<_CharT>* __s, unsigned __mexp_begin, unsigned __mexp_end) { if (__first != __last) { if (*__first == '*') { __push_greedy_inf_repeat(0, __s, __mexp_begin, __mexp_end); ++__first; } else { _ForwardIterator __temp = __parse_Back_open_brace(__first, __last); if (__temp != __first) { int __min = 0; __first = __temp; __temp = __parse_DUP_COUNT(__first, __last, __min); if (__temp == __first) throw regex_error(regex_constants::error_badbrace); __first = __temp; if (__first == __last) throw regex_error(regex_constants::error_brace); if (*__first != ',') { __temp = __parse_Back_close_brace(__first, __last); if (__temp == __first) throw regex_error(regex_constants::error_brace); __push_loop(__min, __min, __s, __mexp_begin, __mexp_end, true); __first = __temp; } else { ++__first; // consume ',' int __max = -1; __first = __parse_DUP_COUNT(__first, __last, __max); __temp = __parse_Back_close_brace(__first, __last); if (__temp == __first) throw regex_error(regex_constants::error_brace); if (__max == -1) __push_greedy_inf_repeat(__min, __s, __mexp_begin, __mexp_end); else { if (__max < __min) throw regex_error(regex_constants::error_badbrace); __push_loop(__min, __max, __s, __mexp_begin, __mexp_end, true); } __first = __temp; } } } } return __first; } template template _ForwardIterator basic_regex<_CharT, _Traits>::__parse_ERE_dupl_symbol(_ForwardIterator __first, _ForwardIterator __last, __owns_one_state<_CharT>* __s, unsigned __mexp_begin, unsigned __mexp_end) { if (__first != __last) { switch (*__first) { case '*': __push_greedy_inf_repeat(0, __s, __mexp_begin, __mexp_end); ++__first; break; case '+': __push_greedy_inf_repeat(1, __s, __mexp_begin, __mexp_end); ++__first; break; case '?': __push_loop(0, 1, __s, __mexp_begin, __mexp_end); ++__first; break; case '{': { int __min; _ForwardIterator __temp = __parse_DUP_COUNT(++__first, __last, __min); if (__temp == __first) throw regex_error(regex_constants::error_badbrace); __first = __temp; if (__first == __last) throw regex_error(regex_constants::error_brace); switch (*__first) { case '}': __push_loop(__min, __min, __s, __mexp_begin, __mexp_end); ++__first; break; case ',': if (++__first == __last) throw regex_error(regex_constants::error_badbrace); if (*__first == '}') { __push_greedy_inf_repeat(__min, __s, __mexp_begin, __mexp_end); ++__first; } else { int __max = -1; __temp = __parse_DUP_COUNT(__first, __last, __max); if (__temp == __first) throw regex_error(regex_constants::error_brace); __first = __temp; if (__first == __last || *__first != '}') throw regex_error(regex_constants::error_brace); ++__first; if (__max < __min) throw regex_error(regex_constants::error_badbrace); __push_loop(__min, __max, __s, __mexp_begin, __mexp_end); } break; default: throw regex_error(regex_constants::error_badbrace); } } break; } } return __first; } template template _ForwardIterator basic_regex<_CharT, _Traits>::__parse_bracket_expression(_ForwardIterator __first, _ForwardIterator __last) { if (__first != __last && *__first == '[') { if (++__first == __last) throw regex_error(regex_constants::error_brack); bool __negate = false; if (*__first == '^') { ++__first; __negate = true; } __bracket_expression<_CharT, _Traits>* __ml = __start_matching_list(__negate); // __ml owned by *this if (__first == __last) throw regex_error(regex_constants::error_brack); if (*__first == ']') { __ml->__add_char(']'); ++__first; } __first = __parse_follow_list(__first, __last, __ml); if (__first == __last) throw regex_error(regex_constants::error_brack); if (*__first == '-') { __ml->__add_char('-'); ++__first; } if (__first == __last || *__first != ']') throw regex_error(regex_constants::error_brack); ++__first; } return __first; } template template _ForwardIterator basic_regex<_CharT, _Traits>::__parse_follow_list(_ForwardIterator __first, _ForwardIterator __last, __bracket_expression<_CharT, _Traits>* __ml) { if (__first != __last) { while (true) { _ForwardIterator __temp = __parse_expression_term(__first, __last, __ml); if (__temp == __first) break; __first = __temp; } } return __first; } template template _ForwardIterator basic_regex<_CharT, _Traits>::__parse_expression_term(_ForwardIterator __first, _ForwardIterator __last, __bracket_expression<_CharT, _Traits>* __ml) { if (__first != __last && *__first != ']') { bool __parsed_one = false; _ForwardIterator __temp = next(__first); basic_string<_CharT> __start_range; if (__temp != __last && *__first == '[') { if (*__temp == '=') return __parse_equivalence_class(++__temp, __last, __ml); else if (*__temp == ':') return __parse_character_class(++__temp, __last, __ml); else if (*__temp == '.') { __first = __parse_collating_symbol(++__temp, __last, __start_range); __parsed_one = true; } } if (!__parsed_one) { __start_range = *__first; ++__first; } if (__first != __last && *__first != ']') { __temp = next(__first); if (__temp != __last && *__first == '-' && *__temp != ']') { // parse a range basic_string<_CharT> __end_range; __first = __temp; ++__temp; if (__temp != __last && *__first == '[' && *__temp == '.') __first = __parse_collating_symbol(++__temp, __last, __end_range); else { __end_range = *__first; ++__first; } __ml->__add_range(_STD::move(__start_range), _STD::move(__end_range)); } else { if (__start_range.size() == 1) __ml->__add_char(__start_range[0]); else __ml->__add_digraph(__start_range[0], __start_range[1]); } } else { if (__start_range.size() == 1) __ml->__add_char(__start_range[0]); else __ml->__add_digraph(__start_range[0], __start_range[1]); } } return __first; } template template _ForwardIterator basic_regex<_CharT, _Traits>::__parse_equivalence_class(_ForwardIterator __first, _ForwardIterator __last, __bracket_expression<_CharT, _Traits>* __ml) { // Found [= // This means =] must exist value_type _Equal_close[2] = {'=', ']'}; _ForwardIterator __temp = _STD::search(__first, __last, _Equal_close, _Equal_close+2); if (__temp == __last) throw regex_error(regex_constants::error_brack); // [__first, __temp) contains all text in [= ... =] typedef typename _Traits::string_type string_type; string_type __collate_name = __traits_.lookup_collatename(__first, __temp); if (__collate_name.empty()) throw regex_error(regex_constants::error_collate); string_type __equiv_name = __traits_.transform_primary(__collate_name.begin(), __collate_name.end()); if (!__equiv_name.empty()) __ml->__add_equivalence(__equiv_name); else { switch (__collate_name.size()) { case 1: __ml->__add_char(__collate_name[0]); break; case 2: __ml->__add_digraph(__collate_name[0], __collate_name[1]); break; default: throw regex_error(regex_constants::error_collate); } } __first = next(__temp, 2); return __first; } template template _ForwardIterator basic_regex<_CharT, _Traits>::__parse_character_class(_ForwardIterator __first, _ForwardIterator __last, __bracket_expression<_CharT, _Traits>* __ml) { // Found [: // This means :] must exist value_type _Colon_close[2] = {':', ']'}; _ForwardIterator __temp = _STD::search(__first, __last, _Colon_close, _Colon_close+2); if (__temp == __last) throw regex_error(regex_constants::error_brack); // [__first, __temp) contains all text in [: ... :] typedef typename _Traits::char_class_type char_class_type; char_class_type __class_type = __traits_.lookup_classname(__first, __temp, __flags_ & icase); if (__class_type == 0) throw regex_error(regex_constants::error_brack); __ml->__add_class(__class_type); __first = next(__temp, 2); return __first; } template template _ForwardIterator basic_regex<_CharT, _Traits>::__parse_collating_symbol(_ForwardIterator __first, _ForwardIterator __last, basic_string<_CharT>& __col_sym) { // Found [. // This means .] must exist value_type _Dot_close[2] = {'.', ']'}; _ForwardIterator __temp = _STD::search(__first, __last, _Dot_close, _Dot_close+2); if (__temp == __last) throw regex_error(regex_constants::error_brack); // [__first, __temp) contains all text in [. ... .] typedef typename _Traits::string_type string_type; __col_sym = __traits_.lookup_collatename(__first, __temp); switch (__col_sym.size()) { case 1: case 2: break; default: throw regex_error(regex_constants::error_collate); } __first = next(__temp, 2); return __first; } template template _ForwardIterator basic_regex<_CharT, _Traits>::__parse_DUP_COUNT(_ForwardIterator __first, _ForwardIterator __last, int& __c) { if (__first != __last && '0' <= *__first && *__first <= '9') { __c = *__first - '0'; for (++__first; __first != __last && '0' <= *__first && *__first <= '9'; ++__first) { __c *= 10; __c += *__first - '0'; } } return __first; } template void basic_regex<_CharT, _Traits>::__push_loop(size_t __min, size_t __max, __owns_one_state<_CharT>* __s, size_t __mexp_begin, size_t __mexp_end, bool __greedy) { unique_ptr<__empty_state<_CharT> > __e1(new __empty_state<_CharT>(__end_->first())); __end_->first() = nullptr; unique_ptr<__loop<_CharT> > __e2(new __loop<_CharT>(__loop_count_, __s->first(), __e1.get(), __mexp_begin, __mexp_end, __greedy, __min, __max)); __s->first() = nullptr; __e1.release(); __end_->first() = new __repeat_one_loop<_CharT>(__e2.get()); __end_ = __e2->second(); __s->first() = __e2.release(); ++__loop_count_; } template void basic_regex<_CharT, _Traits>::__push_char(value_type __c) { if (flags() & icase) __end_->first() = new __match_char_icase<_CharT, _Traits> (__traits_, __c, __end_->first()); else if (flags() & collate) __end_->first() = new __match_char_collate<_CharT, _Traits> (__traits_, __c, __end_->first()); else __end_->first() = new __match_char<_CharT>(__c, __end_->first()); __end_ = static_cast<__owns_one_state<_CharT>*>(__end_->first()); } template void basic_regex<_CharT, _Traits>::__push_begin_marked_subexpression() { if (!(__flags_ & nosubs)) { __end_->first() = new __begin_marked_subexpression<_CharT>(++__marked_count_, __end_->first()); __end_ = static_cast<__owns_one_state<_CharT>*>(__end_->first()); } } template void basic_regex<_CharT, _Traits>::__push_end_marked_subexpression(unsigned __sub) { if (!(__flags_ & nosubs)) { __end_->first() = new __end_marked_subexpression<_CharT>(__sub, __end_->first()); __end_ = static_cast<__owns_one_state<_CharT>*>(__end_->first()); } } template void basic_regex<_CharT, _Traits>::__push_r_anchor() { __end_->first() = new __r_anchor<_CharT>(__end_->first()); __end_ = static_cast<__owns_one_state<_CharT>*>(__end_->first()); } template void basic_regex<_CharT, _Traits>::__push_match_any() { __end_->first() = new __match_any<_CharT>(__end_->first()); __end_ = static_cast<__owns_one_state<_CharT>*>(__end_->first()); } template void basic_regex<_CharT, _Traits>::__push_back_ref(int __i) { if (flags() & icase) __end_->first() = new __back_ref_icase<_CharT, _Traits> (__traits_, __i, __end_->first()); else if (flags() & collate) __end_->first() = new __back_ref_collate<_CharT, _Traits> (__traits_, __i, __end_->first()); else __end_->first() = new __back_ref<_CharT>(__i, __end_->first()); __end_ = static_cast<__owns_one_state<_CharT>*>(__end_->first()); } template void basic_regex<_CharT, _Traits>::__push_alternation(__owns_one_state<_CharT>* __sa, __owns_one_state<_CharT>* __ea) { __sa->first() = new __alternate<_CharT>( static_cast<__owns_one_state<_CharT>*>(__sa->first()), static_cast<__owns_one_state<_CharT>*>(__ea->first())); __ea->first() = nullptr; __ea->first() = new __empty_state<_CharT>(__end_->first()); __end_->first() = nullptr; __end_->first() = new __empty_non_own_state<_CharT>(__ea->first()); __end_ = static_cast<__owns_one_state<_CharT>*>(__ea->first()); } template __bracket_expression<_CharT, _Traits>* basic_regex<_CharT, _Traits>::__start_matching_list(bool __negate) { __bracket_expression<_CharT, _Traits>* __r = new __bracket_expression<_CharT, _Traits>(__traits_, __end_->first(), __negate, __flags_ & icase, __flags_ & collate); __end_->first() = __r; __end_ = __r; return __r; } typedef basic_regex regex; typedef basic_regex wregex; // sub_match template class sub_match : public pair<_BidirectionalIterator, _BidirectionalIterator> { public: typedef _BidirectionalIterator iterator; typedef typename iterator_traits::value_type value_type; typedef typename iterator_traits::difference_type difference_type; typedef basic_string string_type; bool matched; difference_type length() const {return matched ? _STD::distance(this->first, this->second) : 0;} string_type str() const {return matched ? string_type(this->first, this->second) : string_type();} operator string_type() const {return str();} int compare(const sub_match& __s) const {return str().compare(__s.str());} int compare(const string_type& __s) const {return str().compare(__s);} int compare(const value_type* __s) const {return str().compare(__s);} }; typedef sub_match csub_match; typedef sub_match wcsub_match; typedef sub_match ssub_match; typedef sub_match wssub_match; template inline _LIBCPP_INLINE_VISIBILITY bool operator==(const sub_match<_BiIter>& __x, const sub_match<_BiIter>& __y) { return __x.compare(__y) == 0; } template inline _LIBCPP_INLINE_VISIBILITY bool operator!=(const sub_match<_BiIter>& __x, const sub_match<_BiIter>& __y) { return !(__x == __y); } template inline _LIBCPP_INLINE_VISIBILITY bool operator<(const sub_match<_BiIter>& __x, const sub_match<_BiIter>& __y) { return __x.compare(__y) < 0; } template inline _LIBCPP_INLINE_VISIBILITY bool operator<=(const sub_match<_BiIter>& __x, const sub_match<_BiIter>& __y) { return !(__y < __x); } template inline _LIBCPP_INLINE_VISIBILITY bool operator>=(const sub_match<_BiIter>& __x, const sub_match<_BiIter>& __y) { return !(__x < __y); } template inline _LIBCPP_INLINE_VISIBILITY bool operator>(const sub_match<_BiIter>& __x, const sub_match<_BiIter>& __y) { return __y < __x; } template inline _LIBCPP_INLINE_VISIBILITY bool operator==(const basic_string::value_type, _ST, _SA>& __x, const sub_match<_BiIter>& __y) { return __y.compare(__x.c_str()) == 0; } template inline _LIBCPP_INLINE_VISIBILITY bool operator!=(const basic_string::value_type, _ST, _SA>& __x, const sub_match<_BiIter>& __y) { return !(__x == __y); } template inline _LIBCPP_INLINE_VISIBILITY bool operator<(const basic_string::value_type, _ST, _SA>& __x, const sub_match<_BiIter>& __y) { return __y.compare(__x.c_str()) > 0; } template inline _LIBCPP_INLINE_VISIBILITY bool operator>(const basic_string::value_type, _ST, _SA>& __x, const sub_match<_BiIter>& __y) { return __y < __x; } template inline _LIBCPP_INLINE_VISIBILITY bool operator>=(const basic_string::value_type, _ST, _SA>& __x, const sub_match<_BiIter>& __y) { return !(__x < __y); } template inline _LIBCPP_INLINE_VISIBILITY bool operator<=(const basic_string::value_type, _ST, _SA>& __x, const sub_match<_BiIter>& __y) { return !(__y < __x); } template inline _LIBCPP_INLINE_VISIBILITY bool operator==(const sub_match<_BiIter>& __x, const basic_string::value_type, _ST, _SA>& __y) { return __x.compare(__y.c_str()) == 0; } template inline _LIBCPP_INLINE_VISIBILITY bool operator!=(const sub_match<_BiIter>& __x, const basic_string::value_type, _ST, _SA>& __y) { return !(__x == __y); } template inline _LIBCPP_INLINE_VISIBILITY bool operator<(const sub_match<_BiIter>& __x, const basic_string::value_type, _ST, _SA>& __y) { return __x.compare(__y.c_str()) < 0; } template inline _LIBCPP_INLINE_VISIBILITY bool operator>(const sub_match<_BiIter>& __x, const basic_string::value_type, _ST, _SA>& __y) { return __y < __x; } template inline _LIBCPP_INLINE_VISIBILITY bool operator>=(const sub_match<_BiIter>& __x, const basic_string::value_type, _ST, _SA>& __y) { return !(__x < __y); } template inline _LIBCPP_INLINE_VISIBILITY bool operator<=(const sub_match<_BiIter>& __x, const basic_string::value_type, _ST, _SA>& __y) { return !(__y < __x); } template inline _LIBCPP_INLINE_VISIBILITY bool operator==(typename iterator_traits<_BiIter>::value_type const* __x, const sub_match<_BiIter>& __y) { return __y.compare(__x) == 0; } template inline _LIBCPP_INLINE_VISIBILITY bool operator!=(typename iterator_traits<_BiIter>::value_type const* __x, const sub_match<_BiIter>& __y) { return !(__x == __y); } template inline _LIBCPP_INLINE_VISIBILITY bool operator<(typename iterator_traits<_BiIter>::value_type const* __x, const sub_match<_BiIter>& __y) { return __y.compare(__x) > 0; } template inline _LIBCPP_INLINE_VISIBILITY bool operator>(typename iterator_traits<_BiIter>::value_type const* __x, const sub_match<_BiIter>& __y) { return __y < __x; } template inline _LIBCPP_INLINE_VISIBILITY bool operator>=(typename iterator_traits<_BiIter>::value_type const* __x, const sub_match<_BiIter>& __y) { return !(__x < __y); } template inline _LIBCPP_INLINE_VISIBILITY bool operator<=(typename iterator_traits<_BiIter>::value_type const* __x, const sub_match<_BiIter>& __y) { return !(__y < __x); } template inline _LIBCPP_INLINE_VISIBILITY bool operator==(const sub_match<_BiIter>& __x, typename iterator_traits<_BiIter>::value_type const* __y) { return __x.compare(__y) == 0; } template inline _LIBCPP_INLINE_VISIBILITY bool operator!=(const sub_match<_BiIter>& __x, typename iterator_traits<_BiIter>::value_type const* __y) { return !(__x == __y); } template inline _LIBCPP_INLINE_VISIBILITY bool operator<(const sub_match<_BiIter>& __x, typename iterator_traits<_BiIter>::value_type const* __y) { return __x.compare(__y) < 0; } template inline _LIBCPP_INLINE_VISIBILITY bool operator>(const sub_match<_BiIter>& __x, typename iterator_traits<_BiIter>::value_type const* __y) { return __y < __x; } template inline _LIBCPP_INLINE_VISIBILITY bool operator>=(const sub_match<_BiIter>& __x, typename iterator_traits<_BiIter>::value_type const* __y) { return !(__x < __y); } template inline _LIBCPP_INLINE_VISIBILITY bool operator<=(const sub_match<_BiIter>& __x, typename iterator_traits<_BiIter>::value_type const* __y) { return !(__y < __x); } template inline _LIBCPP_INLINE_VISIBILITY bool operator==(typename iterator_traits<_BiIter>::value_type const& __x, const sub_match<_BiIter>& __y) { typedef basic_string::value_type> string_type; return __y.compare(string_type(1, __x)) == 0; } template inline _LIBCPP_INLINE_VISIBILITY bool operator!=(typename iterator_traits<_BiIter>::value_type const& __x, const sub_match<_BiIter>& __y) { return !(__x == __y); } template inline _LIBCPP_INLINE_VISIBILITY bool operator<(typename iterator_traits<_BiIter>::value_type const& __x, const sub_match<_BiIter>& __y) { typedef basic_string::value_type> string_type; return __y.compare(string_type(1, __x)) > 0; } template inline _LIBCPP_INLINE_VISIBILITY bool operator>(typename iterator_traits<_BiIter>::value_type const& __x, const sub_match<_BiIter>& __y) { return __y < __x; } template inline _LIBCPP_INLINE_VISIBILITY bool operator>=(typename iterator_traits<_BiIter>::value_type const& __x, const sub_match<_BiIter>& __y) { return !(__x < __y); } template inline _LIBCPP_INLINE_VISIBILITY bool operator<=(typename iterator_traits<_BiIter>::value_type const& __x, const sub_match<_BiIter>& __y) { return !(__y < __x); } template inline _LIBCPP_INLINE_VISIBILITY bool operator==(const sub_match<_BiIter>& __x, typename iterator_traits<_BiIter>::value_type const& __y) { typedef basic_string::value_type> string_type; return __x.compare(string_type(1, __y)) == 0; } template inline _LIBCPP_INLINE_VISIBILITY bool operator!=(const sub_match<_BiIter>& __x, typename iterator_traits<_BiIter>::value_type const& __y) { return !(__x == __y); } template inline _LIBCPP_INLINE_VISIBILITY bool operator<(const sub_match<_BiIter>& __x, typename iterator_traits<_BiIter>::value_type const& __y) { typedef basic_string::value_type> string_type; return __x.compare(string_type(1, __y)) < 0; } template inline _LIBCPP_INLINE_VISIBILITY bool operator>(const sub_match<_BiIter>& __x, typename iterator_traits<_BiIter>::value_type const& __y) { return __y < __x; } template inline _LIBCPP_INLINE_VISIBILITY bool operator>=(const sub_match<_BiIter>& __x, typename iterator_traits<_BiIter>::value_type const& __y) { return !(__x < __y); } template inline _LIBCPP_INLINE_VISIBILITY bool operator<=(const sub_match<_BiIter>& __x, typename iterator_traits<_BiIter>::value_type const& __y) { return !(__y < __x); } template inline _LIBCPP_INLINE_VISIBILITY basic_ostream<_CharT, _ST>& operator<<(basic_ostream<_CharT, _ST>& __os, const sub_match<_BiIter>& __m) { return __os << __m.str(); } template > > class match_results { public: typedef _Allocator allocator_type; typedef sub_match<_BidirectionalIterator> value_type; private: typedef vector __container_type; __container_type __matches_; value_type __unmatched_; value_type __prefix_; value_type __suffix_; public: typedef const value_type& const_reference; typedef const_reference reference; typedef typename __container_type::const_iterator const_iterator; typedef const_iterator iterator; typedef typename iterator_traits<_BidirectionalIterator>::difference_type difference_type; typedef typename allocator_traits::size_type size_type; typedef typename iterator_traits<_BidirectionalIterator>::value_type char_type; typedef basic_string string_type; // construct/copy/destroy: explicit match_results(const allocator_type& __a = allocator_type()); // match_results(const match_results&) = default; // match_results& operator=(const match_results&) = default; #ifdef _LIBCPP_MOVE // match_results(match_results&& __m) = default; // match_results& operator=(match_results&& __m) = default; #endif // ~match_results() = default; // size: size_type size() const {return __matches_.size();} size_type max_size() const {return __matches_.max_size();} bool empty() const {return size() == 0;} // element access: difference_type length(size_type __sub = 0) const {return (*this)[__sub].length();} difference_type position(size_type __sub = 0) const {return _STD::distance(__prefix_.first, (*this)[__sub].first);} string_type str(size_type __sub = 0) const {return (*this)[__sub].str();} const_reference operator[](size_type __n) const {return __n < __matches_.size() ? __matches_[__n] : __unmatched_;} const_reference prefix() const {return __prefix_;} const_reference suffix() const {return __suffix_;} const_iterator begin() const {return empty() ? __matches_.end() : __matches_.begin() + 1;} const_iterator end() const {return __matches_.end();} const_iterator cbegin() const {return empty() ? __matches_.end() : __matches_.begin() + 1;} const_iterator cend() const {return __matches_.end();} // format: template _OutputIter format(_OutputIter __out, const char_type* __fmt_first, const char_type* __fmt_last, regex_constants::match_flag_type __flags = regex_constants::format_default) const; template _OutputIter format(_OutputIter __out, const basic_string& __fmt, regex_constants::match_flag_type __flags = regex_constants::format_default) const; template basic_string format(const basic_string& __fmt, regex_constants::match_flag_type __flags = regex_constants::format_default) const; string_type format(const char_type* __fmt, regex_constants::match_flag_type __flags = regex_constants::format_default) const; // allocator: allocator_type get_allocator() const {return __matches_.get_allocator();} // swap: void swap(match_results& __m); template void __assign(_BidirectionalIterator __f, _BidirectionalIterator __l, const match_results<_B, _A>& __m) { _B __mf = __m.prefix().first; __matches_.resize(__m.size()); for (size_type __i = 0; __i < __matches_.size(); ++__i) { __matches_[__i].first = next(__f, _STD::distance(__mf, __m[__i].first)); __matches_[__i].second = next(__f, _STD::distance(__mf, __m[__i].second)); __matches_[__i].matched = __m[__i].matched; } __unmatched_.first = __l; __unmatched_.second = __l; __unmatched_.matched = false; __prefix_.first = next(__f, _STD::distance(__mf, __m.prefix().first)); __prefix_.second = next(__f, _STD::distance(__mf, __m.prefix().second)); __prefix_.matched = __m.prefix().matched; __suffix_.first = next(__f, _STD::distance(__mf, __m.suffix().first)); __suffix_.second = next(__f, _STD::distance(__mf, __m.suffix().second)); __suffix_.matched = __m.suffix().matched; } private: void __init(unsigned __s, _BidirectionalIterator __f, _BidirectionalIterator __l); template friend class basic_regex; template friend bool regex_match(_B, _B, match_results<_B, _A>&, const basic_regex<_C, _T>&, regex_constants::match_flag_type); }; template match_results<_BidirectionalIterator, _Allocator>::match_results( const allocator_type& __a) : __matches_(__a), __unmatched_(), __prefix_(), __suffix_() { } template void match_results<_BidirectionalIterator, _Allocator>::__init(unsigned __s, _BidirectionalIterator __f, _BidirectionalIterator __l) { __unmatched_.first = __l; __unmatched_.second = __l; __unmatched_.matched = false; __matches_.assign(__s, __unmatched_); __prefix_.first = __f; __prefix_.second = __f; __prefix_.matched = false; __suffix_ = __unmatched_; } typedef match_results cmatch; typedef match_results wcmatch; typedef match_results smatch; typedef match_results wsmatch; template bool operator==(const match_results<_BidirectionalIterator, _Allocator>& __x, const match_results<_BidirectionalIterator, _Allocator>& __y); template bool operator!=(const match_results<_BidirectionalIterator, _Allocator>& __x, const match_results<_BidirectionalIterator, _Allocator>& __y); template void swap(match_results<_BidirectionalIterator, _Allocator>& __x, match_results<_BidirectionalIterator, _Allocator>& __y); // regex_search template template bool basic_regex<_CharT, _Traits>::__match_at_start_ecma( _BidirectionalIterator __first, _BidirectionalIterator __last, match_results<_BidirectionalIterator, _Allocator>& __m, regex_constants::match_flag_type __flags) const { return false; } template template bool basic_regex<_CharT, _Traits>::__match_at_start_posix_nosubs( const _CharT* __first, const _CharT* __last, match_results& __m, vector& __lc, regex_constants::match_flag_type __flags) const { deque<__state> __states; ptrdiff_t __highest_j = 0; ptrdiff_t _N = _STD::distance(__first, __last); __node* __st = __start_.get(); if (__st) { __states.push_back(__state()); __states.back().__do_ = 0; __states.back().__first_ = __first; __states.back().__current_ = __first; __states.back().__last_ = __last; __states.back().__loop_data_.resize(__loop_count()); __states.back().__node_ = __st; __states.back().__flags_ = __flags; bool __matched = false; do { __state& __s = __states.back(); if (__s.__node_) __s.__node_->__exec(__s); switch (__s.__do_) { case __state::__end_state: if (__highest_j < __s.__current_ - __s.__first_) { __highest_j = __s.__current_ - __s.__first_; __matched = true; } if (__highest_j == _N) __states.clear(); else __states.pop_back(); break; case __state::__consume_input: break; case __state::__accept_and_consume: __states.push_front(_STD::move(__s)); __states.pop_back(); break; case __state::__repeat: case __state::__accept_but_not_consume: break; case __state::__split: { __state __snext = __s; __s.__node_->__exec_split(true, __s); __snext.__node_->__exec_split(false, __snext); __states.push_back(_STD::move(__snext)); } break; case __state::__reject: __states.pop_back(); break; default: throw regex_error(regex_constants::error_temp); break; } } while (!__states.empty()); if (__matched) { __m.__matches_[0].first = __first; __m.__matches_[0].second = _STD::next(__first, __highest_j); __m.__matches_[0].matched = true; return true; } } return false; } template template bool basic_regex<_CharT, _Traits>::__match_at_start_posix_subs( const _CharT* __first, const _CharT* __last, match_results& __m, vector& __lc, regex_constants::match_flag_type __flags) const { vector<__state> __states; vector __current_stack; vector > __saved_matches; __state __best_state; ptrdiff_t __j = 0; ptrdiff_t __highest_j = 0; ptrdiff_t _N = _STD::distance(__first, __last); __node* __st = __start_.get(); if (__st) { __states.push_back(__state()); __states.back().__do_ = 0; __states.back().__first_ = __first; __states.back().__current_ = __first; __states.back().__last_ = __last; __states.back().__sub_matches_.resize(mark_count()); __states.back().__loop_data_.resize(__loop_count()); __states.back().__node_ = __st; __states.back().__flags_ = __flags; const _CharT* __current = __first; bool __matched = false; do { __state& __s = __states.back(); if (__s.__node_) __s.__node_->__exec(__s); switch (__s.__do_) { case __state::__end_state: if (__j == 0 || __highest_j < __j) { __matched = true; __highest_j = __j; __best_state = __s; if (__highest_j == _N || __highest_j == 0) __states.clear(); else __states.pop_back(); } break; case __state::__accept_and_consume: __j += __s.__current_ - __current; __current = __s.__current_; break; case __state::__repeat: case __state::__accept_but_not_consume: break; case __state::__split: { __state __snext = __s; __s.__node_->__exec_split(true, __s); __snext.__node_->__exec_split(false, __snext); __states.push_back(_STD::move(__snext)); } break; case __state::__reject: __states.pop_back(); break; default: throw regex_error(regex_constants::error_temp); break; } } while (!__states.empty()); if (__matched) { __m.__matches_[0].first = __first; __m.__matches_[0].second = _STD::next(__first, __highest_j); __m.__matches_[0].matched = true; for (unsigned __i = 0; __i < __best_state.__sub_matches_.size(); ++__i) __m.__matches_[__i+1] = __best_state.__sub_matches_[__i]; return true; } } return false; } template template bool basic_regex<_CharT, _Traits>::__match_at_start( const _CharT* __first, const _CharT* __last, match_results& __m, vector& __lc, regex_constants::match_flag_type __flags) const { if (__flags_ & ECMAScript) return __match_at_start_ecma(__first, __last, __m, __flags); if (mark_count() == 0) return __match_at_start_posix_nosubs(__first, __last, __m, __lc, __flags); return __match_at_start_posix_subs(__first, __last, __m, __lc, __flags); } template template bool basic_regex<_CharT, _Traits>::__search( const _CharT* __first, const _CharT* __last, match_results& __m, regex_constants::match_flag_type __flags) const { if (__left_anchor_) __flags |= regex_constants::match_continuous; __m.__init(1 + mark_count(), __first, __last); vector __lc(__loop_count()); if (__match_at_start(__first, __last, __m, __lc, __flags)) { __m.__prefix_.second = __m[0].first; __m.__prefix_.matched = __m.__prefix_.first != __m.__prefix_.second; __m.__suffix_.first = __m[0].second; __m.__suffix_.matched = __m.__suffix_.first != __m.__suffix_.second; return true; } if (!(__flags & regex_constants::match_continuous)) { __m.__matches_.assign(__m.size(), __m.__unmatched_); for (++__first; __first != __last; ++__first) { if (__match_at_start(__first, __last, __m, __lc, __flags)) { __m.__prefix_.second = __m[0].first; __m.__prefix_.matched = __m.__prefix_.first != __m.__prefix_.second; __m.__suffix_.first = __m[0].second; __m.__suffix_.matched = __m.__suffix_.first != __m.__suffix_.second; return true; } __m.__matches_.assign(__m.size(), __m.__unmatched_); } } __m.__matches_.clear(); return false; } template inline _LIBCPP_INLINE_VISIBILITY bool regex_search(_BidirectionalIterator __first, _BidirectionalIterator __last, match_results<_BidirectionalIterator, _Allocator>& __m, const basic_regex<_CharT, _Traits>& __e, regex_constants::match_flag_type __flags = regex_constants::match_default) { basic_string<_CharT> __s(__first, __last); match_results __mc; bool __r = __e.__search(__s.data(), __s.data() + __s.size(), __mc, __flags); __m.__assign(__first, __last, __mc); return __r; } template inline _LIBCPP_INLINE_VISIBILITY bool regex_search(const _CharT* __first, const _CharT* __last, match_results& __m, const basic_regex<_CharT, _Traits>& __e, regex_constants::match_flag_type __flags = regex_constants::match_default) { return __e.__search(__first, __last, __m, __flags); } template inline _LIBCPP_INLINE_VISIBILITY bool regex_search(_BidirectionalIterator __first, _BidirectionalIterator __last, const basic_regex<_CharT, _Traits>& __e, regex_constants::match_flag_type __flags = regex_constants::match_default) { basic_string<_CharT> __s(__first, __last); match_results __mc; return __e.__search(__s.data(), __s.data() + __s.size(), __mc, __flags); } template inline _LIBCPP_INLINE_VISIBILITY bool regex_search(const _CharT* __first, const _CharT* __last, const basic_regex<_CharT, _Traits>& __e, regex_constants::match_flag_type __flags = regex_constants::match_default) { match_results __mc; return __e.__search(__first, __last, __mc, __flags); } template inline _LIBCPP_INLINE_VISIBILITY bool regex_search(const _CharT* __str, match_results& __m, const basic_regex<_CharT, _Traits>& __e, regex_constants::match_flag_type __flags = regex_constants::match_default) { return __e.__search(__str, __str + _Traits::length(__str), __m, __flags); } template inline _LIBCPP_INLINE_VISIBILITY bool regex_search(const _CharT* __str, const basic_regex<_CharT, _Traits>& __e, regex_constants::match_flag_type __flags = regex_constants::match_default) { match_results __m; return _STD::regex_search(__str, __m, __e, __flags); } template inline _LIBCPP_INLINE_VISIBILITY bool regex_search(const basic_string<_CharT, _ST, _SA>& __s, const basic_regex<_CharT, _Traits>& __e, regex_constants::match_flag_type __flags = regex_constants::match_default) { match_results __mc; return __e.__search(__s.data(), __s.data() + __s.size(), __mc, __flags); } template inline _LIBCPP_INLINE_VISIBILITY bool regex_search(const basic_string<_CharT, _ST, _SA>& __s, match_results::const_iterator, _Allocator>& __m, const basic_regex<_CharT, _Traits>& __e, regex_constants::match_flag_type __flags = regex_constants::match_default) { match_results __mc; bool __r = __e.__search(__s.data(), __s.data() + __s.size(), __mc, __flags); __m.__assign(__s.begin(), __s.end(), __mc); return __r; } // regex_match template bool regex_match(_BidirectionalIterator __first, _BidirectionalIterator __last, match_results<_BidirectionalIterator, _Allocator>& __m, const basic_regex<_CharT, _Traits>& __e, regex_constants::match_flag_type __flags = regex_constants::match_default) { bool __r = _STD::regex_search(__first, __last, __m, __e, __flags | regex_constants::match_continuous); if (__r) { __r = !__m.suffix().matched; if (!__r) __m.__matches_.clear(); } return __r; } template inline _LIBCPP_INLINE_VISIBILITY bool regex_match(_BidirectionalIterator __first, _BidirectionalIterator __last, const basic_regex<_CharT, _Traits>& __e, regex_constants::match_flag_type __flags = regex_constants::match_default) { match_results<_BidirectionalIterator> __m; return _STD::regex_match(__first, __last, __m, __e, __flags); } template inline _LIBCPP_INLINE_VISIBILITY bool regex_match(const _CharT* __str, match_results& __m, const basic_regex<_CharT, _Traits>& __e, regex_constants::match_flag_type __flags = regex_constants::match_default) { return _STD::regex_match(__str, __str + _Traits::length(__str), __m, __e, __flags); } template inline _LIBCPP_INLINE_VISIBILITY bool regex_match(const basic_string<_CharT, _ST, _SA>& __s, match_results::const_iterator, _Allocator>& __m, const basic_regex<_CharT, _Traits>& __e, regex_constants::match_flag_type __flags = regex_constants::match_default) { return _STD::regex_match(__s.begin(), __s.end(), __m, __e, __flags); } template inline _LIBCPP_INLINE_VISIBILITY bool regex_match(const _CharT* __str, const basic_regex<_CharT, _Traits>& __e, regex_constants::match_flag_type __flags = regex_constants::match_default) { return _STD::regex_match(__str, __str + _Traits::length(__str), __e, __flags); } template inline _LIBCPP_INLINE_VISIBILITY bool regex_match(const basic_string<_CharT, _ST, _SA>& __s, const basic_regex<_CharT, _Traits>& __e, regex_constants::match_flag_type __flags = regex_constants::match_default) { return _STD::regex_match(__s.begin(), __s.end(), __e, __flags); } _LIBCPP_END_NAMESPACE_STD #endif // _LIBCPP_REGEX