1 //===-------------------------- regex.cpp ---------------------------------===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is dual licensed under the MIT and the University of Illinois Open 6 // Source Licenses. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 10 #include "regex" 11 #include "algorithm" 12 #include "iterator" 13 14 _LIBCPP_BEGIN_NAMESPACE_STD 15 16 static 17 const char* 18 make_error_type_string(regex_constants::error_type ecode) 19 { 20 switch (ecode) 21 { 22 case regex_constants::error_collate: 23 return "The expression contained an invalid collating element name."; 24 case regex_constants::error_ctype: 25 return "The expression contained an invalid character class name."; 26 case regex_constants::error_escape: 27 return "The expression contained an invalid escaped character, or a " 28 "trailing escape."; 29 case regex_constants::error_backref: 30 return "The expression contained an invalid back reference."; 31 case regex_constants::error_brack: 32 return "The expression contained mismatched [ and ]."; 33 case regex_constants::error_paren: 34 return "The expression contained mismatched ( and )."; 35 case regex_constants::error_brace: 36 return "The expression contained mismatched { and }."; 37 case regex_constants::error_badbrace: 38 return "The expression contained an invalid range in a {} expression."; 39 case regex_constants::error_range: 40 return "The expression contained an invalid character range, " 41 "such as [b-a] in most encodings."; 42 case regex_constants::error_space: 43 return "There was insufficient memory to convert the expression into " 44 "a finite state machine."; 45 case regex_constants::error_badrepeat: 46 return "One of *?+{ was not preceded by a valid regular expression."; 47 case regex_constants::error_complexity: 48 return "The complexity of an attempted match against a regular " 49 "expression exceeded a pre-set level."; 50 case regex_constants::error_stack: 51 return "There was insufficient memory to determine whether the regular " 52 "expression could match the specified character sequence."; 53 case regex_constants::__re_err_grammar: 54 return "An invalid regex grammar has been requested."; 55 case regex_constants::__re_err_empty: 56 return "An empty regex is not allowed in the POSIX grammar."; 57 default: 58 break; 59 } 60 return "Unknown error type"; 61 } 62 63 regex_error::regex_error(regex_constants::error_type ecode) 64 : runtime_error(make_error_type_string(ecode)), 65 __code_(ecode) 66 {} 67 68 regex_error::~regex_error() throw() {} 69 70 namespace { 71 72 #if defined(__clang__) 73 #pragma clang diagnostic push 74 #pragma clang diagnostic ignored "-Wpadded" 75 #endif 76 77 struct collationnames 78 { 79 const char* elem_; 80 char char_; 81 }; 82 83 #if defined(__clang__) 84 #pragma clang diagnostic pop 85 #endif 86 87 const collationnames collatenames[] = 88 { 89 {"A", 0x41}, 90 {"B", 0x42}, 91 {"C", 0x43}, 92 {"D", 0x44}, 93 {"E", 0x45}, 94 {"F", 0x46}, 95 {"G", 0x47}, 96 {"H", 0x48}, 97 {"I", 0x49}, 98 {"J", 0x4a}, 99 {"K", 0x4b}, 100 {"L", 0x4c}, 101 {"M", 0x4d}, 102 {"N", 0x4e}, 103 {"NUL", 0x00}, 104 {"O", 0x4f}, 105 {"P", 0x50}, 106 {"Q", 0x51}, 107 {"R", 0x52}, 108 {"S", 0x53}, 109 {"T", 0x54}, 110 {"U", 0x55}, 111 {"V", 0x56}, 112 {"W", 0x57}, 113 {"X", 0x58}, 114 {"Y", 0x59}, 115 {"Z", 0x5a}, 116 {"a", 0x61}, 117 {"alert", 0x07}, 118 {"ampersand", 0x26}, 119 {"apostrophe", 0x27}, 120 {"asterisk", 0x2a}, 121 {"b", 0x62}, 122 {"backslash", 0x5c}, 123 {"backspace", 0x08}, 124 {"c", 0x63}, 125 {"carriage-return", 0x0d}, 126 {"circumflex", 0x5e}, 127 {"circumflex-accent", 0x5e}, 128 {"colon", 0x3a}, 129 {"comma", 0x2c}, 130 {"commercial-at", 0x40}, 131 {"d", 0x64}, 132 {"dollar-sign", 0x24}, 133 {"e", 0x65}, 134 {"eight", 0x38}, 135 {"equals-sign", 0x3d}, 136 {"exclamation-mark", 0x21}, 137 {"f", 0x66}, 138 {"five", 0x35}, 139 {"form-feed", 0x0c}, 140 {"four", 0x34}, 141 {"full-stop", 0x2e}, 142 {"g", 0x67}, 143 {"grave-accent", 0x60}, 144 {"greater-than-sign", 0x3e}, 145 {"h", 0x68}, 146 {"hyphen", 0x2d}, 147 {"hyphen-minus", 0x2d}, 148 {"i", 0x69}, 149 {"j", 0x6a}, 150 {"k", 0x6b}, 151 {"l", 0x6c}, 152 {"left-brace", 0x7b}, 153 {"left-curly-bracket", 0x7b}, 154 {"left-parenthesis", 0x28}, 155 {"left-square-bracket", 0x5b}, 156 {"less-than-sign", 0x3c}, 157 {"low-line", 0x5f}, 158 {"m", 0x6d}, 159 {"n", 0x6e}, 160 {"newline", 0x0a}, 161 {"nine", 0x39}, 162 {"number-sign", 0x23}, 163 {"o", 0x6f}, 164 {"one", 0x31}, 165 {"p", 0x70}, 166 {"percent-sign", 0x25}, 167 {"period", 0x2e}, 168 {"plus-sign", 0x2b}, 169 {"q", 0x71}, 170 {"question-mark", 0x3f}, 171 {"quotation-mark", 0x22}, 172 {"r", 0x72}, 173 {"reverse-solidus", 0x5c}, 174 {"right-brace", 0x7d}, 175 {"right-curly-bracket", 0x7d}, 176 {"right-parenthesis", 0x29}, 177 {"right-square-bracket", 0x5d}, 178 {"s", 0x73}, 179 {"semicolon", 0x3b}, 180 {"seven", 0x37}, 181 {"six", 0x36}, 182 {"slash", 0x2f}, 183 {"solidus", 0x2f}, 184 {"space", 0x20}, 185 {"t", 0x74}, 186 {"tab", 0x09}, 187 {"three", 0x33}, 188 {"tilde", 0x7e}, 189 {"two", 0x32}, 190 {"u", 0x75}, 191 {"underscore", 0x5f}, 192 {"v", 0x76}, 193 {"vertical-line", 0x7c}, 194 {"vertical-tab", 0x0b}, 195 {"w", 0x77}, 196 {"x", 0x78}, 197 {"y", 0x79}, 198 {"z", 0x7a}, 199 {"zero", 0x30} 200 }; 201 202 #if defined(__clang__) 203 #pragma clang diagnostic push 204 #pragma clang diagnostic ignored "-Wpadded" 205 #endif 206 207 struct classnames 208 { 209 const char* elem_; 210 ctype_base::mask mask_; 211 }; 212 213 #if defined(__clang__) 214 #pragma clang diagnostic pop 215 #endif 216 217 const classnames ClassNames[] = 218 { 219 {"alnum", ctype_base::alnum}, 220 {"alpha", ctype_base::alpha}, 221 {"blank", ctype_base::blank}, 222 {"cntrl", ctype_base::cntrl}, 223 {"d", ctype_base::digit}, 224 {"digit", ctype_base::digit}, 225 {"graph", ctype_base::graph}, 226 {"lower", ctype_base::lower}, 227 {"print", ctype_base::print}, 228 {"punct", ctype_base::punct}, 229 {"s", ctype_base::space}, 230 {"space", ctype_base::space}, 231 {"upper", ctype_base::upper}, 232 {"w", regex_traits<char>::__regex_word}, 233 {"xdigit", ctype_base::xdigit} 234 }; 235 236 struct use_strcmp 237 { 238 bool operator()(const collationnames& x, const char* y) 239 {return strcmp(x.elem_, y) < 0;} 240 bool operator()(const classnames& x, const char* y) 241 {return strcmp(x.elem_, y) < 0;} 242 }; 243 244 } 245 246 string 247 __get_collation_name(const char* s) 248 { 249 const collationnames* i = 250 _VSTD::lower_bound(begin(collatenames), end(collatenames), s, use_strcmp()); 251 string r; 252 if (i != end(collatenames) && strcmp(s, i->elem_) == 0) 253 r = char(i->char_); 254 return r; 255 } 256 257 ctype_base::mask 258 __get_classname(const char* s, bool __icase) 259 { 260 const classnames* i = 261 _VSTD::lower_bound(begin(ClassNames), end(ClassNames), s, use_strcmp()); 262 ctype_base::mask r = 0; 263 if (i != end(ClassNames) && strcmp(s, i->elem_) == 0) 264 { 265 r = i->mask_; 266 if (r == regex_traits<char>::__regex_word) 267 r |= ctype_base::alnum | ctype_base::upper | ctype_base::lower; 268 else if (__icase) 269 { 270 if (r & (ctype_base::lower | ctype_base::upper)) 271 r |= ctype_base::alpha; 272 } 273 } 274 return r; 275 } 276 277 template <> 278 void 279 __match_any_but_newline<char>::__exec(__state& __s) const 280 { 281 if (__s.__current_ != __s.__last_) 282 { 283 switch (*__s.__current_) 284 { 285 case '\r': 286 case '\n': 287 __s.__do_ = __state::__reject; 288 __s.__node_ = nullptr; 289 break; 290 default: 291 __s.__do_ = __state::__accept_and_consume; 292 ++__s.__current_; 293 __s.__node_ = this->first(); 294 break; 295 } 296 } 297 else 298 { 299 __s.__do_ = __state::__reject; 300 __s.__node_ = nullptr; 301 } 302 } 303 304 template <> 305 void 306 __match_any_but_newline<wchar_t>::__exec(__state& __s) const 307 { 308 if (__s.__current_ != __s.__last_) 309 { 310 switch (*__s.__current_) 311 { 312 case '\r': 313 case '\n': 314 case 0x2028: 315 case 0x2029: 316 __s.__do_ = __state::__reject; 317 __s.__node_ = nullptr; 318 break; 319 default: 320 __s.__do_ = __state::__accept_and_consume; 321 ++__s.__current_; 322 __s.__node_ = this->first(); 323 break; 324 } 325 } 326 else 327 { 328 __s.__do_ = __state::__reject; 329 __s.__node_ = nullptr; 330 } 331 } 332 333 _LIBCPP_END_NAMESPACE_STD 334
