patrick
/
plasp
Archived
1
0
Fork 0

Renamed method to »logWarning.«

This commit is contained in:
Patrick Lühne 2016-06-14 15:12:45 +02:00
parent 9679706a08
commit 57e9de6b05
9 changed files with 8 additions and 9 deletions

View File

@ -9,7 +9,6 @@
#include <plasp/pddl/TranslatorASP.h>
#include <plasp/sas/Description.h>
#include <plasp/sas/TranslatorASP.h>
#include <plasp/utils/ParserWarning.h>
#include <plasp/utils/TranslatorException.h>
int main(int argc, char **argv)

View File

@ -71,7 +71,7 @@ std::unique_ptr<Derived> NAry<Derived>::parse(Context &context,
}
if (expression->m_arguments.empty())
context.logger.parserWarning(context.parser, "" + Derived::Identifier + "” expressions should not be empty");
context.logger.logWarning(context.parser, "" + Derived::Identifier + "” expressions should not be empty");
parser.expect<std::string>(")");

View File

@ -40,7 +40,7 @@ class Logger
void logError(const std::string &message);
void logError(const Parser::Coordinate &coordinate, const std::string &message);
void parserWarning(const Parser &parser, const std::string &message);
void logWarning(const Parser &parser, const std::string &message);
private:
WarningLevel m_warningLevel;

View File

@ -94,7 +94,7 @@ void Domain::findSections()
const auto sectionIdentifier = parser.parseIdentifier(isIdentifier);
m_context.logger.parserWarning(parser, "Section type “" + sectionIdentifier + "” currently unsupported");
m_context.logger.logWarning(parser, "Section type “" + sectionIdentifier + "” currently unsupported");
parser.seek(sectionIdentifierPosition);
}

View File

@ -89,7 +89,7 @@ void Problem::findSections()
const auto sectionIdentifier = parser.parseIdentifier(isIdentifier);
m_context.logger.parserWarning(parser, "Section type “" + sectionIdentifier + "” currently unsupported");
m_context.logger.logWarning(parser, "Section type “" + sectionIdentifier + "” currently unsupported");
parser.seek(sectionIdentifierPosition);
}

View File

@ -94,7 +94,7 @@ Requirement Requirement::parse(Context &context)
const auto requirementType = match->second;
if (requirementType == Requirement::Type::GoalUtilities)
context.logger.parserWarning(context.parser, "Requirement “goal-utilities” is not part of the PDDL 3.1 specification");
context.logger.logWarning(context.parser, "Requirement “goal-utilities” is not part of the PDDL 3.1 specification");
return Requirement(match->second);
}

View File

@ -122,7 +122,7 @@ PrimitiveType *PrimitiveType::parseAndFind(Context &context, Domain &domain)
// Only "object" is allowed as an implicit type
if (typeName == "object" || typeName == "objects")
{
context.logger.parserWarning(context.parser, "Primitive type “" + typeName + "” should be declared");
context.logger.logWarning(context.parser, "Primitive type “" + typeName + "” should be declared");
types.emplace_back(std::make_unique<expressions::PrimitiveType>(typeName));
}
else

View File

@ -26,7 +26,7 @@ UnsupportedPointer Unsupported::parse(Context &context)
expression->m_type = parser.parseIdentifier(isIdentifier);
context.logger.parserWarning(context.parser, "Expression type “" + expression->m_type + "” currently unsupported in this context");
context.logger.logWarning(context.parser, "Expression type “" + expression->m_type + "” currently unsupported in this context");
skipSection(parser);

View File

@ -111,7 +111,7 @@ void Logger::logError(const Parser::Coordinate &coordinate, const std::string &m
////////////////////////////////////////////////////////////////////////////////////////////////////
void Logger::parserWarning(const Parser &parser, const std::string &message)
void Logger::logWarning(const Parser &parser, const std::string &message)
{
if (m_warningLevel == WarningLevel::Ignore)
return;