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

Made parser exception message more meaningful.

Browse Source
This commit is contained in:
Patrick Lühne 2016-06-09 15:18:36 +02:00
parent 87889f5efe
commit 2245422d0f
2 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/plasp/pddl/Domain.cpp
View File

@ -54,7 +54,10 @@ void Domain::findSections()
[&](const std::string &sectionName, auto &sectionPosition, const auto value, bool unique = false)
{
if (unique && sectionPosition != -1)
{
parser.seek(value);
throw utils::ParserException(parser, "Only one \":" + sectionName + "\" section allowed");
}
sectionPosition = value;
};

3
src/plasp/pddl/Problem.cpp
View File

@ -51,7 +51,10 @@ void Problem::findSections()
[&](const std::string &sectionName, auto &sectionPosition, const auto value, bool unique = false)
{
if (unique && sectionPosition != -1)
{
parser.seek(value);
throw utils::ParserException(parser, "Only one \":" + sectionName + "\" section allowed");
}
sectionPosition = value;
};