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

Reimplemented goal parser.

This commit is contained in:
Patrick Lühne 2017-06-17 20:21:26 +02:00
parent f90009b6d1
commit f83f9edbef
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 4 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
lib/pddlparse/src/pddlparse/detail/parsing/Problem.cpp
View File

@ -4,6 +4,7 @@
#include <pddlparse/detail/Requirements.h>
#include <pddlparse/detail/parsing/ConstantDeclaration.h>
#include <pddlparse/detail/parsing/InitialState.h>
#include <pddlparse/detail/parsing/Precondition.h>
#include <pddlparse/detail/parsing/Requirement.h>
#include <pddlparse/detail/parsing/Utils.h>
@ -285,13 +286,10 @@ void ProblemParser::parseGoalSection(ast::Problem &problem)
tokenizer.expect<std::string>(":");
tokenizer.expect<std::string>("goal");
ASTContext expressionContext(problem);
ASTContext astContext(problem);
VariableStack variableStack;
m_context.warningCallback(tokenizer.location(), "goal parser under construction, section is currently ignored");
// TODO: reimplement
//problem.goal = parsePreconditionExpression(m_context, expressionContext);
//tokenizer.expect<std::string>(")");
problem.goal = parsePrecondition(m_context, astContext, variableStack);
skipSection(tokenizer);
}