Skip to content
Snippets Groups Projects
Commit 1009a79d authored by Jan Trávníček's avatar Jan Trávníček
Browse files

report not matching numbers of children and rank

parent 02fa82d5
No related branches found
No related tags found
No related merge requests found
Pipeline #
......@@ -156,7 +156,7 @@ std::rvalue_ref < FormalRTESymbolAlphabet < SymbolType, RankType > > RTEFromXMLP
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." );
throw exception::CommonException ( "Parsed symbol's rank and number of children differ. Rank is " + std::to_string ( symbol.getRank ( ) ) + ", number of children is " + std::to_string ( elements.size ( ) ) + "." );
 
for ( std::rvalue_ref < FormalRTESymbol < SymbolType, RankType > > & element : elements )
ret->appendElement ( element );
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment