From 156dfd88c2b469240abb6d2184343722ac0d8a8f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Thu, 9 Jun 2016 18:30:34 +0200 Subject: [PATCH] Fixed issue with parsing unsupported sections. --- src/plasp/pddl/Expression.cpp | 4 ++++ src/plasp/pddl/InitialState.cpp | 3 +++ 2 files changed, 7 insertions(+) diff --git a/src/plasp/pddl/Expression.cpp b/src/plasp/pddl/Expression.cpp index 53546ad..455c8b8 100644 --- a/src/plasp/pddl/Expression.cpp +++ b/src/plasp/pddl/Expression.cpp @@ -67,6 +67,7 @@ ExpressionPointer parsePreconditionExpression(Context &context, parser.seek(position); warnUnsupported(context, expressionIdentifier); + parser.seek(expressionIdentifierPosition); skipSection(parser); return nullptr; @@ -121,6 +122,7 @@ ExpressionPointer parseExpression(Context &context, ExpressionContext &expressio parser.seek(position); warnUnsupported(context, expressionIdentifier); + parser.seek(expressionIdentifierPosition); skipSection(parser); return nullptr; @@ -159,6 +161,7 @@ ExpressionPointer parseEffectExpression(Context &context, ExpressionContext &exp parser.seek(position); warnUnsupported(context, expressionIdentifier); + parser.seek(expressionIdentifierPosition); skipSection(parser); return nullptr; @@ -201,6 +204,7 @@ ExpressionPointer parseEffectBodyExpression(Context &context, ExpressionContext parser.seek(position); warnUnsupported(context, expressionIdentifier); + parser.seek(expressionIdentifierPosition); skipSection(parser); return nullptr; diff --git a/src/plasp/pddl/InitialState.cpp b/src/plasp/pddl/InitialState.cpp index 352ebb2..a203d29 100644 --- a/src/plasp/pddl/InitialState.cpp +++ b/src/plasp/pddl/InitialState.cpp @@ -55,6 +55,9 @@ std::unique_ptr InitialState::parseDeclaration(Context &context, c parser.seek(position); warnUnsupported(context, expressionIdentifier); + parser.seek(expressionIdentifierPosition); + skipSection(parser); + return ExpressionPointer(); }