blob: 281cca6a6250465751b8897407dd7427f9026be1 (
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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
#include <forstio/test/suite.h>
#include <forstio/core/id.h>
#include <forstio/core/id_map.h>
#include <forstio/core/string_literal.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("String Literal Append"){
using namespace saw;
constexpr string_literal a = "foo";
constexpr string_literal b = "bar";
constexpr string_literal c = a+b;
SAW_EXPECT(c == "foobar", "CT String sum is not \"foobar\"");
}
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& id_2 = eoid_2.get_value();
SAW_EXPECT(id != id_2, "Shouldn't be equal");
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");
}
}
}
|
