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

Added warnings for currently under-construction sections.

Browse Source
This commit is contained in:
Patrick Lühne 2017-06-17 18:17:23 +02:00
parent 0d3cb152f9
commit 34d9c7a1c2
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
3 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
lib/pddlparse/src/pddlparse/detail/parsing/Action.cpp
View File

@ -166,6 +166,8 @@ void ActionParser::parseEffectSection(ast::Action &)
tokenizer.expect<std::string>(":effect");
tokenizer.expect<std::string>("(");
m_context.warningCallback(tokenizer.location(), "effect parser under construction, section is currently ignored");
// TODO: reimplement
//VariableStack variableStack;
//variableStack.push(&action.parameters);

2
lib/pddlparse/src/pddlparse/detail/parsing/InitialState.cpp
View File

@ -21,6 +21,8 @@ ast::InitialState parseInitialState(Context &context, ASTContext &)
ast::InitialState initialState;
context.warningCallback(tokenizer.location(), "initial state parser under construction, section is currently ignored");
// TODO: reimplement
/*const auto parseInitialStateElement =
[&]() -> ExpressionPointer

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

@ -268,6 +268,8 @@ void ProblemParser::parseInitialStateSection(ast::Problem &problem)
ASTContext astContext(problem);
m_context.warningCallback(tokenizer.location(), "initial state parser under construction, section is currently ignored");
// TODO: reimplement
//problem.initialState = parseInitialState(m_context, astContext);
//tokenizer.expect<std::string>(")");
@ -287,6 +289,8 @@ void ProblemParser::parseGoalSection(ast::Problem &problem)
ASTContext expressionContext(problem);
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>(")");