From 19c81effbef4724d3bdb78bed0a0e1e1ad7a0a33 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Sat, 17 Jun 2017 21:05:13 +0200 Subject: [PATCH] Added extensive test for Blocksworld domain. --- .../tests/TestOfficialPDDLInstances.cpp | 94 +++++++++++++++++++ 1 file changed, 94 insertions(+) diff --git a/lib/pddlparse/tests/TestOfficialPDDLInstances.cpp b/lib/pddlparse/tests/TestOfficialPDDLInstances.cpp index 19bdbd4..87214bb 100644 --- a/lib/pddlparse/tests/TestOfficialPDDLInstances.cpp +++ b/lib/pddlparse/tests/TestOfficialPDDLInstances.cpp @@ -17,6 +17,100 @@ TEST_CASE("[PDDL parser] The official PDDL instances are parsed correctly", "[PD pddl::Tokenizer tokenizer; pddl::Context context(std::move(tokenizer), ignoreWarnings); + SECTION("types, predicates, and actions in blocksworld domain") + { + const auto domainFile = pddlInstanceBasePath / "ipc-2000" / "domains" / "blocks-strips-typed" / "domain.pddl"; + context.tokenizer.read(domainFile); + auto description = pddl::parseDescription(context); + + const auto &types = description.domain->types; + + REQUIRE(types.size() == 1); + const auto &typeBlock = types[0]; + CHECK(typeBlock->name == "block"); + + const auto &predicates = description.domain->predicates; + + REQUIRE(predicates.size() == 5); + + CHECK(predicates[0]->name == "on"); + REQUIRE(predicates[0]->parameters.size() == 2); + CHECK(predicates[0]->parameters[0]->name == "x"); + CHECK(predicates[0]->parameters[0]->type.value().get()->declaration == typeBlock.get()); + CHECK(predicates[0]->parameters[1]->name == "y"); + CHECK(predicates[0]->parameters[1]->type.value().get()->declaration == typeBlock.get()); + CHECK(predicates[1]->name == "ontable"); + REQUIRE(predicates[1]->parameters.size() == 1); + CHECK(predicates[1]->parameters[0]->name == "x"); + CHECK(predicates[1]->parameters[0]->type.value().get()->declaration == typeBlock.get()); + CHECK(predicates[2]->name == "clear"); + REQUIRE(predicates[2]->parameters.size() == 1); + CHECK(predicates[2]->parameters[0]->name == "x"); + CHECK(predicates[2]->parameters[0]->type.value().get()->declaration == typeBlock.get()); + CHECK(predicates[3]->name == "handempty"); + CHECK(predicates[3]->parameters.empty()); + CHECK(predicates[4]->name == "holding"); + REQUIRE(predicates[4]->parameters.size() == 1); + CHECK(predicates[4]->parameters[0]->name == "x"); + CHECK(predicates[4]->parameters[0]->type.value().get()->declaration == typeBlock.get()); + + const auto &actions = description.domain->actions; + + REQUIRE(actions.size() == 4); + + CHECK(actions[3]->name == "unstack"); + + REQUIRE(actions[3]->parameters.size() == 2); + CHECK(actions[3]->parameters[0]->name == "x"); + CHECK(actions[3]->parameters[0]->type.value().get()->declaration == typeBlock.get()); + CHECK(actions[3]->parameters[1]->name == "y"); + CHECK(actions[3]->parameters[1]->type.value().get()->declaration == typeBlock.get()); + + const auto &preconditionAnd = actions[3]->precondition.value().get>(); + const auto &precondition0 = preconditionAnd->arguments[0].get().get(); + // TODO: check declaration once implemented + REQUIRE(precondition0->arguments.size() == 2); + CHECK(precondition0->arguments[0].get()->declaration->name == "x"); + CHECK(precondition0->arguments[0].get()->declaration->type.value().get()->declaration == typeBlock.get()); + CHECK(precondition0->arguments[1].get()->declaration->name == "y"); + CHECK(precondition0->arguments[1].get()->declaration->type.value().get()->declaration == typeBlock.get()); + const auto &precondition1 = preconditionAnd->arguments[1].get().get(); + // TODO: check declaration once implemented + REQUIRE(precondition1->arguments.size() == 1); + CHECK(precondition1->arguments[0].get()->declaration->name == "x"); + CHECK(precondition1->arguments[0].get()->declaration->type.value().get()->declaration == typeBlock.get()); + const auto &precondition2 = preconditionAnd->arguments[2].get().get(); + // TODO: check declaration once implemented + REQUIRE(precondition2->arguments.empty()); + + const auto &effectAnd = actions[3]->effect.value().get>(); + const auto &effect0 = effectAnd->arguments[0].get().get(); + // TODO: check declaration once implemented + REQUIRE(effect0->arguments.size() == 1); + CHECK(effect0->arguments[0].get()->declaration->name == "x"); + CHECK(effect0->arguments[0].get()->declaration->type.value().get()->declaration == typeBlock.get()); + const auto &effect1 = effectAnd->arguments[1].get().get(); + // TODO: check declaration once implemented + REQUIRE(effect1->arguments.size() == 1); + CHECK(effect1->arguments[0].get()->declaration->name == "y"); + CHECK(effect1->arguments[0].get()->declaration->type.value().get()->declaration == typeBlock.get()); + const auto &effectNot2 = effectAnd->arguments[2].get>()->argument.get().get(); + // TODO: check declaration once implemented + REQUIRE(effectNot2->arguments.size() == 1); + CHECK(effectNot2->arguments[0].get()->declaration->name == "x"); + CHECK(effectNot2->arguments[0].get()->declaration->type.value().get()->declaration == typeBlock.get()); + const auto &effectNot3 = effectAnd->arguments[3].get>()->argument.get().get(); + // TODO: check declaration once implemented + REQUIRE(effectNot3->arguments.empty()); + const auto &effectNot4 = effectAnd->arguments[4].get>()->argument.get().get(); + // TODO: check declaration once implemented + REQUIRE(effectNot4->arguments.size() == 2); + CHECK(effectNot4->arguments[0].get()->declaration->name == "x"); + CHECK(effectNot4->arguments[0].get()->declaration->type.value().get()->declaration == typeBlock.get()); + CHECK(effectNot4->arguments[1].get()->declaration->name == "y"); + CHECK(effectNot4->arguments[1].get()->declaration->type.value().get()->declaration == typeBlock.get()); + } + SECTION("“either” type in zenotravel domain") { const auto domainFile = pddlInstanceBasePath / "ipc-2002" / "domains" / "zenotravel-numeric-hand-coded" / "domain.pddl";