LCOV - code coverage report
Current view: top level - usr/include/c++/9/bits - regex_automaton.h (source / functions) Hit Total Coverage
Test: ROSE Lines: 68 96 70.8 %
Date: 2022-12-08 13:48:47 Functions: 7 13 53.8 %
Legend: Lines: hit not hit

          Line data    Source code
       1             : // class template regex -*- C++ -*-
       2             : 
       3             : // Copyright (C) 2013-2019 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_automaton.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             : // This macro defines the maximal state number a NFA can have.
      32             : #ifndef _GLIBCXX_REGEX_STATE_LIMIT
      33             : #define _GLIBCXX_REGEX_STATE_LIMIT 100000
      34             : #endif
      35             : 
      36             : namespace std _GLIBCXX_VISIBILITY(default)
      37             : {
      38             : _GLIBCXX_BEGIN_NAMESPACE_VERSION
      39             : 
      40             : namespace __detail
      41             : {
      42             :   /**
      43             :    *  @defgroup regex-detail Base and Implementation Classes
      44             :    *  @ingroup regex
      45             :    *  @{
      46             :    */
      47             : 
      48             :   typedef long _StateIdT;
      49             :   static const _StateIdT _S_invalid_state_id  = -1;
      50             : 
      51             :   template<typename _CharT>
      52             :     using _Matcher = std::function<bool (_CharT)>;
      53             : 
      54             :   /// Operation codes that define the type of transitions within the base NFA
      55             :   /// that represents the regular expression.
      56             :   enum _Opcode : int
      57             :   {
      58             :       _S_opcode_unknown,
      59             :       _S_opcode_alternative,
      60             :       _S_opcode_repeat,
      61             :       _S_opcode_backref,
      62             :       _S_opcode_line_begin_assertion,
      63             :       _S_opcode_line_end_assertion,
      64             :       _S_opcode_word_boundary,
      65             :       _S_opcode_subexpr_lookahead,
      66             :       _S_opcode_subexpr_begin,
      67             :       _S_opcode_subexpr_end,
      68             :       _S_opcode_dummy,
      69             :       _S_opcode_match,
      70             :       _S_opcode_accept,
      71             :   };
      72             : 
      73             :   struct _State_base
      74             :   {
      75             :   protected:
      76             :     _Opcode      _M_opcode;           // type of outgoing transition
      77             : 
      78             :   public:
      79             :     _StateIdT    _M_next;             // outgoing transition
      80             :     union // Since they are mutually exclusive.
      81             :     {
      82             :       size_t _M_subexpr;        // for _S_opcode_subexpr_*
      83             :       size_t _M_backref_index;  // for _S_opcode_backref
      84             :       struct
      85             :       {
      86             :         // for _S_opcode_alternative, _S_opcode_repeat and
      87             :         // _S_opcode_subexpr_lookahead
      88             :         _StateIdT  _M_alt;
      89             :         // for _S_opcode_word_boundary or _S_opcode_subexpr_lookahead or
      90             :         // quantifiers (ungreedy if set true)
      91             :         bool       _M_neg;
      92             :       };
      93             :       // For _S_opcode_match
      94             :       __gnu_cxx::__aligned_membuf<_Matcher<char>> _M_matcher_storage;
      95             :     };
      96             : 
      97             :   protected:
      98        8595 :     explicit _State_base(_Opcode __opcode)
      99        8595 :     : _M_opcode(__opcode), _M_next(_S_invalid_state_id)
     100             :     { }
     101             : 
     102             :   public:
     103             :     bool
     104        8595 :     _M_has_alt()
     105             :     {
     106        8595 :       return _M_opcode == _S_opcode_alternative
     107             :         || _M_opcode == _S_opcode_repeat
     108        8595 :         || _M_opcode == _S_opcode_subexpr_lookahead;
     109             :     }
     110             : 
     111             : #ifdef _GLIBCXX_DEBUG
     112             :     std::ostream&
     113             :     _M_print(std::ostream& ostr) const;
     114             : 
     115             :     // Prints graphviz dot commands for state.
     116             :     std::ostream&
     117             :     _M_dot(std::ostream& __ostr, _StateIdT __id) const;
     118             : #endif
     119             :   };
     120             : 
     121             :   template<typename _Char_type>
     122             :     struct _State : _State_base
     123             :     {
     124             :       typedef _Matcher<_Char_type> _MatcherT;
     125             :       static_assert(sizeof(_MatcherT) == sizeof(_Matcher<char>),
     126             :                     "std::function<bool(T)> has the same size as "
     127             :                     "std::function<bool(char)>");
     128             :       static_assert(alignof(_MatcherT) == alignof(_Matcher<char>),
     129             :                     "std::function<bool(T)> has the same alignment as "
     130             :                     "std::function<bool(char)>");
     131             : 
     132             :       explicit
     133        8595 :       _State(_Opcode __opcode) : _State_base(__opcode)
     134             :       {
     135        8595 :         if (_M_opcode() == _S_opcode_match)
     136        4775 :           new (this->_M_matcher_storage._M_addr()) _MatcherT();
     137             :       }
     138             : 
     139       14325 :       _State(const _State& __rhs) : _State_base(__rhs)
     140             :       {
     141       14325 :         if (__rhs._M_opcode() == _S_opcode_match)
     142        8595 :           new (this->_M_matcher_storage._M_addr())
     143             :             _MatcherT(__rhs._M_get_matcher());
     144             :       }
     145             : 
     146       15280 :       _State(_State&& __rhs) : _State_base(__rhs)
     147             :       {
     148       15280 :         if (__rhs._M_opcode() == _S_opcode_match)
     149       13370 :           new (this->_M_matcher_storage._M_addr())
     150        9550 :             _MatcherT(std::move(__rhs._M_get_matcher()));
     151             :       }
     152             : 
     153             :       _State&
     154             :       operator=(const _State&) = delete;
     155             : 
     156       38200 :       ~_State()
     157             :       {
     158       38200 :         if (_M_opcode() == _S_opcode_match)
     159       22920 :           _M_get_matcher().~_MatcherT();
     160       22920 :       }
     161             : 
     162             :       // Since correct ctor and dtor rely on _M_opcode, it's better not to
     163             :       // change it over time.
     164             :       _Opcode
     165       57029 :       _M_opcode() const
     166             :       { return _State_base::_M_opcode; }
     167             : 
     168             :       bool
     169        1411 :       _M_matches(_Char_type __char) const
     170        2822 :       { return _M_get_matcher()(__char); }
     171             : 
     172             :       _MatcherT&
     173       37245 :       _M_get_matcher()
     174       32470 :       { return *static_cast<_MatcherT*>(this->_M_matcher_storage._M_addr()); }
     175             : 
     176             :       const _MatcherT&
     177       10006 :       _M_get_matcher() const
     178             :       {
     179             :         return *static_cast<const _MatcherT*>(
     180       10006 :             this->_M_matcher_storage._M_addr());
     181             :       }
     182             :     };
     183             : 
     184             :   struct _NFA_base
     185             :   {
     186             :     typedef size_t                              _SizeT;
     187             :     typedef regex_constants::syntax_option_type _FlagT;
     188             : 
     189             :     explicit
     190         955 :     _NFA_base(_FlagT __f)
     191         955 :     : _M_flags(__f), _M_start_state(0), _M_subexpr_count(0),
     192         955 :     _M_has_backref(false)
     193             :     { }
     194             : 
     195             :     _NFA_base(_NFA_base&&) = default;
     196             : 
     197             :   protected:
     198             :     ~_NFA_base() = default;
     199             : 
     200             :   public:
     201             :     _FlagT
     202             :     _M_options() const
     203             :     { return _M_flags; }
     204             : 
     205             :     _StateIdT
     206        1910 :     _M_start() const
     207        1910 :     { return _M_start_state; }
     208             : 
     209             :     _SizeT
     210         955 :     _M_sub_count() const
     211         955 :     { return _M_subexpr_count; }
     212             : 
     213             :     _GLIBCXX_STD_C::vector<size_t> _M_paren_stack;
     214             :     _FlagT                    _M_flags;
     215             :     _StateIdT                 _M_start_state;
     216             :     _SizeT                    _M_subexpr_count;
     217             :     bool                      _M_has_backref;
     218             :   };
     219             : 
     220             :   template<typename _TraitsT>
     221             :     struct _NFA
     222             :     : _NFA_base, _GLIBCXX_STD_C::vector<_State<typename _TraitsT::char_type>>
     223             :     {
     224             :       typedef typename _TraitsT::char_type      _Char_type;
     225             :       typedef _State<_Char_type>          _StateT;
     226             :       typedef _Matcher<_Char_type>                _MatcherT;
     227             : 
     228         955 :       _NFA(const typename _TraitsT::locale_type& __loc, _FlagT __flags)
     229         955 :       : _NFA_base(__flags)
     230        1910 :       { _M_traits.imbue(__loc); }
     231             : 
     232             :       // for performance reasons _NFA objects should only be moved not copied
     233             :       _NFA(const _NFA&) = delete;
     234             :       _NFA(_NFA&&) = default;
     235             : 
     236             :       _StateIdT
     237         955 :       _M_insert_accept()
     238             :       {
     239         955 :         auto __ret = _M_insert_state(_StateT(_S_opcode_accept));
     240         955 :         return __ret;
     241             :       }
     242             : 
     243             :       _StateIdT
     244           0 :       _M_insert_alt(_StateIdT __next, _StateIdT __alt,
     245             :                     bool __neg __attribute__((__unused__)))
     246             :       {
     247           0 :         _StateT __tmp(_S_opcode_alternative);
     248             :         // It labels every quantifier to make greedy comparison easier in BFS
     249             :         // approach.
     250           0 :         __tmp._M_next = __next;
     251           0 :         __tmp._M_alt = __alt;
     252           0 :         return _M_insert_state(std::move(__tmp));
     253             :       }
     254             : 
     255             :       _StateIdT
     256           0 :       _M_insert_repeat(_StateIdT __next, _StateIdT __alt, bool __neg)
     257             :       {
     258           0 :         _StateT __tmp(_S_opcode_repeat);
     259             :         // It labels every quantifier to make greedy comparison easier in BFS
     260             :         // approach.
     261           0 :         __tmp._M_next = __next;
     262           0 :         __tmp._M_alt = __alt;
     263           0 :         __tmp._M_neg = __neg;
     264           0 :         return _M_insert_state(std::move(__tmp));
     265             :       }
     266             : 
     267             :       _StateIdT
     268        4775 :       _M_insert_matcher(_MatcherT __m)
     269             :       {
     270        4775 :         _StateT __tmp(_S_opcode_match);
     271        4775 :         __tmp._M_get_matcher() = std::move(__m);
     272       19100 :         return _M_insert_state(std::move(__tmp));
     273             :       }
     274             : 
     275             :       _StateIdT
     276         955 :       _M_insert_subexpr_begin()
     277             :       {
     278         955 :         auto __id = this->_M_subexpr_count++;
     279         955 :         this->_M_paren_stack.push_back(__id);
     280        1910 :         _StateT __tmp(_S_opcode_subexpr_begin);
     281         955 :         __tmp._M_subexpr = __id;
     282         955 :         return _M_insert_state(std::move(__tmp));
     283             :       }
     284             : 
     285             :       _StateIdT
     286         955 :       _M_insert_subexpr_end()
     287             :       {
     288        1910 :         _StateT __tmp(_S_opcode_subexpr_end);
     289         955 :         __tmp._M_subexpr = this->_M_paren_stack.back();
     290         955 :         this->_M_paren_stack.pop_back();
     291         955 :         return _M_insert_state(std::move(__tmp));
     292             :       }
     293             : 
     294             :       _StateIdT
     295             :       _M_insert_backref(size_t __index);
     296             : 
     297             :       _StateIdT
     298           0 :       _M_insert_line_begin()
     299           0 :       { return _M_insert_state(_StateT(_S_opcode_line_begin_assertion)); }
     300             : 
     301             :       _StateIdT
     302           0 :       _M_insert_line_end()
     303           0 :       { return _M_insert_state(_StateT(_S_opcode_line_end_assertion)); }
     304             : 
     305             :       _StateIdT
     306           0 :       _M_insert_word_bound(bool __neg)
     307             :       {
     308           0 :         _StateT __tmp(_S_opcode_word_boundary);
     309           0 :         __tmp._M_neg = __neg;
     310           0 :         return _M_insert_state(std::move(__tmp));
     311             :       }
     312             : 
     313             :       _StateIdT
     314           0 :       _M_insert_lookahead(_StateIdT __alt, bool __neg)
     315             :       {
     316           0 :         _StateT __tmp(_S_opcode_subexpr_lookahead);
     317           0 :         __tmp._M_alt = __alt;
     318           0 :         __tmp._M_neg = __neg;
     319           0 :         return _M_insert_state(std::move(__tmp));
     320             :       }
     321             : 
     322             :       _StateIdT
     323         955 :       _M_insert_dummy()
     324         955 :       { return _M_insert_state(_StateT(_S_opcode_dummy)); }
     325             : 
     326             :       _StateIdT
     327        8595 :       _M_insert_state(_StateT __s)
     328             :       {
     329        8595 :         this->push_back(std::move(__s));
     330        8595 :         if (this->size() > _GLIBCXX_REGEX_STATE_LIMIT)
     331           0 :           __throw_regex_error(
     332             :             regex_constants::error_space,
     333             :             "Number of NFA states exceeds limit. Please use shorter regex "
     334             :             "string, or use smaller brace expression, or make "
     335             :             "_GLIBCXX_REGEX_STATE_LIMIT larger.");
     336        8595 :         return this->size() - 1;
     337             :       }
     338             : 
     339             :       // Eliminate dummy node in this NFA to make it compact.
     340             :       void
     341             :       _M_eliminate_dummy();
     342             : 
     343             : #ifdef _GLIBCXX_DEBUG
     344             :       std::ostream&
     345             :       _M_dot(std::ostream& __ostr) const;
     346             : #endif
     347             :     public:
     348             :       _TraitsT                  _M_traits;
     349             :     };
     350             : 
     351             :   /// Describes a sequence of one or more %_State, its current start
     352             :   /// and end(s).  This structure contains fragments of an NFA during
     353             :   /// construction.
     354             :   template<typename _TraitsT>
     355             :     class _StateSeq
     356             :     {
     357             :     public:
     358             :       typedef _NFA<_TraitsT> _RegexT;
     359             : 
     360             :     public:
     361        6685 :       _StateSeq(_RegexT& __nfa, _StateIdT __s)
     362        6685 :       : _M_nfa(__nfa), _M_start(__s), _M_end(__s)
     363             :       { }
     364             : 
     365           0 :       _StateSeq(_RegexT& __nfa, _StateIdT __s, _StateIdT __end)
     366           0 :       : _M_nfa(__nfa), _M_start(__s), _M_end(__end)
     367             :       { }
     368             : 
     369             :       // Append a state on *this and change *this to the new sequence.
     370             :       void
     371        2865 :       _M_append(_StateIdT __id)
     372             :       {
     373        1910 :         _M_nfa[_M_end]._M_next = __id;
     374        1910 :         _M_end = __id;
     375           0 :       }
     376             : 
     377             :       // Append a sequence on *this and change *this to the new sequence.
     378             :       void
     379        5730 :       _M_append(const _StateSeq& __s)
     380             :       {
     381        5730 :         _M_nfa[_M_end]._M_next = __s._M_start;
     382        5730 :         _M_end = __s._M_end;
     383             :       }
     384             : 
     385             :       // Clones an entire sequence.
     386             :       _StateSeq
     387             :       _M_clone();
     388             : 
     389             :     public:
     390             :       _RegexT&  _M_nfa;
     391             :       _StateIdT _M_start;
     392             :       _StateIdT _M_end;
     393             :     };
     394             : 
     395             :  ///@} regex-detail
     396             : } // namespace __detail
     397             : 
     398             : _GLIBCXX_END_NAMESPACE_VERSION
     399             : } // namespace std
     400             : 
     401             : #include <bits/regex_automaton.tcc>

Generated by: LCOV version 1.14