From 9fbe0db56737161aab2dbd3b02c6e9fa16f20668 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Fri, 16 Jun 2017 04:25:42 +0200
Subject: [PATCH] =?UTF-8?q?Extended=20unit=20test=20on=20=E2=80=9Ceither?=
 =?UTF-8?q?=E2=80=9D=20types.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 lib/pddlparse/tests/TestOfficialPDDLInstances.cpp | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/lib/pddlparse/tests/TestOfficialPDDLInstances.cpp b/lib/pddlparse/tests/TestOfficialPDDLInstances.cpp
index 4d68c1e..93ae680 100644
--- a/lib/pddlparse/tests/TestOfficialPDDLInstances.cpp
+++ b/lib/pddlparse/tests/TestOfficialPDDLInstances.cpp
@@ -32,9 +32,12 @@ TEST_CASE("[PDDL parser] The official PDDL instances are parsed correctly", "[PD
 		REQUIRE(predicates[0]->parameters.size() == 2);
 		REQUIRE(predicates[0]->parameters[0]->name == "x");
 		REQUIRE(predicates[0]->parameters[0]->type);
-		CHECK(predicates[0]->parameters[0]->type.value().is<pddl::ast::EitherPointer<pddl::ast::PrimitiveTypePointer>>());
+		REQUIRE(predicates[0]->parameters[0]->type.value().is<pddl::ast::EitherPointer<pddl::ast::PrimitiveTypePointer>>());
+		CHECK(predicates[0]->parameters[0]->type.value().get<pddl::ast::EitherPointer<pddl::ast::PrimitiveTypePointer>>()->arguments[0]->declaration->name == "person");
+		CHECK(predicates[0]->parameters[0]->type.value().get<pddl::ast::EitherPointer<pddl::ast::PrimitiveTypePointer>>()->arguments[1]->declaration->name == "aircraft");
 		REQUIRE(predicates[0]->parameters[1]->name == "c");
 		REQUIRE(predicates[0]->parameters[1]->type);
-		CHECK(predicates[0]->parameters[1]->type.value().is<pddl::ast::PrimitiveTypePointer>());
+		REQUIRE(predicates[0]->parameters[1]->type.value().is<pddl::ast::PrimitiveTypePointer>());
+		CHECK(predicates[0]->parameters[1]->type.value().get<pddl::ast::PrimitiveTypePointer>()->declaration->name == "city");
 	}
 }