gcc-4_9-branch/libstdc++-v3/include/bits/regex_compiler.h

   1 // class template regex -*- C++ -*-
   2
   3 // Copyright (C) 2010-2014 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_compiler.h
  27  *  This is an internal header file, included by other library headers.
  28  *  Do not attempt to use it directly. @headername{regex}
  29  */
  30
  31 namespace std _GLIBCXX_VISIBILITY(default)
  32 {
  33 namespace __detail
  34 {
  35 _GLIBCXX_BEGIN_NAMESPACE_VERSION
  36
  37   /**
  38    * @addtogroup regex-detail
  39    * @{
  40    */
  41
  42   template<typename, bool, bool>
  43     struct _BracketMatcher;
  44
  45   /**
  46    * @brief Builds an NFA from an input iterator interval.
  47    *
  48    * The %_TraitsT type should fulfill requirements [28.3].
  49    */
  50   template<typename _TraitsT>
  51     class _Compiler
  52     {
  53     public:
  54       typedef typename _TraitsT::char_type        _CharT;
  55       typedef const _CharT*                       _IterT;
  56       typedef _NFA<_TraitsT>                      _RegexT;
  57       typedef regex_constants::syntax_option_type _FlagT;
  58
  59       _Compiler(_IterT __b, _IterT __e,
  60                 const _TraitsT& __traits, _FlagT __flags);
  61
  62       std::shared_ptr<_RegexT>
  63       _M_get_nfa()
  64       { return make_shared<_RegexT>(std::move(_M_nfa)); }
  65
  66     private:
  67       typedef _Scanner<_CharT>               _ScannerT;
  68       typedef typename _TraitsT::string_type _StringT;
  69       typedef typename _ScannerT::_TokenT    _TokenT;
  70       typedef _StateSeq<_TraitsT>            _StateSeqT;
  71       typedef std::stack<_StateSeqT>         _StackT;
  72       typedef std::ctype<_CharT>             _CtypeT;
  73
  74       // accepts a specific token or returns false.
  75       bool
  76       _M_match_token(_TokenT __token);
  77
  78       void
  79       _M_disjunction();
  80
  81       void
  82       _M_alternative();
  83
  84       bool
  85       _M_term();
  86
  87       bool
  88       _M_assertion();
  89
  90       bool
  91       _M_quantifier();
  92
  93       bool
  94       _M_atom();
  95
  96       bool
  97       _M_bracket_expression();
  98
  99       template<bool __icase, bool __collate>
 100         void
 101         _M_insert_any_matcher_ecma();
 102
 103       template<bool __icase, bool __collate>
 104         void
 105         _M_insert_any_matcher_posix();
 106
 107       template<bool __icase, bool __collate>
 108         void
 109         _M_insert_char_matcher();
 110
 111       template<bool __icase, bool __collate>
 112         void
 113         _M_insert_character_class_matcher();
 114
 115       template<bool __icase, bool __collate>
 116         void
 117         _M_insert_bracket_matcher(bool __neg);
 118
 119       template<bool __icase, bool __collate>
 120         void
 121         _M_expression_term(pair<bool, _CharT>& __last_char,
 122                            _BracketMatcher<_TraitsT, __icase, __collate>&
 123                            __matcher);
 124
 125       int
 126       _M_cur_int_value(int __radix);
 127
 128       bool
 129       _M_try_char();
 130
 131       _StateSeqT
 132       _M_pop()
 133       {
 134         auto ret = _M_stack.top();
 135         _M_stack.pop();
 136         return ret;
 137       }
 138
 139       _FlagT          _M_flags;
 140       const _TraitsT& _M_traits;
 141       const _CtypeT&  _M_ctype;
 142       _ScannerT       _M_scanner;
 143       _RegexT         _M_nfa;
 144       _StringT        _M_value;
 145       _StackT         _M_stack;
 146     };
 147
 148   template<typename _TraitsT>
 149     inline std::shared_ptr<_NFA<_TraitsT>>
 150     __compile_nfa(const typename _TraitsT::char_type* __first,
 151                   const typename _TraitsT::char_type* __last,
 152                   const _TraitsT& __traits,
 153                   regex_constants::syntax_option_type __flags)
 154     {
 155       using _Cmplr = _Compiler<_TraitsT>;
 156       return _Cmplr(__first, __last, __traits, __flags)._M_get_nfa();
 157     }
 158
 159   // [28.13.14]
 160   template<typename _TraitsT, bool __icase, bool __collate>
 161     class _RegexTranslator
 162     {
 163     public:
 164       typedef typename _TraitsT::char_type            _CharT;
 165       typedef typename _TraitsT::string_type          _StringT;
 166       typedef typename std::conditional<__collate,
 167                                         _StringT,
 168                                         _CharT>::type _StrTransT;
 169
 170       explicit
 171       _RegexTranslator(const _TraitsT& __traits)
 172       : _M_traits(__traits)
 173       { }
 174
 175       _CharT
 176       _M_translate(_CharT __ch) const
 177       {
 178         if (__icase)
 179           return _M_traits.translate_nocase(__ch);
 180         else if (__collate)
 181           return _M_traits.translate(__ch);
 182         else
 183           return __ch;
 184       }
 185
 186       _StrTransT
 187       _M_transform(_CharT __ch) const
 188       {
 189         return _M_transform_impl(__ch, typename integral_constant<bool,
 190                                  __collate>::type());
 191       }
 192
 193     private:
 194       _StrTransT
 195       _M_transform_impl(_CharT __ch, false_type) const
 196       { return __ch; }
 197
 198       _StrTransT
 199       _M_transform_impl(_CharT __ch, true_type) const
 200       {
 201         _StrTransT __str = _StrTransT(1, _M_translate(__ch));
 202         return _M_traits.transform(__str.begin(), __str.end());
 203       }
 204
 205       const _TraitsT& _M_traits;
 206     };
 207
 208   template<typename _TraitsT>
 209     class _RegexTranslator<_TraitsT, false, false>
 210     {
 211     public:
 212       typedef typename _TraitsT::char_type _CharT;
 213       typedef _CharT                       _StrTransT;
 214
 215       explicit
 216       _RegexTranslator(const _TraitsT& __traits)
 217       { }
 218
 219       _CharT
 220       _M_translate(_CharT __ch) const
 221       { return __ch; }
 222
 223       _StrTransT
 224       _M_transform(_CharT __ch) const
 225       { return __ch; }
 226     };
 227
 228   template<typename _TraitsT, bool __is_ecma, bool __icase, bool __collate>
 229     struct _AnyMatcher;
 230
 231   template<typename _TraitsT, bool __icase, bool __collate>
 232     struct _AnyMatcher<_TraitsT, false, __icase, __collate>
 233     {
 234       typedef _RegexTranslator<_TraitsT, __icase, __collate> _TransT;
 235       typedef typename _TransT::_CharT                       _CharT;
 236
 237       explicit
 238       _AnyMatcher(const _TraitsT& __traits)
 239       : _M_translator(__traits)
 240       { }
 241
 242       bool
 243       operator()(_CharT __ch) const
 244       {
 245         static auto __nul = _M_translator._M_translate('\0');
 246         return _M_translator._M_translate(__ch) != __nul;
 247       }
 248
 249       _TransT _M_translator;
 250     };
 251
 252   template<typename _TraitsT, bool __icase, bool __collate>
 253     struct _AnyMatcher<_TraitsT, true, __icase, __collate>
 254     {
 255       typedef _RegexTranslator<_TraitsT, __icase, __collate> _TransT;
 256       typedef typename _TransT::_CharT                       _CharT;
 257
 258       explicit
 259       _AnyMatcher(const _TraitsT& __traits)
 260       : _M_translator(__traits)
 261       { }
 262
 263       bool
 264       operator()(_CharT __ch) const
 265       { return _M_apply(__ch, typename is_same<_CharT, char>::type()); }
 266
 267       bool
 268       _M_apply(_CharT __ch, true_type) const
 269       {
 270         auto __c = _M_translator._M_translate(__ch);
 271         auto __n = _M_translator._M_translate('\n');
 272         auto __r = _M_translator._M_translate('\r');
 273         return __c != __n && __c != __r;
 274       }
 275
 276       bool
 277       _M_apply(_CharT __ch, false_type) const
 278       {
 279         auto __c = _M_translator._M_translate(__ch);
 280         auto __n = _M_translator._M_translate('\n');
 281         auto __r = _M_translator._M_translate('\r');
 282         auto __u2028 = _M_translator._M_translate(u'\u2028');
 283         auto __u2029 = _M_translator._M_translate(u'\u2029');
 284         return __c != __n && __c != __r && __c != __u2028 && __c != __u2029;
 285       }
 286
 287       _TransT _M_translator;
 288     };
 289
 290   template<typename _TraitsT, bool __icase, bool __collate>
 291     struct _CharMatcher
 292     {
 293       typedef _RegexTranslator<_TraitsT, __icase, __collate> _TransT;
 294       typedef typename _TransT::_CharT                       _CharT;
 295
 296       _CharMatcher(_CharT __ch, const _TraitsT& __traits)
 297       : _M_translator(__traits), _M_ch(_M_translator._M_translate(__ch))
 298       { }
 299
 300       bool
 301       operator()(_CharT __ch) const
 302       { return _M_ch == _M_translator._M_translate(__ch); }
 303
 304       _TransT _M_translator;
 305       _CharT  _M_ch;
 306     };
 307
 308   /// Matches a character range (bracket expression)
 309   template<typename _TraitsT, bool __icase, bool __collate>
 310     struct _BracketMatcher
 311     {
 312     public:
 313       typedef _RegexTranslator<_TraitsT, __icase, __collate> _TransT;
 314       typedef typename _TransT::_CharT                       _CharT;
 315       typedef typename _TransT::_StrTransT                   _StrTransT;
 316       typedef typename _TraitsT::string_type                 _StringT;
 317       typedef typename _TraitsT::char_class_type             _CharClassT;
 318
 319     public:
 320       _BracketMatcher(bool __is_non_matching,
 321                       const _TraitsT& __traits)
 322       : _M_class_set(0), _M_translator(__traits), _M_traits(__traits),
 323       _M_is_non_matching(__is_non_matching)
 324 #ifdef _GLIBCXX_DEBUG
 325       , _M_is_ready(false)
 326 #endif
 327       { }
 328
 329       bool
 330       operator()(_CharT __ch) const
 331       {
 332         _GLIBCXX_DEBUG_ASSERT(_M_is_ready);
 333         return _M_apply(__ch, _IsChar());
 334       }
 335
 336       void
 337       _M_add_char(_CharT __c)
 338       {
 339         _M_char_set.push_back(_M_translator._M_translate(__c));
 340 #ifdef _GLIBCXX_DEBUG
 341         _M_is_ready = false;
 342 #endif
 343       }
 344
 345       void
 346       _M_add_collating_element(const _StringT& __s)
 347       {
 348         auto __st = _M_traits.lookup_collatename(__s.data(),
 349                                                  __s.data() + __s.size());
 350         if (__st.empty())
 351           __throw_regex_error(regex_constants::error_collate);
 352         _M_char_set.push_back(_M_translator._M_translate(__st[0]));
 353 #ifdef _GLIBCXX_DEBUG
 354         _M_is_ready = false;
 355 #endif
 356       }
 357
 358       void
 359       _M_add_equivalence_class(const _StringT& __s)
 360       {
 361         auto __st = _M_traits.lookup_collatename(__s.data(),
 362                                                  __s.data() + __s.size());
 363         if (__st.empty())
 364           __throw_regex_error(regex_constants::error_collate);
 365         __st = _M_traits.transform_primary(__st.data(),
 366                                            __st.data() + __st.size());
 367         _M_equiv_set.push_back(__st);
 368 #ifdef _GLIBCXX_DEBUG
 369         _M_is_ready = false;
 370 #endif
 371       }
 372
 373       // __neg should be true for \D, \S and \W only.
 374       void
 375       _M_add_character_class(const _StringT& __s, bool __neg)
 376       {
 377         auto __mask = _M_traits.lookup_classname(__s.data(),
 378                                                  __s.data() + __s.size(),
 379                                                  __icase);
 380         if (__mask == 0)
 381           __throw_regex_error(regex_constants::error_ctype);
 382         if (!__neg)
 383           _M_class_set |= __mask;
 384         else
 385           _M_neg_class_set.push_back(__mask);
 386 #ifdef _GLIBCXX_DEBUG
 387         _M_is_ready = false;
 388 #endif
 389       }
 390
 391       void
 392       _M_make_range(_CharT __l, _CharT __r)
 393       {
 394         if (__l > __r)
 395           __throw_regex_error(regex_constants::error_range);
 396         _M_range_set.push_back(make_pair(_M_translator._M_transform(__l),
 397                                          _M_translator._M_transform(__r)));
 398 #ifdef _GLIBCXX_DEBUG
 399         _M_is_ready = false;
 400 #endif
 401       }
 402
 403       void
 404       _M_ready()
 405       {
 406         _M_make_cache(_IsChar());
 407 #ifdef _GLIBCXX_DEBUG
 408         _M_is_ready = true;
 409 #endif
 410       }
 411
 412     private:
 413       typedef typename is_same<_CharT, char>::type _IsChar;
 414       struct _Dummy { };
 415       typedef typename conditional<_IsChar::value,
 416                                    std::bitset<1 << (8 * sizeof(_CharT))>,
 417                                    _Dummy>::type _CacheT;
 418       typedef typename make_unsigned<_CharT>::type _UnsignedCharT;
 419
 420     private:
 421       bool
 422       _M_apply(_CharT __ch, false_type) const;
 423
 424       bool
 425       _M_apply(_CharT __ch, true_type) const
 426       { return _M_cache[static_cast<_UnsignedCharT>(__ch)]; }
 427
 428       void
 429       _M_make_cache(true_type)
 430       {
 431         for (int __i = 0; __i < _M_cache.size(); __i++)
 432           _M_cache[static_cast<_UnsignedCharT>(__i)] =
 433             _M_apply(__i, false_type());
 434       }
 435
 436       void
 437       _M_make_cache(false_type)
 438       { }
 439
 440     private:
 441       _CacheT                                   _M_cache;
 442       std::vector<_CharT>                       _M_char_set;
 443       std::vector<_StringT>                     _M_equiv_set;
 444       std::vector<pair<_StrTransT, _StrTransT>> _M_range_set;
 445       std::vector<_CharClassT>                  _M_neg_class_set;
 446       _CharClassT                               _M_class_set;
 447       _TransT                                   _M_translator;
 448       const _TraitsT&                           _M_traits;
 449       bool                                      _M_is_non_matching;
 450 #ifdef _GLIBCXX_DEBUG
 451       bool                                      _M_is_ready;
 452 #endif
 453     };
 454
 455  //@} regex-detail
 456 _GLIBCXX_END_NAMESPACE_VERSION
 457 } // namespace __detail
 458 } // namespace std
 459
 460 #include <bits/regex_compiler.tcc>