Started implementing parsing of action preconditions.

include/plasp/pddl/Action.h

@@ -0,0 +1,43 @@
+#ifndef __PLASP__PDDL__ACTION_H
+#define __PLASP__PDDL__ACTION_H
+
+#include <vector>
+
+#include <plasp/pddl/Variable.h>
+#include <plasp/utils/Parser.h>
+
+namespace plasp
+{
+namespace pddl
+{
+
+////////////////////////////////////////////////////////////////////////////////////////////////////
+//
+// Action
+//
+////////////////////////////////////////////////////////////////////////////////////////////////////
+
+class Action
+{
+	public:
+		static Action &parseDeclaration(utils::Parser &parser, Context &context);
+
+	public:
+		const std::string &name() const;
+
+	private:
+		Action(std::string name);
+
+		void parsePrecondition(utils::Parser &parser, Context &context);
+
+		std::string m_name;
+
+		std::vector<Variable> m_parameters;
+};
+
+////////////////////////////////////////////////////////////////////////////////////////////////////
+
+}
+}
+
+#endif

include/plasp/pddl/Expression.h

@@ -0,0 +1,37 @@
+#ifndef __PLASP__PDDL__EXPRESSION_H
+#define __PLASP__PDDL__EXPRESSION_H
+
+#include <boost/variant.hpp>
+
+#include <plasp/utils/Parser.h>
+
+namespace plasp
+{
+namespace pddl
+{
+
+////////////////////////////////////////////////////////////////////////////////////////////////////
+//
+// Expression
+//
+////////////////////////////////////////////////////////////////////////////////////////////////////
+
+class Context;
+
+namespace expression
+{
+	class And;
+}
+
+////////////////////////////////////////////////////////////////////////////////////////////////////
+
+using ExpressionPtr = boost::variant<void *>;
+
+ExpressionPtr parsePreconditionExpression(utils::Parser &parser, Context &context);
+
+////////////////////////////////////////////////////////////////////////////////////////////////////
+
+}
+}
+
+#endif

src/plasp/pddl/Action.cpp

@@ -0,0 +1,99 @@
+#include <plasp/pddl/Action.h>
+
+#include <algorithm>
+
+#include <plasp/pddl/Context.h>
+#include <plasp/pddl/Identifier.h>
+
+namespace plasp
+{
+namespace pddl
+{
+
+////////////////////////////////////////////////////////////////////////////////////////////////////
+//
+// Action
+//
+////////////////////////////////////////////////////////////////////////////////////////////////////
+
+Action::Action(std::string name)
+:	m_name{name}
+{
+}
+
+////////////////////////////////////////////////////////////////////////////////////////////////////
+
+Action &Action::parseDeclaration(utils::Parser &parser, Context &context)
+{
+	const auto actionName = parser.parseIdentifier(isIdentifier);
+
+	auto action = std::make_unique<Action>(Action(actionName));
+
+	parser.expect<std::string>(":parameters");
+
+	parser.skipWhiteSpace();
+
+	// Read parameters
+	while (parser.currentCharacter() != ':')
+	{
+		Variable::parseTyped(parser, context, action->m_parameters);
+
+		parser.skipWhiteSpace();
+	}
+
+	// Parse preconditions and effects
+	while (parser.currentCharacter() == ')')
+	{
+		parser.expect<std::string>(":");
+
+		const auto sectionIdentifier = parser.parseIdentifier(isIdentifier);
+
+		if (sectionIdentifier == "precondition")
+			action->parsePrecondition(parser, context);
+	}
+
+	parser.expect<std::string>(")");
+
+	// Store new action
+	context.actions.emplace_back(std::move(action));
+
+	return *context.actions.back();
+}
+
+////////////////////////////////////////////////////////////////////////////////////////////////////
+
+void Action::parsePrecondition(utils::Parser &parser, Context &context)
+{
+	parser.skipWhiteSpace();
+
+	// Check for empty precondition
+	if (parser.currentCharacter() == '(')
+	{
+		// Leave the preconditions empty and return
+		parser.expect<std::string>("()");
+		parser.expect<std::string>(")");
+
+		return;
+	}
+
+	parser.expect<std::string>")");
+}
+
+////////////////////////////////////////////////////////////////////////////////////////////////////
+
+const std::string &Action::name() const
+{
+	return m_name;
+}
+
+////////////////////////////////////////////////////////////////////////////////////////////////////
+
+const Variables &Action::parameters() const
+{
+	return m_parameters;
+}
+
+////////////////////////////////////////////////////////////////////////////////////////////////////
+
+}
+}

src/plasp/pddl/Expression.cpp

@@ -0,0 +1,39 @@
+#include <plasp/pddl/Expression.h>
+
+#include <plasp/pddl/Context.h>
+#include <plasp/pddl/Identifier.h>
+#include <plasp/utils/ParserException.h>
+
+namespace plasp
+{
+namespace pddl
+{
+
+////////////////////////////////////////////////////////////////////////////////////////////////////
+//
+// Expression
+//
+////////////////////////////////////////////////////////////////////////////////////////////////////
+
+ExpressionPtr parsePreconditionExpression(utils::Parser &parser, Context &context)
+{
+	parser.skipWhiteSpace();
+
+	parser.expect<std::string>("(");
+
+	const auto expressionIdentifier = parser.parseIdentifier(isIdentifier);
+
+	ExpressionPtr expression;
+
+	throw utils::ParserException(parser.row(), parser.column(), "Expression of type \"" + expressionIdentifier + "\" not allowed in preference declaration");
+
+	//if (expressionIdentifier == "and")
+	//	expression = NAry
+
+	parser.expect<std::string>(")");
+}
+
+////////////////////////////////////////////////////////////////////////////////////////////////////
+
+}
+}