blob: 5815f380f9b40a984f4b98e654c2764de5e3e2f9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
#pragma once
#include "base/string_utils.hpp"
#include "std/string.hpp"
namespace strings
{
template <typename DFA>
class PrefixDFAModifier
{
public:
class Iterator
{
public:
Iterator & Move(strings::UniChar c)
{
if (Accepts() || Rejects())
return *this;
m_it.Move(c);
if (m_it.Accepts())
m_accepts = true;
return *this;
}
bool Accepts() const { return m_accepts; }
bool Rejects() const { return !Accepts() && m_it.Rejects(); }
private:
friend class PrefixDFAModifier;
Iterator(typename DFA::Iterator it) : m_it(it), m_accepts(m_it.Accepts()) {}
typename DFA::Iterator m_it;
bool m_accepts;
};
explicit PrefixDFAModifier(DFA const & dfa) : m_dfa(dfa) {}
Iterator Begin() const { return Iterator(m_dfa.Begin()); }
private:
DFA const m_dfa;
};
template <typename DFAIt, typename It>
void DFAMove(DFAIt & it, It begin, It end)
{
for (; begin != end; ++begin)
it.Move(*begin);
}
template <typename DFAIt>
void DFAMove(DFAIt & it, UniString const & s)
{
DFAMove(it, s.begin(), s.end());
}
template <typename DFAIt>
void DFAMove(DFAIt & it, string const & s)
{
DFAMove(it, MakeUniString(s));
}
} // namespace strings
|
