Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
•All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Concepts
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