RTE: Fix parsing of Alphabet Symbol

alib2data/src/rte/common/RTEFromXMLParser.h

@@ -10,13 +10,15 @@
 #include <set>
 #include <deque>
-#include "../RTEFeatures.h"
 #include <sax/Token.h>
-
 #include <alphabet/ranked_symbol.hpp>
+#include <core/xmlApi.hpp>
+
+#include <exception/CommonException.h>
+#include "../RTEFeatures.h"
 #include "../formal/FormalRTEElements.h"
-#include <core/xmlApi.hpp>
+
 namespace rte {
@@ -153,6 +155,9 @@ std::rvalue_ref < FormalRTESymbolAlphabet < SymbolType, RankType > > RTEFromXMLP
 	while ( sax::FromXMLParserHelper::isTokenType ( input, sax::Token::TokenType::START_ELEMENT ) )
 		elements.push_back ( parseFormalRTESymbol < SymbolType, RankType > ( input ) );
+	if ( elements.size() != ( size_t ) symbol.getRank( ) )
+		throw exception::CommonException ( "Parsed symbol's rank and number of children differ." );
+
 	for ( std::rvalue_ref < FormalRTESymbol < SymbolType, RankType > > & element : elements )
 		ret->appendElement ( element );

[Jan Trávníček]

Takhle nějak by to být mělo. RankType by měl být takhle přetypovatelný.

[Tomáš Pecka]

V tom případě prosím o merge až se to dokompiluje.