summaryrefslogtreecommitdiff
path: root/tests/core.cpp
blob: eb315e5df94cd56af68563ea8113a56b8f1c4f43 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
#include <forstio/test/suite.h>
#include <forstio/core/id.h>
#include <forstio/core/id_map.h>

namespace {
SAW_TEST("ID functionality") {
		using namespace saw;
		struct foo {};

		id<foo> a{1};
		id<foo> b{1};
		id<foo> c{2};

		/** 
		 * The following doesn't compile, so it's commented out as an example
		 */
		/**
		 * struct bar {};
		 *
		 * id<bar> d{1};
		 *
		 * SAW_EXPECT(a == d, "Shouldn't compile");
		 */

		SAW_EXPECT(a == b, "Should be equal");
		SAW_EXPECT(a != c, "Shouldn't be equal");
		SAW_EXPECT(b != c, "Shouldn't be equal");
		SAW_EXPECT(a.get_value() == 1, "Lost original value");
}

SAW_TEST("ID Map Insert"){
		using namespace saw;

		struct foo {};

		id_map<foo> map;
		{
				auto eoid = map.insert(foo{});
				SAW_EXPECT(eoid.is_value(), "First insert failed");
				
				auto& id = eoid.get_value();

				auto eoid_2 = map.insert(foo{});
				SAW_EXPECT(eoid_2.is_value(), "Second Insert failed");
				
				auto eov = map.erase(id);
				SAW_EXPECT(eov.is_value(), "Erase failed");

				auto eov_2 = map.erase(id);
				SAW_EXPECT(eov_2.is_error(), "This is a double free");
		}
}
}