mirror of
https://github.com/JakeHillion/object-introspection.git
synced 2024-09-19 19:19:05 +01:00
4d96848bdb
We can catch these exceptions and print clearer failure messages. Before: unknown file: Failure C++ exception with description "Invalid type for child" thrown in the test body. After: ../test/type_graph_utils.cpp:44: Failure Failed Error parsing input graph: Invalid type for child
118 lines
3.2 KiB
C++
118 lines
3.2 KiB
C++
#include "test/type_graph_utils.h"
|
|
|
|
#include <gtest/gtest.h>
|
|
|
|
#include "oi/ContainerInfo.h"
|
|
#include "oi/type_graph/PassManager.h"
|
|
#include "oi/type_graph/Printer.h"
|
|
#include "oi/type_graph/TypeGraph.h"
|
|
#include "test/TypeGraphParser.h"
|
|
|
|
using type_graph::Container;
|
|
using type_graph::NodeId;
|
|
using type_graph::Pass;
|
|
using type_graph::Type;
|
|
using type_graph::TypeGraph;
|
|
|
|
template <typename T>
|
|
using ref = std::reference_wrapper<T>;
|
|
|
|
void check(const std::vector<ref<Type>>& types,
|
|
std::string_view expected,
|
|
std::string_view comment) {
|
|
std::stringstream out;
|
|
type_graph::Printer printer(out, types.size());
|
|
|
|
for (const auto& type : types) {
|
|
printer.print(type);
|
|
}
|
|
|
|
if (expected[0] == '\n')
|
|
expected.remove_prefix(1); // Remove initial '\n'
|
|
ASSERT_EQ(expected, out.str()) << "Test failure " << comment;
|
|
}
|
|
|
|
void test(type_graph::Pass pass,
|
|
std::string_view input,
|
|
std::string_view expectedAfter) {
|
|
input.remove_prefix(1); // Remove initial '\n'
|
|
TypeGraph typeGraph;
|
|
TypeGraphParser parser{typeGraph};
|
|
try {
|
|
parser.parse(input);
|
|
} catch (const TypeGraphParserError& err) {
|
|
FAIL() << "Error parsing input graph: " << err.what();
|
|
}
|
|
|
|
// Validate input formatting
|
|
check(typeGraph.rootTypes(), input, "parsing input graph");
|
|
|
|
// Run pass and check results
|
|
test(pass, typeGraph.rootTypes(), expectedAfter);
|
|
}
|
|
|
|
void testNoChange(type_graph::Pass pass, std::string_view input) {
|
|
input.remove_prefix(1); // Remove initial '\n'
|
|
TypeGraph typeGraph;
|
|
TypeGraphParser parser{typeGraph};
|
|
try {
|
|
parser.parse(input);
|
|
} catch (const TypeGraphParserError& err) {
|
|
FAIL() << "Error parsing input graph: " << err.what();
|
|
}
|
|
|
|
// Validate input formatting
|
|
check(typeGraph.rootTypes(), input, "parsing input graph");
|
|
|
|
// Run pass and check results
|
|
test(pass, typeGraph.rootTypes(), input);
|
|
}
|
|
|
|
void test(type_graph::Pass pass,
|
|
std::vector<ref<Type>> rootTypes,
|
|
std::string_view expectedBefore,
|
|
std::string_view expectedAfter) {
|
|
if (expectedBefore.data()) {
|
|
check(rootTypes, expectedBefore, "before running pass");
|
|
}
|
|
|
|
TypeGraph typeGraph;
|
|
for (const auto& type : rootTypes) {
|
|
typeGraph.addRoot(type);
|
|
}
|
|
|
|
pass.run(typeGraph);
|
|
|
|
// Must use typeGraph's root types here, as the pass may have modified them
|
|
check(typeGraph.rootTypes(), expectedAfter, "after running pass");
|
|
}
|
|
|
|
void test(type_graph::Pass pass,
|
|
std::vector<ref<Type>> rootTypes,
|
|
std::string_view expectedAfter) {
|
|
test(pass, rootTypes, {}, expectedAfter);
|
|
}
|
|
|
|
Container getVector(NodeId id) {
|
|
static ContainerInfo info{"std::vector", SEQ_TYPE, "vector"};
|
|
info.stubTemplateParams = {1};
|
|
return Container{id, info, 24};
|
|
}
|
|
|
|
Container getMap(NodeId id) {
|
|
static ContainerInfo info{"std::map", STD_MAP_TYPE, "map"};
|
|
info.stubTemplateParams = {2, 3};
|
|
return Container{id, info, 48};
|
|
}
|
|
|
|
Container getList(NodeId id) {
|
|
static ContainerInfo info{"std::list", LIST_TYPE, "list"};
|
|
info.stubTemplateParams = {1};
|
|
return Container{id, info, 24};
|
|
}
|
|
|
|
Container getPair(NodeId id) {
|
|
static ContainerInfo info{"std::pair", PAIR_TYPE, "utility"};
|
|
return Container{id, info, 8}; // Nonsense size, shouldn't matter for tests
|
|
}
|