Max Reitz | 1b76e83 | 2017-11-14 19:01:28 +0100 | [diff] [blame] | 1 | /* |
| 2 | * Generic QObject unit-tests. |
| 3 | * |
| 4 | * Copyright (C) 2017 Red Hat Inc. |
| 5 | * |
| 6 | * This work is licensed under the terms of the GNU LGPL, version 2.1 or later. |
| 7 | * See the COPYING.LIB file in the top-level directory. |
| 8 | */ |
Max Reitz | 1b76e83 | 2017-11-14 19:01:28 +0100 | [diff] [blame] | 9 | |
Markus Armbruster | 47e6b29 | 2018-02-01 12:18:38 +0100 | [diff] [blame] | 10 | #include "qemu/osdep.h" |
Markus Armbruster | d8da9e7 | 2020-06-30 11:03:29 +0200 | [diff] [blame] | 11 | #include "qapi/error.h" |
Markus Armbruster | 6b67395 | 2018-02-01 12:18:35 +0100 | [diff] [blame] | 12 | #include "qapi/qmp/qbool.h" |
Markus Armbruster | 452fcdb | 2018-02-01 12:18:39 +0100 | [diff] [blame] | 13 | #include "qapi/qmp/qdict.h" |
Markus Armbruster | 47e6b29 | 2018-02-01 12:18:38 +0100 | [diff] [blame] | 14 | #include "qapi/qmp/qlist.h" |
Markus Armbruster | 15280c3 | 2018-02-01 12:18:36 +0100 | [diff] [blame] | 15 | #include "qapi/qmp/qnull.h" |
| 16 | #include "qapi/qmp/qnum.h" |
Markus Armbruster | 6b67395 | 2018-02-01 12:18:35 +0100 | [diff] [blame] | 17 | #include "qapi/qmp/qstring.h" |
Max Reitz | 1b76e83 | 2017-11-14 19:01:28 +0100 | [diff] [blame] | 18 | |
| 19 | #include <math.h> |
| 20 | |
| 21 | /* Marks the end of the test_equality() argument list. |
| 22 | * We cannot use NULL there because that is a valid argument. */ |
| 23 | static QObject test_equality_end_of_arguments; |
| 24 | |
| 25 | /** |
| 26 | * Test whether all variadic QObject *arguments are equal (@expected |
| 27 | * is true) or whether they are all not equal (@expected is false). |
| 28 | * Every QObject is tested to be equal to itself (to test |
| 29 | * reflexivity), all tests are done both ways (to test symmetry), and |
| 30 | * transitivity is not assumed but checked (each object is compared to |
| 31 | * every other one). |
| 32 | * |
| 33 | * Note that qobject_is_equal() is not really an equivalence relation, |
| 34 | * so this function may not be used for all objects (reflexivity is |
| 35 | * not guaranteed, e.g. in the case of a QNum containing NaN). |
| 36 | * |
| 37 | * The @_ argument is required because a boolean may not be the last |
| 38 | * argument before a variadic argument list (C11 7.16.1.4 para. 4). |
| 39 | */ |
| 40 | static void do_test_equality(bool expected, int _, ...) |
| 41 | { |
| 42 | va_list ap_count, ap_extract; |
| 43 | QObject **args; |
| 44 | int arg_count = 0; |
| 45 | int i, j; |
| 46 | |
| 47 | va_start(ap_count, _); |
| 48 | va_copy(ap_extract, ap_count); |
| 49 | while (va_arg(ap_count, QObject *) != &test_equality_end_of_arguments) { |
| 50 | arg_count++; |
| 51 | } |
| 52 | va_end(ap_count); |
| 53 | |
| 54 | args = g_new(QObject *, arg_count); |
| 55 | for (i = 0; i < arg_count; i++) { |
| 56 | args[i] = va_arg(ap_extract, QObject *); |
| 57 | } |
| 58 | va_end(ap_extract); |
| 59 | |
| 60 | for (i = 0; i < arg_count; i++) { |
| 61 | g_assert(qobject_is_equal(args[i], args[i]) == true); |
| 62 | |
| 63 | for (j = i + 1; j < arg_count; j++) { |
| 64 | g_assert(qobject_is_equal(args[i], args[j]) == expected); |
| 65 | } |
| 66 | } |
Marc-André Lureau | 87c258c | 2018-01-04 17:05:13 +0100 | [diff] [blame] | 67 | |
| 68 | g_free(args); |
Max Reitz | 1b76e83 | 2017-11-14 19:01:28 +0100 | [diff] [blame] | 69 | } |
| 70 | |
| 71 | #define check_equal(...) \ |
| 72 | do_test_equality(true, 0, __VA_ARGS__, &test_equality_end_of_arguments) |
| 73 | #define check_unequal(...) \ |
| 74 | do_test_equality(false, 0, __VA_ARGS__, &test_equality_end_of_arguments) |
| 75 | |
Max Reitz | 1b76e83 | 2017-11-14 19:01:28 +0100 | [diff] [blame] | 76 | static void qobject_is_equal_null_test(void) |
| 77 | { |
| 78 | check_unequal(qnull(), NULL); |
| 79 | } |
| 80 | |
| 81 | static void qobject_is_equal_num_test(void) |
| 82 | { |
Marc-André Lureau | b307e50 | 2022-03-23 19:57:21 +0400 | [diff] [blame] | 83 | g_autoptr(QNum) u0 = qnum_from_uint(0u); |
| 84 | g_autoptr(QNum) i0 = qnum_from_int(0); |
| 85 | g_autoptr(QNum) d0 = qnum_from_double(0.0); |
| 86 | g_autoptr(QNum) dnan = qnum_from_double(NAN); |
| 87 | g_autoptr(QNum) um42 = qnum_from_uint((uint64_t)-42); |
| 88 | g_autoptr(QNum) im42 = qnum_from_int(-42); |
| 89 | g_autoptr(QNum) dm42 = qnum_from_double(-42.0); |
Max Reitz | 1b76e83 | 2017-11-14 19:01:28 +0100 | [diff] [blame] | 90 | |
Max Reitz | 1b76e83 | 2017-11-14 19:01:28 +0100 | [diff] [blame] | 91 | |
| 92 | /* Integers representing a mathematically equal number should |
| 93 | * compare equal */ |
| 94 | check_equal(u0, i0); |
| 95 | /* Doubles, however, are always unequal to integers */ |
| 96 | check_unequal(u0, d0); |
| 97 | check_unequal(i0, d0); |
| 98 | |
| 99 | /* Do not assume any object is equal to itself -- note however |
| 100 | * that NaN cannot occur in a JSON object anyway. */ |
| 101 | g_assert(qobject_is_equal(QOBJECT(dnan), QOBJECT(dnan)) == false); |
| 102 | |
| 103 | /* No unsigned overflow */ |
| 104 | check_unequal(um42, im42); |
| 105 | check_unequal(um42, dm42); |
| 106 | check_unequal(im42, dm42); |
Max Reitz | 1b76e83 | 2017-11-14 19:01:28 +0100 | [diff] [blame] | 107 | } |
| 108 | |
| 109 | static void qobject_is_equal_bool_test(void) |
| 110 | { |
Marc-André Lureau | b307e50 | 2022-03-23 19:57:21 +0400 | [diff] [blame] | 111 | g_autoptr(QBool) btrue_0 = qbool_from_bool(true); |
| 112 | g_autoptr(QBool) btrue_1 = qbool_from_bool(true); |
| 113 | g_autoptr(QBool) bfalse_0 = qbool_from_bool(false); |
| 114 | g_autoptr(QBool) bfalse_1 = qbool_from_bool(false); |
Max Reitz | 1b76e83 | 2017-11-14 19:01:28 +0100 | [diff] [blame] | 115 | |
| 116 | check_equal(btrue_0, btrue_1); |
| 117 | check_equal(bfalse_0, bfalse_1); |
| 118 | check_unequal(btrue_0, bfalse_0); |
Max Reitz | 1b76e83 | 2017-11-14 19:01:28 +0100 | [diff] [blame] | 119 | } |
| 120 | |
| 121 | static void qobject_is_equal_string_test(void) |
| 122 | { |
Marc-André Lureau | b307e50 | 2022-03-23 19:57:21 +0400 | [diff] [blame] | 123 | g_autoptr(QString) str_base = qstring_from_str("foo"); |
| 124 | g_autoptr(QString) str_whitespace_0 = qstring_from_str(" foo"); |
| 125 | g_autoptr(QString) str_whitespace_1 = qstring_from_str("foo "); |
| 126 | g_autoptr(QString) str_whitespace_2 = qstring_from_str("foo\b"); |
| 127 | g_autoptr(QString) str_whitespace_3 = qstring_from_str("fooo\b"); |
| 128 | g_autoptr(QString) str_case = qstring_from_str("Foo"); |
Max Reitz | 1b76e83 | 2017-11-14 19:01:28 +0100 | [diff] [blame] | 129 | /* Should yield "foo" */ |
Marc-André Lureau | b307e50 | 2022-03-23 19:57:21 +0400 | [diff] [blame] | 130 | g_autoptr(QString) str_built = qstring_from_substr("buffoon", 3, 6); |
Max Reitz | 1b76e83 | 2017-11-14 19:01:28 +0100 | [diff] [blame] | 131 | |
| 132 | check_unequal(str_base, str_whitespace_0, str_whitespace_1, |
| 133 | str_whitespace_2, str_whitespace_3, str_case); |
| 134 | |
| 135 | check_equal(str_base, str_built); |
Max Reitz | 1b76e83 | 2017-11-14 19:01:28 +0100 | [diff] [blame] | 136 | } |
| 137 | |
| 138 | static void qobject_is_equal_list_test(void) |
| 139 | { |
Marc-André Lureau | b307e50 | 2022-03-23 19:57:21 +0400 | [diff] [blame] | 140 | g_autoptr(QList) list_0 = qlist_new(); |
| 141 | g_autoptr(QList) list_1 = qlist_new(); |
| 142 | g_autoptr(QList) list_reordered = qlist_new(); |
| 143 | g_autoptr(QList) list_longer = qlist_new(); |
| 144 | g_autoptr(QList) list_shorter = qlist_new(); |
| 145 | g_autoptr(QList) list_cloned = NULL; |
Max Reitz | 1b76e83 | 2017-11-14 19:01:28 +0100 | [diff] [blame] | 146 | |
| 147 | qlist_append_int(list_0, 1); |
| 148 | qlist_append_int(list_0, 2); |
| 149 | qlist_append_int(list_0, 3); |
| 150 | |
| 151 | qlist_append_int(list_1, 1); |
| 152 | qlist_append_int(list_1, 2); |
| 153 | qlist_append_int(list_1, 3); |
| 154 | |
| 155 | qlist_append_int(list_reordered, 1); |
| 156 | qlist_append_int(list_reordered, 3); |
| 157 | qlist_append_int(list_reordered, 2); |
| 158 | |
| 159 | qlist_append_int(list_longer, 1); |
| 160 | qlist_append_int(list_longer, 2); |
| 161 | qlist_append_int(list_longer, 3); |
| 162 | qlist_append_null(list_longer); |
| 163 | |
| 164 | qlist_append_int(list_shorter, 1); |
| 165 | qlist_append_int(list_shorter, 2); |
| 166 | |
| 167 | list_cloned = qlist_copy(list_0); |
| 168 | |
| 169 | check_equal(list_0, list_1, list_cloned); |
| 170 | check_unequal(list_0, list_reordered, list_longer, list_shorter); |
| 171 | |
| 172 | /* With a NaN in it, the list should no longer compare equal to |
| 173 | * itself */ |
| 174 | qlist_append(list_0, qnum_from_double(NAN)); |
| 175 | g_assert(qobject_is_equal(QOBJECT(list_0), QOBJECT(list_0)) == false); |
Max Reitz | 1b76e83 | 2017-11-14 19:01:28 +0100 | [diff] [blame] | 176 | } |
| 177 | |
| 178 | static void qobject_is_equal_dict_test(void) |
| 179 | { |
Marc-André Lureau | b307e50 | 2022-03-23 19:57:21 +0400 | [diff] [blame] | 180 | g_autoptr(QDict) dict_cloned = NULL; |
Marc-André Lureau | b307e50 | 2022-03-23 19:57:21 +0400 | [diff] [blame] | 181 | g_autoptr(QDict) dict_0 = qdict_new(); |
| 182 | g_autoptr(QDict) dict_1 = qdict_new(); |
| 183 | g_autoptr(QDict) dict_different_key = qdict_new(); |
| 184 | g_autoptr(QDict) dict_different_value = qdict_new(); |
| 185 | g_autoptr(QDict) dict_different_null_key = qdict_new(); |
| 186 | g_autoptr(QDict) dict_longer = qdict_new(); |
| 187 | g_autoptr(QDict) dict_shorter = qdict_new(); |
| 188 | g_autoptr(QDict) dict_nested = qdict_new(); |
Max Reitz | 1b76e83 | 2017-11-14 19:01:28 +0100 | [diff] [blame] | 189 | |
| 190 | qdict_put_int(dict_0, "f.o", 1); |
| 191 | qdict_put_int(dict_0, "bar", 2); |
| 192 | qdict_put_int(dict_0, "baz", 3); |
| 193 | qdict_put_null(dict_0, "null"); |
| 194 | |
| 195 | qdict_put_int(dict_1, "f.o", 1); |
| 196 | qdict_put_int(dict_1, "bar", 2); |
| 197 | qdict_put_int(dict_1, "baz", 3); |
| 198 | qdict_put_null(dict_1, "null"); |
| 199 | |
| 200 | qdict_put_int(dict_different_key, "F.o", 1); |
| 201 | qdict_put_int(dict_different_key, "bar", 2); |
| 202 | qdict_put_int(dict_different_key, "baz", 3); |
| 203 | qdict_put_null(dict_different_key, "null"); |
| 204 | |
| 205 | qdict_put_int(dict_different_value, "f.o", 42); |
| 206 | qdict_put_int(dict_different_value, "bar", 2); |
| 207 | qdict_put_int(dict_different_value, "baz", 3); |
| 208 | qdict_put_null(dict_different_value, "null"); |
| 209 | |
| 210 | qdict_put_int(dict_different_null_key, "f.o", 1); |
| 211 | qdict_put_int(dict_different_null_key, "bar", 2); |
| 212 | qdict_put_int(dict_different_null_key, "baz", 3); |
| 213 | qdict_put_null(dict_different_null_key, "none"); |
| 214 | |
| 215 | qdict_put_int(dict_longer, "f.o", 1); |
| 216 | qdict_put_int(dict_longer, "bar", 2); |
| 217 | qdict_put_int(dict_longer, "baz", 3); |
| 218 | qdict_put_int(dict_longer, "xyz", 4); |
| 219 | qdict_put_null(dict_longer, "null"); |
| 220 | |
| 221 | qdict_put_int(dict_shorter, "f.o", 1); |
| 222 | qdict_put_int(dict_shorter, "bar", 2); |
| 223 | qdict_put_int(dict_shorter, "baz", 3); |
| 224 | |
| 225 | qdict_put(dict_nested, "f", qdict_new()); |
| 226 | qdict_put_int(qdict_get_qdict(dict_nested, "f"), "o", 1); |
| 227 | qdict_put_int(dict_nested, "bar", 2); |
| 228 | qdict_put_int(dict_nested, "baz", 3); |
| 229 | qdict_put_null(dict_nested, "null"); |
| 230 | |
| 231 | dict_cloned = qdict_clone_shallow(dict_0); |
| 232 | |
| 233 | check_equal(dict_0, dict_1, dict_cloned); |
| 234 | check_unequal(dict_0, dict_different_key, dict_different_value, |
| 235 | dict_different_null_key, dict_longer, dict_shorter, |
| 236 | dict_nested); |
| 237 | |
Max Reitz | 1b76e83 | 2017-11-14 19:01:28 +0100 | [diff] [blame] | 238 | /* Containing an NaN value will make this dict compare unequal to |
| 239 | * itself */ |
| 240 | qdict_put(dict_0, "NaN", qnum_from_double(NAN)); |
| 241 | g_assert(qobject_is_equal(QOBJECT(dict_0), QOBJECT(dict_0)) == false); |
Max Reitz | 1b76e83 | 2017-11-14 19:01:28 +0100 | [diff] [blame] | 242 | } |
| 243 | |
| 244 | static void qobject_is_equal_conversion_test(void) |
| 245 | { |
Marc-André Lureau | b307e50 | 2022-03-23 19:57:21 +0400 | [diff] [blame] | 246 | g_autoptr(QNum) u0 = qnum_from_uint(0u); |
| 247 | g_autoptr(QNum) i0 = qnum_from_int(0); |
| 248 | g_autoptr(QNum) d0 = qnum_from_double(0.0); |
| 249 | g_autoptr(QString) s0 = qstring_from_str("0"); |
| 250 | g_autoptr(QString) s_empty = qstring_new(); |
| 251 | g_autoptr(QBool) bfalse = qbool_from_bool(false); |
Max Reitz | 1b76e83 | 2017-11-14 19:01:28 +0100 | [diff] [blame] | 252 | |
| 253 | /* No automatic type conversion */ |
| 254 | check_unequal(u0, s0, s_empty, bfalse, qnull(), NULL); |
| 255 | check_unequal(i0, s0, s_empty, bfalse, qnull(), NULL); |
| 256 | check_unequal(d0, s0, s_empty, bfalse, qnull(), NULL); |
Max Reitz | 1b76e83 | 2017-11-14 19:01:28 +0100 | [diff] [blame] | 257 | } |
| 258 | |
| 259 | int main(int argc, char **argv) |
| 260 | { |
| 261 | g_test_init(&argc, &argv, NULL); |
| 262 | |
| 263 | g_test_add_func("/public/qobject_is_equal_null", |
| 264 | qobject_is_equal_null_test); |
| 265 | g_test_add_func("/public/qobject_is_equal_num", qobject_is_equal_num_test); |
| 266 | g_test_add_func("/public/qobject_is_equal_bool", |
| 267 | qobject_is_equal_bool_test); |
| 268 | g_test_add_func("/public/qobject_is_equal_string", |
| 269 | qobject_is_equal_string_test); |
| 270 | g_test_add_func("/public/qobject_is_equal_list", |
| 271 | qobject_is_equal_list_test); |
| 272 | g_test_add_func("/public/qobject_is_equal_dict", |
| 273 | qobject_is_equal_dict_test); |
| 274 | g_test_add_func("/public/qobject_is_equal_conversion", |
| 275 | qobject_is_equal_conversion_test); |
| 276 | |
| 277 | return g_test_run(); |
| 278 | } |