Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
RTEFromXmlParser.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#include <common/ranked_symbol.hpp>
12#include <core/xmlApi.hpp>
13
14#include <exception/CommonException.h>
15
16#include <rte/formal/FormalRTEElements.h>
17
18
19namespace rte {
20
24class RTEFromXmlParser {
25public:
26 template < class SymbolType >
27 static std::pair < ext::set < common::ranked_symbol < SymbolType > >, ext::set < common::ranked_symbol < SymbolType > > > parseAlphabet ( ext::deque < sax::Token >::iterator & input );
28
29 template < class SymbolType >
30 static ext::ptr_value < FormalRTEElement < SymbolType > > parseFormalRTEElement ( ext::deque < sax::Token >::iterator & input );
31
32 template < class SymbolType >
33 static ext::ptr_value < FormalRTEEmpty < SymbolType > > parseFormalRTEEmpty ( ext::deque < sax::Token >::iterator & input );
34 template < class SymbolType >
35 static ext::ptr_value < FormalRTEIteration < SymbolType > > parseFormalRTEIteration ( ext::deque < sax::Token >::iterator & input );
36 template < class SymbolType >
37 static ext::ptr_value < FormalRTEAlternation < SymbolType > > parseFormalRTEAlternation ( ext::deque < sax::Token >::iterator & input );
38 template < class SymbolType >
39 static ext::ptr_value < FormalRTESubstitution < SymbolType > > parseFormalRTESubstitution ( ext::deque < sax::Token >::iterator & input );
40 template < class SymbolType >
41 static ext::ptr_value < FormalRTESymbolAlphabet < SymbolType > > parseFormalRTESymbolAlphabet ( ext::deque < sax::Token >::iterator & input );
42 template < class SymbolType >
43 static ext::ptr_value < FormalRTESymbolSubst < SymbolType > > parseFormalRTESymbolSubst ( ext::deque < sax::Token >::iterator & input );
44};
45
46template < class SymbolType >
47std::pair < ext::set < common::ranked_symbol < SymbolType > >, ext::set < common::ranked_symbol < SymbolType > > > RTEFromXmlParser::parseAlphabet ( ext::deque < sax::Token >::iterator & input ) {
48 ext::set < common::ranked_symbol < SymbolType > > alphabetF;
49 ext::set < common::ranked_symbol < SymbolType > > alphabetK;
50
51 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::START_ELEMENT, "alphabet" );
52
53 while ( sax::FromXMLParserHelper::isTokenType ( input, sax::Token::TokenType::START_ELEMENT ) )
54 alphabetF.insert ( core::xmlApi < common::ranked_symbol < SymbolType > >::parse ( input ) );
55
56 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::END_ELEMENT, "alphabet" );
57
58 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::START_ELEMENT, "substSymbolAlphabet" );
59
60 while ( sax::FromXMLParserHelper::isTokenType ( input, sax::Token::TokenType::START_ELEMENT ) )
61 alphabetK.insert ( core::xmlApi < common::ranked_symbol < SymbolType > >::parse ( input ) );
62
63 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::END_ELEMENT, "substSymbolAlphabet" );
64
65 return std::make_pair ( alphabetF, alphabetK );
66}
67
68template < class SymbolType >
69ext::ptr_value < FormalRTEElement < SymbolType > > RTEFromXmlParser::parseFormalRTEElement ( ext::deque < sax::Token >::iterator & input ) {
70 if ( sax::FromXMLParserHelper::isToken ( input, sax::Token::TokenType::START_ELEMENT, "empty" ) )
71 return parseFormalRTEEmpty < SymbolType > ( input );
72 else if ( sax::FromXMLParserHelper::isToken ( input, sax::Token::TokenType::START_ELEMENT, "iteration" ) )
73 return parseFormalRTEIteration < SymbolType > ( input );
74 else if ( sax::FromXMLParserHelper::isToken ( input, sax::Token::TokenType::START_ELEMENT, "alternation" ) )
75 return parseFormalRTEAlternation < SymbolType > ( input );
76 else if ( sax::FromXMLParserHelper::isToken ( input, sax::Token::TokenType::START_ELEMENT, "substitution" ) )
77 return parseFormalRTESubstitution < SymbolType > ( input );
78 else if ( sax::FromXMLParserHelper::isToken ( input, sax::Token::TokenType::START_ELEMENT, "symbol" ) )
79 return parseFormalRTESymbolAlphabet < SymbolType > ( input );
80 else
81 return parseFormalRTESymbolSubst < SymbolType > ( input );
82}
83
84template < class SymbolType >
85ext::ptr_value < FormalRTEAlternation < SymbolType > > RTEFromXmlParser::parseFormalRTEAlternation ( ext::deque < sax::Token >::iterator & input ) {
86 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::START_ELEMENT, "alternation" );
87
88 ext::ptr_value < FormalRTEElement < SymbolType > > element1 = parseFormalRTEElement < SymbolType > ( input );
89 ext::ptr_value < FormalRTEElement < SymbolType > > element2 = parseFormalRTEElement < SymbolType > ( input );
90
91 ext::ptr_value < FormalRTEAlternation < SymbolType > > alternation ( FormalRTEAlternation < SymbolType > ( std::move ( element1 ), std::move ( element2 ) ) );
92
93 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::END_ELEMENT, "alternation" );
94 return alternation;
95}
96
97template < class SymbolType >
98ext::ptr_value < FormalRTESubstitution < SymbolType > > RTEFromXmlParser::parseFormalRTESubstitution ( ext::deque < sax::Token >::iterator & input ) {
99 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::START_ELEMENT, "substitution" );
100
101 FormalRTESymbolSubst < SymbolType > ssymb ( core::xmlApi < common::ranked_symbol < SymbolType > >::parse ( input ) );
102 ext::ptr_value < FormalRTEElement < SymbolType > > element1 = parseFormalRTEElement < SymbolType > ( input );
103 ext::ptr_value < FormalRTEElement < SymbolType > > element2 = parseFormalRTEElement < SymbolType > ( input );
104
105 ext::ptr_value < FormalRTESubstitution < SymbolType > > substitution ( FormalRTESubstitution < SymbolType > ( std::move ( element1 ), std::move ( element2 ), std::move ( ssymb ) ) );
106
107 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::END_ELEMENT, "substitution" );
108 return substitution;
109}
110
111template < class SymbolType >
112ext::ptr_value < FormalRTEIteration < SymbolType > > RTEFromXmlParser::parseFormalRTEIteration ( ext::deque < sax::Token >::iterator & input ) {
113 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::START_ELEMENT, "iteration" );
114
115 FormalRTESymbolSubst < SymbolType > ssymb ( core::xmlApi < common::ranked_symbol < SymbolType > >::parse ( input ) );
116 ext::ptr_value < FormalRTEElement < SymbolType > > element = parseFormalRTEElement < SymbolType > ( input );
117 ext::ptr_value < FormalRTEIteration < SymbolType > > iteration ( FormalRTEIteration < SymbolType > ( std::move ( element ), std::move ( ssymb ) ) );
118
119 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::END_ELEMENT, "iteration" );
120 return iteration;
121}
122
123template < class SymbolType >
124ext::ptr_value < FormalRTEEmpty < SymbolType > > RTEFromXmlParser::parseFormalRTEEmpty ( ext::deque < sax::Token >::iterator & input ) {
125 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::START_ELEMENT, "empty" );
126
127 ext::ptr_value < FormalRTEEmpty < SymbolType > > empty { FormalRTEEmpty < SymbolType > ( ) };
128
129 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::END_ELEMENT, "empty" );
130
131 return empty;
132}
133
134template < class SymbolType >
135ext::ptr_value < FormalRTESymbolAlphabet < SymbolType > > RTEFromXmlParser::parseFormalRTESymbolAlphabet ( ext::deque < sax::Token >::iterator & input ) {
136 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::START_ELEMENT, "symbol" );
137 common::ranked_symbol < SymbolType > symbol = core::xmlApi < common::ranked_symbol < SymbolType > >::parse ( input );
138 ext::ptr_vector < FormalRTEElement < SymbolType > > elements;
139
140 while ( sax::FromXMLParserHelper::isTokenType ( input, sax::Token::TokenType::START_ELEMENT ) )
141 elements.push_back ( static_cast < FormalRTEElement < SymbolType > && > ( parseFormalRTEElement < SymbolType > ( input ) ) );
142
143 ext::ptr_value < FormalRTESymbolAlphabet < SymbolType > > ret ( FormalRTESymbolAlphabet < SymbolType > ( std::move ( symbol ), std::move ( elements ) ) );
144
145 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::END_ELEMENT, "symbol" );
146
147 return ret;
148}
149
150template < class SymbolType >
151ext::ptr_value < FormalRTESymbolSubst < SymbolType > > RTEFromXmlParser::parseFormalRTESymbolSubst ( ext::deque < sax::Token >::iterator & input ) {
152 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::START_ELEMENT, "substSymbol" );
153 common::ranked_symbol < SymbolType > symbol = core::xmlApi < common::ranked_symbol < SymbolType > >::parse ( input );
154
155 ext::ptr_value < FormalRTESymbolSubst < SymbolType > > ret { FormalRTESymbolSubst < SymbolType > ( symbol ) };
156
157 sax::FromXMLParserHelper::popToken ( input, sax::Token::TokenType::END_ELEMENT, "substSymbol" );
158
159 return ret;
160}
161
162} /* namespace rte */
163
common::ranked_symbol
Definition: ranked_symbol.hpp:20
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::ptr_vector
Implementation of vector storing dynamicaly allocated instances of given type. The class mimicks the ...
Definition: ptr_vector.hpp:44
ext::ptr_vector::push_back
void push_back(R &&value)
Appends a new value at the end of the container.
Definition: ptr_vector.hpp:1228
ext::set
Definition: set.hpp:44
rte::FormalRTEAlternation
Represents the alternation operator in the regular tree expression. The node must have exactly two ch...
Definition: FormalRTEAlternation.h:44
rte::FormalRTEElement
Definition: FormalRTEElement.h:54
rte::FormalRTEEmpty
Represents the empty expression in the regular tree expression. The node can't have any children.
Definition: FormalRTEEmpty.h:40
rte::FormalRTEIteration
Represents the iteration operator in the regular tree expression. The node has exactly one child.
Definition: FormalRTEIteration.h:45
rte::FormalRTESubstitution
Represents the concatenation operator in the regular tree expression. The node must have exactly two ...
Definition: FormalRTESubstitution.h:44
rte::FormalRTESymbolAlphabet
Represents the terminal symbol in the regular tree expression. The number of children must be the sam...
Definition: FormalRTESymbolAlphabet.h:44
rte::FormalRTESymbolSubst
Represents the substitution symbol in the regular tree expression. The node can't have any children.
Definition: FormalRTESymbolSubst.h:43
rte::RTEFromXmlParser
Definition: RTEFromXmlParser.h:24
rte::RTEFromXmlParser::parseFormalRTESymbolSubst
static ext::ptr_value< FormalRTESymbolSubst< SymbolType > > parseFormalRTESymbolSubst(ext::deque< sax::Token >::iterator &input)
Definition: RTEFromXmlParser.h:151
rte::RTEFromXmlParser::parseAlphabet
static std::pair< ext::set< common::ranked_symbol< SymbolType > >, ext::set< common::ranked_symbol< SymbolType > > > parseAlphabet(ext::deque< sax::Token >::iterator &input)
Definition: RTEFromXmlParser.h:47
rte::RTEFromXmlParser::parseFormalRTESymbolAlphabet
static ext::ptr_value< FormalRTESymbolAlphabet< SymbolType > > parseFormalRTESymbolAlphabet(ext::deque< sax::Token >::iterator &input)
Definition: RTEFromXmlParser.h:135
rte::RTEFromXmlParser::parseFormalRTEElement
static ext::ptr_value< FormalRTEElement< SymbolType > > parseFormalRTEElement(ext::deque< sax::Token >::iterator &input)
Definition: RTEFromXmlParser.h:69
rte::RTEFromXmlParser::parseFormalRTEEmpty
static ext::ptr_value< FormalRTEEmpty< SymbolType > > parseFormalRTEEmpty(ext::deque< sax::Token >::iterator &input)
Definition: RTEFromXmlParser.h:124
rte::RTEFromXmlParser::parseFormalRTEIteration
static ext::ptr_value< FormalRTEIteration< SymbolType > > parseFormalRTEIteration(ext::deque< sax::Token >::iterator &input)
Definition: RTEFromXmlParser.h:112
rte::RTEFromXmlParser::parseFormalRTESubstitution
static ext::ptr_value< FormalRTESubstitution< SymbolType > > parseFormalRTESubstitution(ext::deque< sax::Token >::iterator &input)
Definition: RTEFromXmlParser.h:98
rte::RTEFromXmlParser::parseFormalRTEAlternation
static ext::ptr_value< FormalRTEAlternation< SymbolType > > parseFormalRTEAlternation(ext::deque< sax::Token >::iterator &input)
Definition: RTEFromXmlParser.h:85
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
automaton::determinize::ret
ext::set< ext::pair< StateType, StateType > > ret(const ext::set< ext::pair< StateType, StateType > > &S, const DeterministicPushdownStoreSymbolType &pdaSymbol, const InputSymbolType &input, const N &nondeterministic)
Definition: RHDPDACommon.h:57
ext::make_pair
constexpr auto make_pair(T1 &&x, T2 &&y)
Definition: pair.hpp:79
rte
Definition: ToFTAGlushkov.h:22
ranked_symbol.hpp
core::xmlApi
Definition: xmlApi.hpp:27
Generated on Mon Dec 27 2021 10:21:53 for Algorithms Library Toolkit by doxygen 1.9.2