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

Turned exception about unspecified requirements into a warning, now also for problems.

Browse Source
This commit is contained in:
Patrick Lühne 2016-08-18 14:30:47 +02:00
parent ca30f8a815
commit 31d0a1fb38
2 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
include/plasp/pddl/Problem.h
View File

@ -33,7 +33,7 @@ class Problem
const Requirements &requirements() const; const Requirements &requirements() const;
bool hasRequirement(Requirement::Type requirementType) const; bool hasRequirement(Requirement::Type requirementType) const;
void checkRequirement(Requirement::Type requirementType) const; void checkRequirement(Requirement::Type requirementType);
expressions::Constants &objects(); expressions::Constants &objects();
const expressions::Constants &objects() const; const expressions::Constants &objects() const;

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

@ -254,12 +254,14 @@ bool Problem::hasRequirement(Requirement::Type requirementType) const
//////////////////////////////////////////////////////////////////////////////////////////////////// ////////////////////////////////////////////////////////////////////////////////////////////////////
void Problem::checkRequirement(Requirement::Type requirementType) const void Problem::checkRequirement(Requirement::Type requirementType)
{ {
if (hasRequirement(requirementType)) if (hasRequirement(requirementType))
return; return;
throw ConsistencyException("requirement “" + Requirement(requirementType).toPDDL() + "” used but never declared"); m_context.logger.logWarning(m_context.parser.coordinate(), "requirement “" + Requirement(requirementType).toPDDL() + "” used but never declared");
m_requirements.push_back(requirementType);
} }
//////////////////////////////////////////////////////////////////////////////////////////////////// ////////////////////////////////////////////////////////////////////////////////////////////////////