Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
RegExpFromXmlParser.h
Go to the documentation of this file.
1
6#pragma once
7
8#include <alib/set>
9#include <alib/deque>
10#include <sax/Token.h>
11
12#include <sax/FromXMLParserHelper.h>
13
14#include <regexp/unbounded/UnboundedRegExpElements.h>
15#include <regexp/formal/FormalRegExpElements.h>
16#include <core/xmlApi.hpp>
17
18namespace regexp {
19
23class RegExpFromXmlParser {
24public:
25 template < class SymbolType >
26 static ext::set < SymbolType > parseAlphabet ( ext::deque < sax::Token >::iterator & input );
27
28 template < class SymbolType >
29 static ext::ptr_value < UnboundedRegExpElement < SymbolType > > parseUnboundedRegExpElement ( ext::deque < sax::Token >::iterator & input );
30
31 template < class SymbolType >
32 static ext::ptr_value < UnboundedRegExpElement < SymbolType > > parseUnboundedRegExpEpsilon ( ext::deque < sax::Token >::iterator & input );
33 template < class SymbolType >
34 static ext::ptr_value < UnboundedRegExpElement < SymbolType > > parseUnboundedRegExpEmpty ( ext::deque < sax::Token >::iterator & input );
35 template < class SymbolType >
36 static ext::ptr_value < UnboundedRegExpElement < SymbolType > > parseUnboundedRegExpIteration ( ext::deque < sax::Token >::iterator & input );
37 template < class SymbolType >
38 static ext::ptr_value < UnboundedRegExpElement < SymbolType > > parseUnboundedRegExpAlternation ( ext::deque < sax::Token >::iterator & input );
39 template < class SymbolType >
40 static ext::ptr_value < UnboundedRegExpElement < SymbolType > > parseUnboundedRegExpConcatenation ( ext::deque < sax::Token >::iterator & input );
41
42 template < class SymbolType >
43 static ext::ptr_value < FormalRegExpElement < SymbolType > > parseFormalRegExpElement ( ext::deque < sax::Token >::iterator & input );
44
45 template < class SymbolType >
46 static ext::ptr_value < FormalRegExpElement < SymbolType > > parseFormalRegExpEpsilon ( ext::deque < sax::Token >::iterator & input );
47 template < class SymbolType >
48 static ext::ptr_value < FormalRegExpElement < SymbolType > > parseFormalRegExpEmpty ( ext::deque < sax::Token >::iterator & input );
49 template < class SymbolType >
50 static ext::ptr_value < FormalRegExpElement < SymbolType > > parseFormalRegExpIteration ( ext::deque < sax::Token >::iterator & input );
51 template < class SymbolType >
52 static ext::ptr_value < FormalRegExpElement < SymbolType > > parseFormalRegExpAlternation ( ext::deque < sax::Token >::iterator & input );
53 template < class SymbolType >
54 static ext::ptr_value < FormalRegExpElement < SymbolType > > parseFormalRegExpConcatenation ( ext::deque < sax::Token >::iterator & input );
55};
56
57template < class SymbolType >
58ext::set < SymbolType > RegExpFromXmlParser::parseAlphabet ( ext::deque < sax::Token >::iterator & input ) {
59 ext::set < SymbolType > alphabet;
60 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::START_ELEMENT, "alphabet" );
61
62 while ( sax::FromXMLParserHelper::isTokenType ( input, sax::Token::TokenType::START_ELEMENT ) )
63 alphabet.insert ( core::xmlApi < SymbolType >::parse ( input ) );
64
65 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::END_ELEMENT, "alphabet" );
66 return alphabet;
67}
68
69template < class SymbolType >
70ext::ptr_value < UnboundedRegExpElement < SymbolType > > RegExpFromXmlParser::parseUnboundedRegExpElement ( ext::deque < sax::Token >::iterator & input ) {
71 if ( sax::FromXMLParserHelper::isToken ( input, sax::Token::TokenType::START_ELEMENT, "empty" ) )
72 return parseUnboundedRegExpEmpty < SymbolType > ( input );
73 else if ( sax::FromXMLParserHelper::isToken ( input, sax::Token::TokenType::START_ELEMENT, "epsilon" ) )
74 return parseUnboundedRegExpEpsilon < SymbolType > ( input );
75 else if ( sax::FromXMLParserHelper::isToken ( input, sax::Token::TokenType::START_ELEMENT, "iteration" ) )
76 return parseUnboundedRegExpIteration < SymbolType > ( input );
77 else if ( sax::FromXMLParserHelper::isToken ( input, sax::Token::TokenType::START_ELEMENT, "alternation" ) )
78 return parseUnboundedRegExpAlternation < SymbolType > ( input );
79 else if ( sax::FromXMLParserHelper::isToken ( input, sax::Token::TokenType::START_ELEMENT, "concatenation" ) )
80 return parseUnboundedRegExpConcatenation < SymbolType > ( input );
81 else
82 return ext::ptr_value < UnboundedRegExpElement < SymbolType > > ( UnboundedRegExpSymbol < SymbolType > ( core::xmlApi < SymbolType >::parse ( input ) ) );
83}
84
85template < class SymbolType >
86ext::ptr_value < UnboundedRegExpElement < SymbolType > > RegExpFromXmlParser::parseUnboundedRegExpAlternation ( ext::deque < sax::Token >::iterator & input ) {
87 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::START_ELEMENT, "alternation" );
88
89 UnboundedRegExpAlternation < SymbolType > alternation;
90
91 while ( sax::FromXMLParserHelper::isTokenType ( input, sax::Token::TokenType::START_ELEMENT ) )
92 alternation.appendElement ( parseUnboundedRegExpElement < SymbolType > ( input ) );
93
94 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::END_ELEMENT, "alternation" );
95 return ext::ptr_value < UnboundedRegExpElement < SymbolType > > ( std::move ( alternation ) );
96}
97
98template < class SymbolType >
99ext::ptr_value < UnboundedRegExpElement < SymbolType > > RegExpFromXmlParser::parseUnboundedRegExpConcatenation ( ext::deque < sax::Token >::iterator & input ) {
100 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::START_ELEMENT, "concatenation" );
101
102 UnboundedRegExpConcatenation < SymbolType > concatenation;
103
104 while ( sax::FromXMLParserHelper::isTokenType ( input, sax::Token::TokenType::START_ELEMENT ) )
105 concatenation.appendElement ( parseUnboundedRegExpElement < SymbolType > ( input ) );
106
107 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::END_ELEMENT, "concatenation" );
108 return ext::ptr_value < UnboundedRegExpElement < SymbolType > > ( std::move ( concatenation ) );
109}
110
111template < class SymbolType >
112ext::ptr_value < UnboundedRegExpElement < SymbolType > > RegExpFromXmlParser::parseUnboundedRegExpIteration ( ext::deque < sax::Token >::iterator & input ) {
113 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::START_ELEMENT, "iteration" );
114
115 ext::ptr_value < UnboundedRegExpElement < SymbolType > > iteration ( UnboundedRegExpIteration < SymbolType > ( parseUnboundedRegExpElement < SymbolType > ( input ) ) );
116
117 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::END_ELEMENT, "iteration" );
118
119 return iteration;
120}
121
122template < class SymbolType >
123ext::ptr_value < UnboundedRegExpElement < SymbolType > > RegExpFromXmlParser::parseUnboundedRegExpEpsilon ( ext::deque < sax::Token >::iterator & input ) {
124 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::START_ELEMENT, "epsilon" );
125
126 ext::ptr_value < UnboundedRegExpElement < SymbolType > > epsilon { UnboundedRegExpEpsilon < SymbolType > ( ) };
127
128 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::END_ELEMENT, "epsilon" );
129
130 return epsilon;
131}
132
133template < class SymbolType >
134ext::ptr_value < UnboundedRegExpElement < SymbolType > > RegExpFromXmlParser::parseUnboundedRegExpEmpty ( ext::deque < sax::Token >::iterator & input ) {
135 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::START_ELEMENT, "empty" );
136
137 ext::ptr_value < UnboundedRegExpElement < SymbolType > > empty { UnboundedRegExpEmpty < SymbolType > ( ) };
138
139 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::END_ELEMENT, "empty" );
140
141 return empty;
142}
143
144template < class SymbolType >
145ext::ptr_value < FormalRegExpElement < SymbolType > > RegExpFromXmlParser::parseFormalRegExpElement ( ext::deque < sax::Token >::iterator & input ) {
146 if ( sax::FromXMLParserHelper::isToken ( input, sax::Token::TokenType::START_ELEMENT, "empty" ) )
147 return parseFormalRegExpEmpty < SymbolType > ( input );
148 else if ( sax::FromXMLParserHelper::isToken ( input, sax::Token::TokenType::START_ELEMENT, "epsilon" ) )
149 return parseFormalRegExpEpsilon < SymbolType > ( input );
150 else if ( sax::FromXMLParserHelper::isToken ( input, sax::Token::TokenType::START_ELEMENT, "iteration" ) )
151 return parseFormalRegExpIteration < SymbolType > ( input );
152 else if ( sax::FromXMLParserHelper::isToken ( input, sax::Token::TokenType::START_ELEMENT, "alternation" ) )
153 return parseFormalRegExpAlternation < SymbolType > ( input );
154 else if ( sax::FromXMLParserHelper::isToken ( input, sax::Token::TokenType::START_ELEMENT, "concatenation" ) )
155 return parseFormalRegExpConcatenation < SymbolType > ( input );
156 else
157 return ext::ptr_value < FormalRegExpElement < SymbolType > > ( FormalRegExpSymbol < SymbolType > ( core::xmlApi < SymbolType >::parse ( input ) ) );
158}
159
160template < class SymbolType >
161ext::ptr_value < FormalRegExpElement < SymbolType > > RegExpFromXmlParser::parseFormalRegExpAlternation ( ext::deque < sax::Token >::iterator & input ) {
162 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::START_ELEMENT, "alternation" );
163
164 ext::ptr_value < FormalRegExpElement < SymbolType > > element1 = parseFormalRegExpElement < SymbolType > ( input );
165 ext::ptr_value < FormalRegExpElement < SymbolType > > element2 = parseFormalRegExpElement < SymbolType > ( input );
166
167 ext::ptr_value < FormalRegExpElement < SymbolType > > alternation ( FormalRegExpAlternation < SymbolType > ( std::move ( element1 ), std::move ( element2 ) ) );
168
169 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::END_ELEMENT, "alternation" );
170
171 return alternation;
172}
173
174template < class SymbolType >
175ext::ptr_value < FormalRegExpElement < SymbolType > > RegExpFromXmlParser::parseFormalRegExpConcatenation ( ext::deque < sax::Token >::iterator & input ) {
176 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::START_ELEMENT, "concatenation" );
177
178 ext::ptr_value < FormalRegExpElement < SymbolType > > element1 = parseFormalRegExpElement < SymbolType > ( input );
179 ext::ptr_value < FormalRegExpElement < SymbolType > > element2 = parseFormalRegExpElement < SymbolType > ( input );
180
181 ext::ptr_value < FormalRegExpElement < SymbolType > > concatenation ( FormalRegExpConcatenation < SymbolType > ( std::move ( element1 ), std::move ( element2 ) ) );
182
183 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::END_ELEMENT, "concatenation" );
184
185 return concatenation;
186}
187
188template < class SymbolType >
189ext::ptr_value < FormalRegExpElement < SymbolType > > RegExpFromXmlParser::parseFormalRegExpIteration ( ext::deque < sax::Token >::iterator & input ) {
190 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::START_ELEMENT, "iteration" );
191
192 ext::ptr_value < FormalRegExpElement < SymbolType > > iteration ( FormalRegExpIteration < SymbolType > ( parseFormalRegExpElement < SymbolType > ( input ) ) );
193
194 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::END_ELEMENT, "iteration" );
195
196 return iteration;
197}
198
199template < class SymbolType >
200ext::ptr_value < FormalRegExpElement < SymbolType > > RegExpFromXmlParser::parseFormalRegExpEpsilon ( ext::deque < sax::Token >::iterator & input ) {
201 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::START_ELEMENT, "epsilon" );
202
203 ext::ptr_value < FormalRegExpElement < SymbolType > > epsilon { FormalRegExpEpsilon < SymbolType > ( ) };
204
205 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::END_ELEMENT, "epsilon" );
206
207 return epsilon;
208}
209
210template < class SymbolType >
211ext::ptr_value < FormalRegExpElement < SymbolType > > RegExpFromXmlParser::parseFormalRegExpEmpty ( ext::deque < sax::Token >::iterator & input ) {
212 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::START_ELEMENT, "empty" );
213
214 ext::ptr_value < FormalRegExpElement < SymbolType > > empty { FormalRegExpEmpty < SymbolType > ( ) };
215
216 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::END_ELEMENT, "empty" );
217
218 return empty;
219}
220
221} /* namespace regexp */
222
ext::deque
Class extending the deque class from the standard library. Original reason is to allow printing of th...
Definition: deque.hpp:44
ext::ptr_value
Class representing wrapper of dynamically allocated object behaving like rvalue reference.
Definition: ptr_value.hpp:40
ext::set
Definition: set.hpp:44
regexp::FormalRegExpAlternation
Represents the alternation operator in the regular expression. The node must have exactly two childre...
Definition: FormalRegExpAlternation.h:44
regexp::FormalRegExpConcatenation
Represents the concatenation operator in the regular expression. The node must have exactly two child...
Definition: FormalRegExpConcatenation.h:44
regexp::FormalRegExpEmpty
Represents the empty expression in the regular expression. The node can't have any children.
Definition: FormalRegExpEmpty.h:41
regexp::FormalRegExpEpsilon
Represents the epsilon expression in the regular expression. The node can't have any children.
Definition: FormalRegExpEpsilon.h:41
regexp::FormalRegExpIteration
Represents the iteration operator in the regular expression. The node has exactly one child.
Definition: FormalRegExpIteration.h:44
regexp::FormalRegExpSymbol
Represents the symbol in the regular expression. The can't have any children.
Definition: FormalRegExpSymbol.h:42
regexp::RegExpFromXmlParser
Definition: RegExpFromXmlParser.h:23
regexp::RegExpFromXmlParser::parseFormalRegExpAlternation
static ext::ptr_value< FormalRegExpElement< SymbolType > > parseFormalRegExpAlternation(ext::deque< sax::Token >::iterator &input)
Definition: RegExpFromXmlParser.h:161
regexp::RegExpFromXmlParser::parseUnboundedRegExpAlternation
static ext::ptr_value< UnboundedRegExpElement< SymbolType > > parseUnboundedRegExpAlternation(ext::deque< sax::Token >::iterator &input)
Definition: RegExpFromXmlParser.h:86
regexp::RegExpFromXmlParser::parseFormalRegExpEpsilon
static ext::ptr_value< FormalRegExpElement< SymbolType > > parseFormalRegExpEpsilon(ext::deque< sax::Token >::iterator &input)
Definition: RegExpFromXmlParser.h:200
regexp::RegExpFromXmlParser::parseUnboundedRegExpEmpty
static ext::ptr_value< UnboundedRegExpElement< SymbolType > > parseUnboundedRegExpEmpty(ext::deque< sax::Token >::iterator &input)
Definition: RegExpFromXmlParser.h:134
regexp::RegExpFromXmlParser::parseFormalRegExpEmpty
static ext::ptr_value< FormalRegExpElement< SymbolType > > parseFormalRegExpEmpty(ext::deque< sax::Token >::iterator &input)
Definition: RegExpFromXmlParser.h:211
regexp::RegExpFromXmlParser::parseUnboundedRegExpEpsilon
static ext::ptr_value< UnboundedRegExpElement< SymbolType > > parseUnboundedRegExpEpsilon(ext::deque< sax::Token >::iterator &input)
Definition: RegExpFromXmlParser.h:123
regexp::RegExpFromXmlParser::parseUnboundedRegExpElement
static ext::ptr_value< UnboundedRegExpElement< SymbolType > > parseUnboundedRegExpElement(ext::deque< sax::Token >::iterator &input)
Definition: RegExpFromXmlParser.h:70
regexp::RegExpFromXmlParser::parseAlphabet
static ext::set< SymbolType > parseAlphabet(ext::deque< sax::Token >::iterator &input)
Definition: RegExpFromXmlParser.h:58
regexp::RegExpFromXmlParser::parseFormalRegExpConcatenation
static ext::ptr_value< FormalRegExpElement< SymbolType > > parseFormalRegExpConcatenation(ext::deque< sax::Token >::iterator &input)
Definition: RegExpFromXmlParser.h:175
regexp::RegExpFromXmlParser::parseFormalRegExpIteration
static ext::ptr_value< FormalRegExpElement< SymbolType > > parseFormalRegExpIteration(ext::deque< sax::Token >::iterator &input)
Definition: RegExpFromXmlParser.h:189
regexp::RegExpFromXmlParser::parseUnboundedRegExpIteration
static ext::ptr_value< UnboundedRegExpElement< SymbolType > > parseUnboundedRegExpIteration(ext::deque< sax::Token >::iterator &input)
Definition: RegExpFromXmlParser.h:112
regexp::RegExpFromXmlParser::parseFormalRegExpElement
static ext::ptr_value< FormalRegExpElement< SymbolType > > parseFormalRegExpElement(ext::deque< sax::Token >::iterator &input)
Definition: RegExpFromXmlParser.h:145
regexp::RegExpFromXmlParser::parseUnboundedRegExpConcatenation
static ext::ptr_value< UnboundedRegExpElement< SymbolType > > parseUnboundedRegExpConcatenation(ext::deque< sax::Token >::iterator &input)
Definition: RegExpFromXmlParser.h:99
regexp::UnboundedRegExpAlternation
Represents the alternation operator in the regular expression. The node can have 0 to n children in l...
Definition: UnboundedRegExpAlternation.h:44
regexp::UnboundedRegExpAlternation::appendElement
void appendElement(UnboundedRegExpElement< SymbolType > &&element)
Definition: UnboundedRegExpAlternation.h:195
regexp::UnboundedRegExpConcatenation
Represents the concatenation operator in the regular expression. The node can have 0 to n children in...
Definition: UnboundedRegExpConcatenation.h:44
regexp::UnboundedRegExpConcatenation::appendElement
void appendElement(UnboundedRegExpElement< SymbolType > &&element)
Definition: UnboundedRegExpConcatenation.h:195
regexp::UnboundedRegExpEmpty
Represents the empty expression in the regular expression. The node can't have any children.
Definition: UnboundedRegExpEmpty.h:41
regexp::UnboundedRegExpEpsilon
Represents the epsilon expression in the regular expression. The node can't have any children.
Definition: UnboundedRegExpEpsilon.h:41
regexp::UnboundedRegExpIteration
Represents the iteration operator in the regular expression. The node has exactly one child.
Definition: UnboundedRegExpIteration.h:43
regexp::UnboundedRegExpSymbol
Represents the symbol in the regular expression. The can't have any children.
Definition: UnboundedRegExpSymbol.h:42
sax::FromXMLParserHelper::popToken
static void popToken(ext::deque< Token >::iterator &input, Token::TokenType type, const std::string &data)
Definition: FromXMLParserHelper.cpp:39
sax::FromXMLParserHelper::isToken
static bool isToken(ext::deque< Token >::const_iterator input, Token::TokenType type, const std::string &data)
Definition: FromXMLParserHelper.cpp:29
sax::FromXMLParserHelper::isTokenType
static bool isTokenType(ext::deque< Token >::const_iterator input, Token::TokenType type)
Definition: FromXMLParserHelper.cpp:34
alphabet
Definition: BarSymbol.cpp:12
regexp
Definition: ToAutomaton.h:15
core::xmlApi
Definition: xmlApi.hpp:27
Generated on Mon Dec 27 2021 10:21:53 for Algorithms Library Toolkit by doxygen 1.9.2