]> rtime.felk.cvut.cz Git - l4.git/blob - l4/pkg/l4re-core/libstdc++-v3/contrib/libstdc++-v3-4.8/include/bits/regex_grep_matcher.h
Update
[l4.git] / l4 / pkg / l4re-core / libstdc++-v3 / contrib / libstdc++-v3-4.8 / include / bits / regex_grep_matcher.h
1 // class template regex -*- C++ -*-
2
3 // Copyright (C) 2010-2013 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_grep_matcher.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 _GLIBCXX_BEGIN_NAMESPACE_VERSION
34
35   template<typename _BiIter>
36     class sub_match;
37
38   template<typename _Bi_iter, typename _Allocator>
39     class match_results;
40
41 _GLIBCXX_END_NAMESPACE_VERSION
42   
43 namespace __detail
44 {
45 _GLIBCXX_BEGIN_NAMESPACE_VERSION
46
47   /**
48    *  @defgroup regex-detail Base and Implementation Classes
49    *  @ingroup regex
50    *  @{
51    */
52
53   /// A _Results facade specialized for wrapping a templated match_results.
54   template<typename _FwdIterT, typename _Alloc>
55     class _SpecializedResults
56     : public _Results
57     {
58     public:
59       _SpecializedResults(const _Automaton::_SizeT __size,
60                           const _SpecializedCursor<_FwdIterT>& __cursor,
61                           match_results<_FwdIterT, _Alloc>& __m);
62
63       void
64       _M_set_pos(int __i, int __j, const _PatternCursor& __pc);
65
66       void
67       _M_set_matched(int __i, bool __is_matched)
68       { _M_results.at(__i).matched = __is_matched; }
69
70     private:
71       match_results<_FwdIterT, _Alloc>& _M_results;
72     };
73
74   template<typename _FwdIterT, typename _Alloc>
75     _SpecializedResults<_FwdIterT, _Alloc>::
76     _SpecializedResults(const _Automaton::_SizeT __size,
77                         const _SpecializedCursor<_FwdIterT>& __cursor,
78                         match_results<_FwdIterT, _Alloc>& __m)
79     : _M_results(__m)
80     {
81       _M_results.clear();
82       _M_results.reserve(__size + 2);
83       _M_results.resize(__size);
84       typename match_results<_FwdIterT, _Alloc>::value_type __sm;
85       __sm.first = __sm.second = __cursor._M_begin();
86       _M_results.push_back(__sm);
87       __sm.first = __sm.second = __cursor._M_end();
88       _M_results.push_back(__sm);
89     }
90
91   template<typename _FwdIterT, typename _Alloc>
92     void
93     _SpecializedResults<_FwdIterT, _Alloc>::
94     _M_set_pos(int __i, int __j, const _PatternCursor& __pc)
95     { 
96       typedef const _SpecializedCursor<_FwdIterT>& _CursorT;
97       _CursorT __c = static_cast<_CursorT>(__pc);
98       if (__j == 0)
99         _M_results.at(__i).first = __c._M_pos();
100       else
101         _M_results.at(__i).second = __c._M_pos()+1;
102     }
103
104   /// A stack of states used in evaluating the NFA.
105   typedef std::stack<_StateIdT, std::vector<_StateIdT> > _StateStack;
106
107   /// Executes a regular expression NFA/DFA over a range using a
108   /// variant of the parallel execution algorithm featured in the grep
109   /// utility, modified to use Laurikari tags.
110   class _Grep_matcher
111   {
112   public:
113     _Grep_matcher(_PatternCursor&                   __p,
114                   _Results&                         __r,
115                   const _AutomatonPtr&              __automaton,
116                   regex_constants::match_flag_type  __flags);
117
118   private:
119     _StateSet
120     _M_e_closure(_StateIdT __i);
121
122     _StateSet
123     _M_e_closure(const _StateSet& __s);
124
125     _StateSet
126     _M_e_closure(_StateStack& __stack, const _StateSet& __s);
127
128     const std::shared_ptr<_Nfa>        _M_nfa;
129     _PatternCursor&                    _M_pattern;
130     _Results&                          _M_results;
131   };
132
133  //@} regex-detail
134 _GLIBCXX_END_NAMESPACE_VERSION
135 } // namespace __detail
136 } // namespace std
137
138 #include <bits/regex_grep_matcher.tcc>