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

Fixed issue with parsing unsupported sections.

Browse Source
This commit is contained in:
Patrick Lühne 2016-06-09 18:30:34 +02:00
parent 730a9b7e63
commit 156dfd88c2
2 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -67,6 +67,7 @@ ExpressionPointer parsePreconditionExpression(Context &context,
parser.seek(position); parser.seek(position);
warnUnsupported(context, expressionIdentifier); warnUnsupported(context, expressionIdentifier);
parser.seek(expressionIdentifierPosition);
skipSection(parser); skipSection(parser);
return nullptr; return nullptr;
@ -121,6 +122,7 @@ ExpressionPointer parseExpression(Context &context, ExpressionContext &expressio
parser.seek(position); parser.seek(position);
warnUnsupported(context, expressionIdentifier); warnUnsupported(context, expressionIdentifier);
parser.seek(expressionIdentifierPosition);
skipSection(parser); skipSection(parser);
return nullptr; return nullptr;
@ -159,6 +161,7 @@ ExpressionPointer parseEffectExpression(Context &context, ExpressionContext &exp
parser.seek(position); parser.seek(position);
warnUnsupported(context, expressionIdentifier); warnUnsupported(context, expressionIdentifier);
parser.seek(expressionIdentifierPosition);
skipSection(parser); skipSection(parser);
return nullptr; return nullptr;
@ -201,6 +204,7 @@ ExpressionPointer parseEffectBodyExpression(Context &context, ExpressionContext
parser.seek(position); parser.seek(position);
warnUnsupported(context, expressionIdentifier); warnUnsupported(context, expressionIdentifier);
parser.seek(expressionIdentifierPosition);
skipSection(parser); skipSection(parser);
return nullptr; return nullptr;

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

@ -55,6 +55,9 @@ std::unique_ptr<InitialState> InitialState::parseDeclaration(Context &context, c
parser.seek(position); parser.seek(position);
warnUnsupported(context, expressionIdentifier); warnUnsupported(context, expressionIdentifier);
parser.seek(expressionIdentifierPosition);
skipSection(parser);
return ExpressionPointer(); return ExpressionPointer();
} }