/*
Ousía
Copyright (C) 2014, 2015 Benjamin Paaßen, Andreas Stöckel
This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program. If not, see .
*/
#include
#include
#include
#include
#include "TestDomain.hpp"
namespace ousia {
namespace model {
void assert_path(const ResolutionResult &res, const RttiType &expected_type,
std::vector expected_path)
{
// Check class/type
ASSERT_TRUE(res.node->isa(expected_type));
// Check path
ASSERT_EQ(expected_path, res.node->path());
}
TEST(Domain, testDomainResolving)
{
// Construct Manager
Logger logger;
Manager mgr{1};
Rooted sys{new SystemTypesystem(mgr)};
// Get the domain.
Rooted domain = constructBookDomain(mgr, sys, logger);
std::vector res;
// There is one domain called "book"
res = domain->resolve("book", typeOf());
ASSERT_EQ(1U, res.size());
assert_path(res[0], typeOf(), {"book"});
// There is one domain called "book"
res = domain->resolve("book", typeOf());
ASSERT_EQ(1U, res.size());
assert_path(res[0], typeOf(), {"book", "book"});
// If we explicitly ask for the "book, book" path, then only the
// StructuredClass should be returned.
res = domain->resolve(std::vector{"book", "book"},
typeOf());
ASSERT_EQ(0U, res.size());
res = domain->resolve(std::vector{"book", "book"},
typeOf());
ASSERT_EQ(1U, res.size());
// If we ask for "section" the result should be unique as well.
res = domain->resolve("section", typeOf());
ASSERT_EQ(1U, res.size());
assert_path(res[0], typeOf(), {"book", "section"});
// If we ask for "paragraph" it is referenced two times in the Domain graph,
// but should be returned only once.
res = domain->resolve("paragraph", typeOf());
ASSERT_EQ(1U, res.size());
assert_path(res[0], typeOf(), {"book", "paragraph"});
}
Rooted getClass(const std::string name, Handle dom)
{
std::vector res =
dom->resolve(name, RttiTypes::StructuredClass);
return res[0].node.cast();
}
TEST(Descriptor, pathTo)
{
// Start with some easy examples from the book domain.
Logger logger;
Manager mgr{1};
Rooted sys{new SystemTypesystem(mgr)};
// Get the domain.
Rooted domain = constructBookDomain(mgr, sys, logger);
// get the book node and the section node.
Rooted book = getClass("book", domain);
Rooted section = getClass("section", domain);
// get the path in between.
std::vector> path = book->pathTo(section);
ASSERT_EQ(1, path.size());
ASSERT_TRUE(path[0]->isa(RttiTypes::FieldDescriptor));
// get the text node.
Rooted text = getClass("text", domain);
// get the path between book and text via paragraph.
path = book->pathTo(text);
ASSERT_EQ(3, path.size());
ASSERT_TRUE(path[0]->isa(RttiTypes::FieldDescriptor));
ASSERT_TRUE(path[1]->isa(RttiTypes::StructuredClass));
ASSERT_EQ("paragraph", path[1]->getName());
ASSERT_TRUE(path[2]->isa(RttiTypes::FieldDescriptor));
// get the subsection node.
Rooted subsection = getClass("subsection", domain);
// try to get the path between book and subsection.
path = book->pathTo(subsection);
// this should be impossible.
ASSERT_EQ(0, path.size());
}
}
}