From 1009a79de55d581592725b64284c09e02dbd3f33 Mon Sep 17 00:00:00 2001 From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz> Date: Tue, 1 Aug 2017 21:39:01 +0200 Subject: [PATCH] report not matching numbers of children and rank --- alib2data/src/rte/common/RTEFromXMLParser.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/alib2data/src/rte/common/RTEFromXMLParser.h b/alib2data/src/rte/common/RTEFromXMLParser.h index 896753a20d..e390870b2a 100644 --- a/alib2data/src/rte/common/RTEFromXMLParser.h +++ b/alib2data/src/rte/common/RTEFromXMLParser.h @@ -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 ); -- GitLab