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

Refactored PDDL parser to make all input case-insensitive.

Browse Source
This commit is contained in:
Patrick Lühne
2016-06-04 18:28:43 +02:00
parent d64c68f754
commit e607ca4e8e
10 changed files with 26 additions and 22 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/plasp/pddl/Action.cpp
View File

@@ -51,7 +51,7 @@ Action &Action::parseDeclaration(Context &context)
{
context.parser.expect<std::string>(":");
const auto sectionIdentifier = utils::toLowerCase(context.parser.parseIdentifier(isIdentifier));
const auto sectionIdentifier = context.parser.parseIdentifier(isIdentifier);
if (sectionIdentifier == "precondition")
action->m_precondition = parsePreconditionExpression(context, action->m_parameters);

1
src/plasp/pddl/Description.cpp
View File

@@ -22,6 +22,7 @@ Description::Description(std::istream &istream)
: m_parser(istream),
m_context(m_parser)
{
m_parser.setCaseSensitive(false);
}
////////////////////////////////////////////////////////////////////////////////////////////////////

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

@@ -105,7 +105,7 @@ void Domain::parseSection()
m_context.parser.expect<std::string>("(");
m_context.parser.expect<std::string>(":");
const auto sectionIdentifier = utils::toLowerCase(m_context.parser.parseIdentifier(isIdentifier));
const auto sectionIdentifier = m_context.parser.parseIdentifier(isIdentifier);
const auto skipSection =
[&]()

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

@@ -43,7 +43,7 @@ ExpressionPointer parsePreconditionExpression(Context &context,
{
context.parser.expect<std::string>("(");
const auto expressionIdentifier = utils::toLowerCase(context.parser.parseIdentifier(isIdentifier));
const auto expressionIdentifier = context.parser.parseIdentifier(isIdentifier);
ExpressionPointer expression;
@@ -71,7 +71,7 @@ ExpressionPointer parseExpression(Context &context, const expressions::Variables
{
context.parser.expect<std::string>("(");
const auto expressionIdentifier = utils::toLowerCase(context.parser.parseIdentifier(isIdentifier));
const auto expressionIdentifier = context.parser.parseIdentifier(isIdentifier);
auto expression = parseExpressionContent(expressionIdentifier, context, parameters);
@@ -136,7 +136,7 @@ ExpressionPointer parseEffectExpression(Context &context, const expressions::Var
{
context.parser.expect<std::string>("(");
const auto expressionIdentifier = utils::toLowerCase(context.parser.parseIdentifier(isIdentifier));
const auto expressionIdentifier = context.parser.parseIdentifier(isIdentifier);
ExpressionPointer expression;

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

@@ -71,7 +71,7 @@ void Problem::parseSection()
m_context.parser.expect<std::string>("(");
m_context.parser.expect<std::string>(":");
const auto sectionIdentifier = utils::toLowerCase(m_context.parser.parseIdentifier(isIdentifier));
const auto sectionIdentifier = m_context.parser.parseIdentifier(isIdentifier);
const auto skipSection =
[&]()

2
src/plasp/pddl/Requirement.cpp
View File

@@ -82,7 +82,7 @@ Requirement::Requirement(Requirement::Type type)
Requirement Requirement::parse(Context &context)
{
const auto requirementName = utils::toLowerCase(context.parser.parseIdentifier(isIdentifier));
const auto requirementName = context.parser.parseIdentifier(isIdentifier);
const auto match = requirementTypesToPDDL.right.find(requirementName);

13
src/plasp/utils/Parser.cpp
View File

@@ -26,6 +26,7 @@ Parser::Parser(std::istream &istream)
m_position(m_istream),
m_row{1},
m_column{1},
m_isCaseSensitive{true},
m_endOfFile{false}
{
std::setlocale(LC_NUMERIC, "C");
@@ -52,11 +53,21 @@ size_t Parser::column() const
////////////////////////////////////////////////////////////////////////////////////////////////////
void Parser::setCaseSensitive(bool isCaseSensitive)
{
m_isCaseSensitive = isCaseSensitive;
}
////////////////////////////////////////////////////////////////////////////////////////////////////
char Parser::currentCharacter() const
{
checkStream();
return *m_position;
if (m_isCaseSensitive)
return *m_position;
return std::tolower(*m_position);
}
////////////////////////////////////////////////////////////////////////////////////////////////////