contrib/gcc-8.0/libstdc++-v3/include/bits/regex_constants.h

   1 // class template regex -*- C++ -*-
   2
   3 // Copyright (C) 2010-2018 Free Software Foundation, Inc.
   4 //
   5 // This file is part of the GNU ISO C++ Library.  This library is free
   6 // software; you can redistribute it and/or modify it under the
   7 // terms of the GNU General Public License as published by the
   8 // Free Software Foundation; either version 3, or (at your option)
   9 // any later version.
  10
  11 // This library is distributed in the hope that it will be useful,
  12 // but WITHOUT ANY WARRANTY; without even the implied warranty of
  13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14 // GNU General Public License for more details.
  15
  16 // Under Section 7 of GPL version 3, you are granted additional
  17 // permissions described in the GCC Runtime Library Exception, version
  18 // 3.1, as published by the Free Software Foundation.
  19
  20 // You should have received a copy of the GNU General Public License and
  21 // a copy of the GCC Runtime Library Exception along with this program;
  22 // see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
  23 // <http://www.gnu.org/licenses/>.
  24
  25 /**
  26  *  @file bits/regex_constants.h
  27  *  @brief Constant definitions for the std regex library.
  28  *
  29  *  This is an internal header file, included by other library headers.
  30  *  Do not attempt to use it directly. @headername{regex}
  31  */
  32
  33 namespace std _GLIBCXX_VISIBILITY(default)
  34 {
  35 _GLIBCXX_BEGIN_NAMESPACE_VERSION
  36
  37 /**
  38  * @defgroup regex Regular Expressions
  39  *
  40  * A facility for performing regular expression pattern matching.
  41  * @{
  42  */
  43
  44 /**
  45  * @namespace std::regex_constants
  46  * @brief ISO C++-0x entities sub namespace for regex.
  47  */
  48 namespace regex_constants
  49 {
  50   /**
  51    * @name 5.1 Regular Expression Syntax Options
  52    */
  53   //@{
  54   enum __syntax_option
  55   {
  56     _S_icase,
  57     _S_nosubs,
  58     _S_optimize,
  59     _S_collate,
  60     _S_ECMAScript,
  61     _S_basic,
  62     _S_extended,
  63     _S_awk,
  64     _S_grep,
  65     _S_egrep,
  66     _S_polynomial,
  67     _S_syntax_last
  68   };
  69
  70   /**
  71    * @brief This is a bitmask type indicating how to interpret the regex.
  72    *
  73    * The @c syntax_option_type is implementation defined but it is valid to
  74    * perform bitwise operations on these values and expect the right thing to
  75    * happen.
  76    *
  77    * A valid value of type syntax_option_type shall have exactly one of the
  78    * elements @c ECMAScript, @c basic, @c extended, @c awk, @c grep, @c egrep
  79    * %set.
  80    */
  81   enum syntax_option_type : unsigned int { };
  82
  83   /**
  84    * Specifies that the matching of regular expressions against a character
  85    * sequence shall be performed without regard to case.
  86    */
  87   _GLIBCXX17_INLINE constexpr syntax_option_type icase =
  88     static_cast<syntax_option_type>(1 << _S_icase);
  89
  90   /**
  91    * Specifies that when a regular expression is matched against a character
  92    * container sequence, no sub-expression matches are to be stored in the
  93    * supplied match_results structure.
  94    */
  95   _GLIBCXX17_INLINE constexpr syntax_option_type nosubs =
  96     static_cast<syntax_option_type>(1 << _S_nosubs);
  97
  98   /**
  99    * Specifies that the regular expression engine should pay more attention to
 100    * the speed with which regular expressions are matched, and less to the
 101    * speed with which regular expression objects are constructed. Otherwise
 102    * it has no detectable effect on the program output.
 103    */
 104   _GLIBCXX17_INLINE constexpr syntax_option_type optimize =
 105     static_cast<syntax_option_type>(1 << _S_optimize);
 106
 107   /**
 108    * Specifies that character ranges of the form [a-b] should be locale
 109    * sensitive.
 110    */
 111   _GLIBCXX17_INLINE constexpr syntax_option_type collate =
 112     static_cast<syntax_option_type>(1 << _S_collate);
 113
 114   /**
 115    * Specifies that the grammar recognized by the regular expression engine is
 116    * that used by ECMAScript in ECMA-262 [Ecma International, ECMAScript
 117    * Language Specification, Standard Ecma-262, third edition, 1999], as
 118    * modified in section [28.13].  This grammar is similar to that defined
 119    * in the PERL scripting language but extended with elements found in the
 120    * POSIX regular expression grammar.
 121    */
 122   _GLIBCXX17_INLINE constexpr syntax_option_type ECMAScript =
 123     static_cast<syntax_option_type>(1 << _S_ECMAScript);
 124
 125   /**
 126    * Specifies that the grammar recognized by the regular expression engine is
 127    * that used by POSIX basic regular expressions in IEEE Std 1003.1-2001,
 128    * Portable Operating System Interface (POSIX), Base Definitions and
 129    * Headers, Section 9, Regular Expressions [IEEE, Information Technology --
 130    * Portable Operating System Interface (POSIX), IEEE Standard 1003.1-2001].
 131    */
 132   _GLIBCXX17_INLINE constexpr syntax_option_type basic =
 133     static_cast<syntax_option_type>(1 << _S_basic);
 134
 135   /**
 136    * Specifies that the grammar recognized by the regular expression engine is
 137    * that used by POSIX extended regular expressions in IEEE Std 1003.1-2001,
 138    * Portable Operating System Interface (POSIX), Base Definitions and
 139    * Headers, Section 9, Regular Expressions.
 140    */
 141   _GLIBCXX17_INLINE constexpr syntax_option_type extended =
 142     static_cast<syntax_option_type>(1 << _S_extended);
 143
 144   /**
 145    * Specifies that the grammar recognized by the regular expression engine is
 146    * that used by POSIX utility awk in IEEE Std 1003.1-2001.  This option is
 147    * identical to syntax_option_type extended, except that C-style escape
 148    * sequences are supported.  These sequences are:
 149    * \\\\, \\a, \\b, \\f, \\n, \\r, \\t , \\v, \\&apos,, &apos,,
 150    * and \\ddd (where ddd is one, two, or three octal digits).
 151    */
 152   _GLIBCXX17_INLINE constexpr syntax_option_type awk =
 153     static_cast<syntax_option_type>(1 << _S_awk);
 154
 155   /**
 156    * Specifies that the grammar recognized by the regular expression engine is
 157    * that used by POSIX utility grep in IEEE Std 1003.1-2001.  This option is
 158    * identical to syntax_option_type basic, except that newlines are treated
 159    * as whitespace.
 160    */
 161   _GLIBCXX17_INLINE constexpr syntax_option_type grep =
 162     static_cast<syntax_option_type>(1 << _S_grep);
 163
 164   /**
 165    * Specifies that the grammar recognized by the regular expression engine is
 166    * that used by POSIX utility grep when given the -E option in
 167    * IEEE Std 1003.1-2001.  This option is identical to syntax_option_type
 168    * extended, except that newlines are treated as whitespace.
 169    */
 170   _GLIBCXX17_INLINE constexpr syntax_option_type egrep =
 171     static_cast<syntax_option_type>(1 << _S_egrep);
 172
 173   /**
 174    * Extension: Ensure both space complexity of compiled regex and
 175    * time complexity execution are not exponential.
 176    * If specified in a regex with back-references, the exception
 177    * regex_constants::error_complexity will be thrown.
 178    */
 179   _GLIBCXX17_INLINE constexpr syntax_option_type __polynomial =
 180     static_cast<syntax_option_type>(1 << _S_polynomial);
 181
 182   constexpr inline syntax_option_type
 183   operator&(syntax_option_type __a, syntax_option_type __b)
 184   {
 185     return (syntax_option_type)(static_cast<unsigned int>(__a)
 186                                 & static_cast<unsigned int>(__b));
 187   }
 188
 189   constexpr inline syntax_option_type
 190   operator|(syntax_option_type __a, syntax_option_type __b)
 191   {
 192     return (syntax_option_type)(static_cast<unsigned int>(__a)
 193                                 | static_cast<unsigned int>(__b));
 194   }
 195
 196   constexpr inline syntax_option_type
 197   operator^(syntax_option_type __a, syntax_option_type __b)
 198   {
 199     return (syntax_option_type)(static_cast<unsigned int>(__a)
 200                                 ^ static_cast<unsigned int>(__b));
 201   }
 202
 203   constexpr inline syntax_option_type
 204   operator~(syntax_option_type __a)
 205   { return (syntax_option_type)(~static_cast<unsigned int>(__a)); }
 206
 207   inline syntax_option_type&
 208   operator&=(syntax_option_type& __a, syntax_option_type __b)
 209   { return __a = __a & __b; }
 210
 211   inline syntax_option_type&
 212   operator|=(syntax_option_type& __a, syntax_option_type __b)
 213   { return __a = __a | __b; }
 214
 215   inline syntax_option_type&
 216   operator^=(syntax_option_type& __a, syntax_option_type __b)
 217   { return __a = __a ^ __b; }
 218
 219   //@}
 220
 221   /**
 222    * @name 5.2 Matching Rules
 223    *
 224    * Matching a regular expression against a sequence of characters [first,
 225    * last) proceeds according to the rules of the grammar specified for the
 226    * regular expression object, modified according to the effects listed
 227    * below for any bitmask elements set.
 228    *
 229    */
 230   //@{
 231
 232   enum __match_flag
 233   {
 234     _S_not_bol,
 235     _S_not_eol,
 236     _S_not_bow,
 237     _S_not_eow,
 238     _S_any,
 239     _S_not_null,
 240     _S_continuous,
 241     _S_prev_avail,
 242     _S_sed,
 243     _S_no_copy,
 244     _S_first_only,
 245     _S_match_flag_last
 246   };
 247
 248   /**
 249    * @brief This is a bitmask type indicating regex matching rules.
 250    *
 251    * The @c match_flag_type is implementation defined but it is valid to
 252    * perform bitwise operations on these values and expect the right thing to
 253    * happen.
 254    */
 255   enum match_flag_type : unsigned int { };
 256
 257   /**
 258    * The default matching rules.
 259    */
 260   _GLIBCXX17_INLINE constexpr match_flag_type match_default =
 261     static_cast<match_flag_type>(0);
 262
 263   /**
 264    * The first character in the sequence [first, last) is treated as though it
 265    * is not at the beginning of a line, so the character (^) in the regular
 266    * expression shall not match [first, first).
 267    */
 268   _GLIBCXX17_INLINE constexpr match_flag_type match_not_bol =
 269     static_cast<match_flag_type>(1 << _S_not_bol);
 270
 271   /**
 272    * The last character in the sequence [first, last) is treated as though it
 273    * is not at the end of a line, so the character ($) in the regular
 274    * expression shall not match [last, last).
 275    */
 276   _GLIBCXX17_INLINE constexpr match_flag_type match_not_eol =
 277     static_cast<match_flag_type>(1 << _S_not_eol);
 278
 279   /**
 280    * The expression \\b is not matched against the sub-sequence
 281    * [first,first).
 282    */
 283   _GLIBCXX17_INLINE constexpr match_flag_type match_not_bow =
 284     static_cast<match_flag_type>(1 << _S_not_bow);
 285
 286   /**
 287    * The expression \\b should not be matched against the sub-sequence
 288    * [last,last).
 289    */
 290   _GLIBCXX17_INLINE constexpr match_flag_type match_not_eow =
 291     static_cast<match_flag_type>(1 << _S_not_eow);
 292
 293   /**
 294    * If more than one match is possible then any match is an acceptable
 295    * result.
 296    */
 297   _GLIBCXX17_INLINE constexpr match_flag_type match_any =
 298     static_cast<match_flag_type>(1 << _S_any);
 299
 300   /**
 301    * The expression does not match an empty sequence.
 302    */
 303   _GLIBCXX17_INLINE constexpr match_flag_type match_not_null =
 304     static_cast<match_flag_type>(1 << _S_not_null);
 305
 306   /**
 307    * The expression only matches a sub-sequence that begins at first .
 308    */
 309   _GLIBCXX17_INLINE constexpr match_flag_type match_continuous =
 310     static_cast<match_flag_type>(1 << _S_continuous);
 311
 312   /**
 313    * --first is a valid iterator position.  When this flag is set then the
 314    * flags match_not_bol and match_not_bow are ignored by the regular
 315    * expression algorithms 28.11 and iterators 28.12.
 316    */
 317   _GLIBCXX17_INLINE constexpr match_flag_type match_prev_avail =
 318     static_cast<match_flag_type>(1 << _S_prev_avail);
 319
 320   /**
 321    * When a regular expression match is to be replaced by a new string, the
 322    * new string is constructed using the rules used by the ECMAScript replace
 323    * function in ECMA- 262 [Ecma International, ECMAScript Language
 324    * Specification, Standard Ecma-262, third edition, 1999], part 15.5.4.11
 325    * String.prototype.replace. In addition, during search and replace
 326    * operations all non-overlapping occurrences of the regular expression
 327    * are located and replaced, and sections of the input that did not match
 328    * the expression are copied unchanged to the output string.
 329    *
 330    * Format strings (from ECMA-262 [15.5.4.11]):
 331    * @li $$  The dollar-sign itself ($)
 332    * @li $&  The matched substring.
 333    * @li $`  The portion of @a string that precedes the matched substring.
 334    *         This would be match_results::prefix().
 335    * @li $'  The portion of @a string that follows the matched substring.
 336    *         This would be match_results::suffix().
 337    * @li $n  The nth capture, where n is in [1,9] and $n is not followed by a
 338    *         decimal digit.  If n <= match_results::size() and the nth capture
 339    *         is undefined, use the empty string instead.  If n >
 340    *         match_results::size(), the result is implementation-defined.
 341    * @li $nn The nnth capture, where nn is a two-digit decimal number on
 342    *         [01, 99].  If nn <= match_results::size() and the nth capture is
 343    *         undefined, use the empty string instead. If
 344    *         nn > match_results::size(), the result is implementation-defined.
 345    */
 346   _GLIBCXX17_INLINE constexpr match_flag_type format_default =
 347     static_cast<match_flag_type>(0);
 348
 349   /**
 350    * When a regular expression match is to be replaced by a new string, the
 351    * new string is constructed using the rules used by the POSIX sed utility
 352    * in IEEE Std 1003.1- 2001 [IEEE, Information Technology -- Portable
 353    * Operating System Interface (POSIX), IEEE Standard 1003.1-2001].
 354    */
 355   _GLIBCXX17_INLINE constexpr match_flag_type format_sed =
 356     static_cast<match_flag_type>(1 << _S_sed);
 357
 358   /**
 359    * During a search and replace operation, sections of the character
 360    * container sequence being searched that do not match the regular
 361    * expression shall not be copied to the output string.
 362    */
 363   _GLIBCXX17_INLINE constexpr match_flag_type format_no_copy =
 364     static_cast<match_flag_type>(1 << _S_no_copy);
 365
 366   /**
 367    * When specified during a search and replace operation, only the first
 368    * occurrence of the regular expression shall be replaced.
 369    */
 370   _GLIBCXX17_INLINE constexpr match_flag_type format_first_only =
 371     static_cast<match_flag_type>(1 << _S_first_only);
 372
 373   constexpr inline match_flag_type
 374   operator&(match_flag_type __a, match_flag_type __b)
 375   {
 376     return (match_flag_type)(static_cast<unsigned int>(__a)
 377                                 & static_cast<unsigned int>(__b));
 378   }
 379
 380   constexpr inline match_flag_type
 381   operator|(match_flag_type __a, match_flag_type __b)
 382   {
 383     return (match_flag_type)(static_cast<unsigned int>(__a)
 384                                 | static_cast<unsigned int>(__b));
 385   }
 386
 387   constexpr inline match_flag_type
 388   operator^(match_flag_type __a, match_flag_type __b)
 389   {
 390     return (match_flag_type)(static_cast<unsigned int>(__a)
 391                                 ^ static_cast<unsigned int>(__b));
 392   }
 393
 394   constexpr inline match_flag_type
 395   operator~(match_flag_type __a)
 396   { return (match_flag_type)(~static_cast<unsigned int>(__a)); }
 397
 398   inline match_flag_type&
 399   operator&=(match_flag_type& __a, match_flag_type __b)
 400   { return __a = __a & __b; }
 401
 402   inline match_flag_type&
 403   operator|=(match_flag_type& __a, match_flag_type __b)
 404   { return __a = __a | __b; }
 405
 406   inline match_flag_type&
 407   operator^=(match_flag_type& __a, match_flag_type __b)
 408   { return __a = __a ^ __b; }
 409
 410   //@}
 411 } // namespace regex_constants
 412 /* @} */ // group regex
 413
 414 _GLIBCXX_END_NAMESPACE_VERSION
 415 } // namespace std
 416