ꦫꦣꦺꦤ꧀ꦄꦤ꧀ꦠꦱꦺꦤ

PATH: usr / include / c++ / 11 / bits

// class template regex -*- C++ -*-

// Copyright (C) 2013-2021 Free Software Foundation, Inc.
//
// This file is part of the GNU ISO C++ Library.  This library is free
// software; you can redistribute it and/or modify it under the
// terms of the GNU General Public License as published by the
// Free Software Foundation; either version 3, or (at your option)
// any later version.

// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.

// Under Section 7 of GPL version 3, you are granted additional
// permissions described in the GCC Runtime Library Exception, version
// 3.1, as published by the Free Software Foundation.

// You should have received a copy of the GNU General Public License and
// a copy of the GCC Runtime Library Exception along with this program;
// see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
// <http://www.gnu.org/licenses/>.

/**
 *  @file bits/regex_automaton.tcc
 *  This is an internal header file, included by other library headers.
 *  Do not attempt to use it directly. @headername{regex}
 */

namespace std _GLIBCXX_VISIBILITY(default)
{
_GLIBCXX_BEGIN_NAMESPACE_VERSION

namespace __detail
{
#ifdef _GLIBCXX_DEBUG
  inline std::ostream&
  _State_base::_M_print(std::ostream& ostr) const
  {
    switch (_M_opcode)
    {
      case _S_opcode_alternative:
      case _S_opcode_repeat:
	ostr << "alt next=" << _M_next << " alt=" << _M_alt;
	break;
      case _S_opcode_subexpr_begin:
	ostr << "subexpr begin next=" << _M_next << " index=" << _M_subexpr;
	break;
      case _S_opcode_subexpr_end:
	ostr << "subexpr end next=" << _M_next << " index=" << _M_subexpr;
	break;
      case _S_opcode_backref:
	ostr << "backref next=" << _M_next << " index=" << _M_backref_index;
	break;
      case _S_opcode_match:
	ostr << "match next=" << _M_next;
	break;
      case _S_opcode_accept:
	ostr << "accept next=" << _M_next;
	break;
      default:
	ostr << "unknown next=" << _M_next;
	break;
    }
    return ostr;
  }

// Prints graphviz dot commands for state.
  inline std::ostream&
  _State_base::_M_dot(std::ostream& __ostr, _StateIdT __id) const
  {
    switch (_M_opcode)
    {
      case _S_opcode_alternative:
      case _S_opcode_repeat:
	__ostr << __id << " [label=\"" << __id << "\\nALT\"];\n"
	       << __id << " -> " << _M_next
	       << " [label=\"next\", tailport=\"s\"];\n"
	       << __id << " -> " << _M_alt
	       << " [label=\"alt\", tailport=\"n\"];\n";
	break;
      case _S_opcode_backref:
	__ostr << __id << " [label=\"" << __id << "\\nBACKREF "
	       << _M_subexpr << "\"];\n"
	       << __id << " -> " << _M_next << " [label=\"<match>\"];\n";
	break;
      case _S_opcode_line_begin_assertion:
	__ostr << __id << " [label=\"" << __id << "\\nLINE_BEGIN \"];\n"
	       << __id << " -> " << _M_next << " [label=\"epsilon\"];\n";
	break;
      case _S_opcode_line_end_assertion:
	__ostr << __id << " [label=\"" << __id << "\\nLINE_END \"];\n"
	       << __id << " -> " << _M_next << " [label=\"epsilon\"];\n";
	break;
      case _S_opcode_word_boundary:
	__ostr << __id << " [label=\"" << __id << "\\nWORD_BOUNDRY "
	       << _M_neg << "\"];\n"
	       << __id << " -> " << _M_next << " [label=\"epsilon\"];\n";
	break;
      case _S_opcode_subexpr_lookahead:
	__ostr << __id << " [label=\"" << __id << "\\nLOOK_AHEAD\"];\n"
	       << __id << " -> " << _M_next
	       << " [label=\"epsilon\", tailport=\"s\"];\n"
	       << __id << " -> " << _M_alt
	       << " [label=\"<assert>\", tailport=\"n\"];\n";
	break;
      case _S_opcode_subexpr_begin:
	__ostr << __id << " [label=\"" << __id << "\\nSBEGIN "
	       << _M_subexpr << "\"];\n"
	       << __id << " -> " << _M_next << " [label=\"epsilon\"];\n";
	break;
      case _S_opcode_subexpr_end:
	__ostr << __id << " [label=\"" << __id << "\\nSEND "
	       << _M_subexpr << "\"];\n"
	       << __id << " -> " << _M_next << " [label=\"epsilon\"];\n";
	break;
      case _S_opcode_dummy:
	break;
      case _S_opcode_match:
	__ostr << __id << " [label=\"" << __id << "\\nMATCH\"];\n"
	       << __id << " -> " << _M_next << " [label=\"<match>\"];\n";
	break;
      case _S_opcode_accept:
	__ostr << __id << " [label=\"" << __id << "\\nACC\"];\n" ;
	break;
      default:
	_GLIBCXX_DEBUG_ASSERT(false);
	break;
    }
    return __ostr;
  }

template<typename _TraitsT>
    std::ostream&
    _NFA<_TraitsT>::_M_dot(std::ostream& __ostr) const
    {
      __ostr << "digraph _Nfa {\n"
		"  rankdir=LR;\n";
      for (size_t __i = 0; __i < this->size(); ++__i)
	(*this)[__i]._M_dot(__ostr, __i);
      __ostr << "}\n";
      return __ostr;
    }
#endif

template<typename _TraitsT>
    _StateIdT
    _NFA<_TraitsT>::_M_insert_backref(size_t __index)
    {
      if (this->_M_flags & regex_constants::__polynomial)
	__throw_regex_error(regex_constants::error_complexity,
			    "Unexpected back-reference in polynomial mode.");
      // To figure out whether a backref is valid, a stack is used to store
      // unfinished sub-expressions. For example, when parsing
      // "(a(b)(c\\1(d)))" at '\\1', _M_subexpr_count is 3, indicating that 3
      // sub expressions are parsed or partially parsed(in the stack), aka,
      // "(a..", "(b)" and "(c..").
      // _M_paren_stack is {1, 3}, for incomplete "(a.." and "(c..". At this
      // time, "\\2" is valid, but "\\1" and "\\3" are not.
      if (__index >= _M_subexpr_count)
	__throw_regex_error(
	  regex_constants::error_backref,
	  "Back-reference index exceeds current sub-expression count.");
      for (auto __it : this->_M_paren_stack)
	if (__index == __it)
	  __throw_regex_error(
	    regex_constants::error_backref,
	    "Back-reference referred to an opened sub-expression.");
      this->_M_has_backref = true;
      _StateT __tmp(_S_opcode_backref);
      __tmp._M_backref_index = __index;
      return _M_insert_state(std::move(__tmp));
    }

template<typename _TraitsT>
    void
    _NFA<_TraitsT>::_M_eliminate_dummy()
    {
      for (auto& __it : *this)
	{
	  while (__it._M_next >= 0 && (*this)[__it._M_next]._M_opcode()
		 == _S_opcode_dummy)
	    __it._M_next = (*this)[__it._M_next]._M_next;
	  if (__it._M_has_alt())
	    while (__it._M_alt >= 0 && (*this)[__it._M_alt]._M_opcode()
		   == _S_opcode_dummy)
	      __it._M_alt = (*this)[__it._M_alt]._M_next;
	}
    }

// Just apply DFS on the sequence and re-link their links.
  template<typename _TraitsT>
    _StateSeq<_TraitsT>
    _StateSeq<_TraitsT>::_M_clone()
    {
      std::map<_StateIdT, _StateIdT> __m;
      std::stack<_StateIdT> __stack;
      __stack.push(_M_start);
      while (!__stack.empty())
	{
	  auto __u = __stack.top();
	  __stack.pop();
	  auto __dup = _M_nfa[__u];
	  // _M_insert_state() never return -1
	  auto __id = _M_nfa._M_insert_state(std::move(__dup));
	  __m[__u] = __id;
	  if (__dup._M_has_alt())
	    if (__dup._M_alt != _S_invalid_state_id
		&& __m.count(__dup._M_alt) == 0)
	      __stack.push(__dup._M_alt);
	  if (__u == _M_end)
	    continue;
	  if (__dup._M_next != _S_invalid_state_id
	      && __m.count(__dup._M_next) == 0)
	    __stack.push(__dup._M_next);
	}
      for (auto __it : __m)
	{
	  auto __v = __it.second;
	  auto& __ref = _M_nfa[__v];
	  if (__ref._M_next != _S_invalid_state_id)
	    __ref._M_next = __m.find(__ref._M_next)->second;
	  if (__ref._M_has_alt() && __ref._M_alt != _S_invalid_state_id)
	    __ref._M_alt = __m.find(__ref._M_alt)->second;
	}
      return _StateSeq(_M_nfa, __m[_M_start], __m[_M_end]);
    }
} // namespace __detail

_GLIBCXX_END_NAMESPACE_VERSION
} // namespace

[+] ..
[-] atomic_futex.h [edit]
[-] random.h [edit]
[-] functexcept.h [edit]
[-] exception.h [edit]
[-] regex.tcc [edit]
[-] char_traits.h [edit]
[-] uses_allocator.h [edit]
[-] specfun.h [edit]
[-] regex_automaton.tcc [edit]
[-] stl_stack.h [edit]
[-] node_handle.h [edit]
[-] regex_error.h [edit]
[-] stl_list.h [edit]
[-] vector.tcc [edit]
[-] stl_algobase.h [edit]
[-] regex_automaton.h [edit]
[-] cxxabi_init_exception.h [edit]
[-] basic_ios.tcc [edit]
[-] deque.tcc [edit]
[-] fs_fwd.h [edit]
[-] concept_check.h [edit]
[-] stl_algo.h [edit]
[-] functional_hash.h [edit]
[-] random.tcc [edit]
[-] fs_path.h [edit]
[-] max_size_type.h [edit]
[-] nested_exception.h [edit]
[-] atomic_base.h [edit]
[-] charconv.h [edit]
[-] ostream.tcc [edit]
[-] predefined_ops.h [edit]
[-] boost_concept_check.h [edit]
[-] atomic_lockfree_defines.h [edit]
[-] stl_construct.h [edit]
[-] list.tcc [edit]
[-] locale_classes.tcc [edit]
[-] uniform_int_dist.h [edit]
[-] semaphore_base.h [edit]
[-] mask_array.h [edit]
[-] ranges_algobase.h [edit]
[-] stl_heap.h [edit]
[-] alloc_traits.h [edit]
[-] string_view.tcc [edit]
[-] sstream.tcc [edit]
[-] regex_executor.tcc [edit]
[-] cpp_type_traits.h [edit]
[-] stl_map.h [edit]
[-] hashtable_policy.h [edit]
[-] regex_scanner.tcc [edit]
[-] ranges_base.h [edit]
[-] forward_list.h [edit]
[-] allocator.h [edit]
[-] codecvt.h [edit]
[-] istream.tcc [edit]
[-] memoryfwd.h [edit]
[-] stl_vector.h [edit]
[-] valarray_array.tcc [edit]
[-] valarray_array.h [edit]
[-] locale_facets.tcc [edit]
[-] stl_tree.h [edit]
[-] atomic_timed_wait.h [edit]
[-] streambuf_iterator.h [edit]
[-] unique_lock.h [edit]
[-] exception_defines.h [edit]
[-] stl_raw_storage_iter.h [edit]
[-] locale_facets_nonio.tcc [edit]
[-] regex.h [edit]
[-] stl_tempbuf.h [edit]
[-] unordered_map.h [edit]
[-] std_mutex.h [edit]
[-] regex_scanner.h [edit]
[-] locale_facets_nonio.h [edit]
[-] basic_string.h [edit]
[-] locale_classes.h [edit]
[-] regex_executor.h [edit]
[-] stl_multiset.h [edit]
[-] postypes.h [edit]
[-] stl_multimap.h [edit]
[-] std_thread.h [edit]
[-] atomic_wait.h [edit]
[-] fs_dir.h [edit]
[-] exception_ptr.h [edit]
[-] move.h [edit]
[-] erase_if.h [edit]
[-] valarray_after.h [edit]
[-] hash_bytes.h [edit]
[-] ranges_cmp.h [edit]
[-] ios_base.h [edit]
[-] invoke.h [edit]
[-] stream_iterator.h [edit]
[-] std_function.h [edit]
[-] stl_iterator.h [edit]
[-] slice_array.h [edit]
[-] stringfwd.h [edit]
[-] stl_function.h [edit]
[-] forward_list.tcc [edit]
[-] stl_iterator_base_funcs.h [edit]
[-] refwrap.h [edit]
[-] unordered_set.h [edit]
[-] stl_uninitialized.h [edit]
[-] streambuf.tcc [edit]
[-] algorithmfwd.h [edit]
[-] range_access.h [edit]
[-] enable_special_members.h [edit]
[-] unique_ptr.h [edit]
[-] localefwd.h [edit]
[-] quoted_string.h [edit]
[-] uses_allocator_args.h [edit]
[-] stl_queue.h [edit]
[-] gslice_array.h [edit]
[-] ptr_traits.h [edit]
[-] ranges_algo.h [edit]
[-] cxxabi_forced.h [edit]
[-] std_abs.h [edit]
[-] align.h [edit]
[-] regex_compiler.h [edit]
[-] stl_relops.h [edit]
[-] indirect_array.h [edit]
[-] regex_constants.h [edit]
[-] stl_bvector.h [edit]
[-] fs_ops.h [edit]
[-] parse_numbers.h [edit]
[-] shared_ptr_base.h [edit]
[-] c++0x_warning.h [edit]
[-] basic_string.tcc [edit]
[-] stl_deque.h [edit]
[-] ranges_uninitialized.h [edit]
[-] hashtable.h [edit]
[-] iterator_concepts.h [edit]
[-] stl_iterator_base_types.h [edit]
[-] locale_conv.h [edit]
[-] stl_pair.h [edit]
[-] shared_ptr_atomic.h [edit]
[-] ranges_util.h [edit]
[-] valarray_before.h [edit]
[-] stl_set.h [edit]
[-] stl_numeric.h [edit]
[-] locale_facets.h [edit]
[-] gslice.h [edit]
[-] shared_ptr.h [edit]
[-] ostream_insert.h [edit]
[-] fstream.tcc [edit]
[-] this_thread_sleep.h [edit]
[-] basic_ios.h [edit]
[-] allocated_ptr.h [edit]
[-] regex_compiler.tcc [edit]