patrick/plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

Ensuring input to contain only one SAS description.

Browse Source
This commit is contained in:
Patrick Lühne 2016-06-10 17:09:06 +02:00
parent be09230410
commit 854ade5fa9
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/plasp/sas/Description.cpp
View File

@ -165,6 +165,11 @@ void Description::parseContent(utils::Parser &parser)
parseGoalSection(parser); parseGoalSection(parser);
parseOperatorSection(parser); parseOperatorSection(parser);
parseAxiomSection(parser); parseAxiomSection(parser);
parser.skipWhiteSpace();
if (!parser.atEndOfStream())
throw utils::ParserException(parser, "Expected end of SAS description");
} }
//////////////////////////////////////////////////////////////////////////////////////////////////// ////////////////////////////////////////////////////////////////////////////////////////////////////