blob: abe6626e2c399d03d82d93ccf53e780ce4430fda (
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
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
#ifndef HEADER_TEST_HELPERS_HPP
#define HEADER_TEST_HELPERS_HPP
#include "common.hpp"
#include <utility>
template <typename T> static void generic_bool_ops_test(const T& obj)
{
T null;
CHECK(!null);
CHECK(obj);
CHECK(!!obj);
bool b1 = null, b2 = obj;
CHECK(!b1);
CHECK(b2);
CHECK(obj && b2);
CHECK(obj || b2);
CHECK(obj && obj);
CHECK(obj || obj);
}
template <typename T> static void generic_eq_ops_test(const T& obj1, const T& obj2)
{
T null = T();
// operator==
CHECK(null == null);
CHECK(obj1 == obj1);
CHECK(!(null == obj1));
CHECK(!(null == obj2));
CHECK(T(null) == null);
CHECK(T(obj1) == obj1);
// operator!=
CHECK(!(null != null));
CHECK(!(obj1 != obj1));
CHECK(null != obj1);
CHECK(null != obj2);
CHECK(!(T(null) != null));
CHECK(!(T(obj1) != obj1));
}
template <typename T> static void generic_rel_ops_test(T obj1, T obj2)
{
T null = T();
// obj1 < obj2 (we use operator<, but there is no other choice
if (obj1 > obj2)
{
T temp = obj1;
obj1 = obj2;
obj2 = temp;
}
// operator<
CHECK(null < obj1);
CHECK(null < obj2);
CHECK(obj1 < obj2);
CHECK(!(null < null));
CHECK(!(obj1 < obj1));
CHECK(!(obj1 < null));
CHECK(!(obj2 < obj1));
// operator<=
CHECK(null <= obj1);
CHECK(null <= obj2);
CHECK(obj1 <= obj2);
CHECK(null <= null);
CHECK(obj1 <= obj1);
CHECK(!(obj1 <= null));
CHECK(!(obj2 <= obj1));
// operator>
CHECK(obj1 > null);
CHECK(obj2 > null);
CHECK(obj2 > obj1);
CHECK(!(null > null));
CHECK(!(obj1 > obj1));
CHECK(!(null > obj1));
CHECK(!(obj1 > obj2));
// operator>=
CHECK(obj1 >= null);
CHECK(obj2 >= null);
CHECK(obj2 >= obj1);
CHECK(null >= null);
CHECK(obj1 >= obj1);
CHECK(!(null >= obj1));
CHECK(!(obj1 >= obj2));
}
#endif
|
