2 * String Input Visitor unit-tests.
4 * Copyright (C) 2012 Red Hat Inc.
7 * Paolo Bonzini <pbonzini@redhat.com> (based on test-qobject-input-visitor)
9 * This work is licensed under the terms of the GNU GPL, version 2 or later.
10 * See the COPYING file in the top-level directory.
13 #include "qemu/osdep.h"
15 #include "qemu-common.h"
16 #include "qapi/error.h"
17 #include "qapi/string-input-visitor.h"
18 #include "test-qapi-types.h"
19 #include "test-qapi-visit.h"
20 #include "qapi/qmp/types.h"
22 typedef struct TestInputVisitorData
{
24 } TestInputVisitorData
;
26 static void visitor_input_teardown(TestInputVisitorData
*data
,
35 /* This is provided instead of a test setup function so that the JSON
36 string used by the tests are kept in the test functions (and not
39 Visitor
*visitor_input_test_init(TestInputVisitorData
*data
,
42 visitor_input_teardown(data
, NULL
);
44 data
->v
= string_input_visitor_new(string
);
49 static void test_visitor_in_int(TestInputVisitorData
*data
,
52 int64_t res
= 0, value
= -42;
56 v
= visitor_input_test_init(data
, "-42");
58 visit_type_int(v
, NULL
, &res
, &err
);
60 g_assert_cmpint(res
, ==, value
);
62 v
= visitor_input_test_init(data
, "not an int");
64 visit_type_int(v
, NULL
, &res
, &err
);
65 error_free_or_abort(&err
);
68 static void check_ilist(Visitor
*v
, int64_t *expected
, size_t n
)
70 int64List
*res
= NULL
;
74 visit_type_int64List(v
, NULL
, &res
, &error_abort
);
76 for (i
= 0; i
< n
; i
++) {
78 g_assert_cmpint(tail
->value
, ==, expected
[i
]);
83 qapi_free_int64List(res
);
86 static void check_ulist(Visitor
*v
, uint64_t *expected
, size_t n
)
88 uint64List
*res
= NULL
;
92 /* BUG: unsigned numbers above INT64_MAX don't work */
93 for (i
= 0; i
< n
; i
++) {
94 if (expected
[i
] > INT64_MAX
) {
96 visit_type_uint64List(v
, NULL
, &res
, &err
);
97 error_free_or_abort(&err
);
102 visit_type_uint64List(v
, NULL
, &res
, &error_abort
);
104 for (i
= 0; i
< n
; i
++) {
106 g_assert_cmpuint(tail
->value
, ==, expected
[i
]);
111 qapi_free_uint64List(res
);
114 static void test_visitor_in_intList(TestInputVisitorData
*data
,
117 /* Note: the visitor *sorts* ranges *unsigned* */
118 int64_t expect1
[] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 20 };
119 int64_t expect2
[] = { 32767, -32768, -32767 };
120 int64_t expect3
[] = { INT64_MAX
, INT64_MIN
};
121 uint64_t expect4
[] = { UINT64_MAX
};
123 int64List
*res
= NULL
;
130 v
= visitor_input_test_init(data
, "1,2,0,2-4,20,5-9,1-8");
131 check_ilist(v
, expect1
, ARRAY_SIZE(expect1
));
133 v
= visitor_input_test_init(data
, "32767,-32768--32767");
134 check_ilist(v
, expect2
, ARRAY_SIZE(expect2
));
136 v
= visitor_input_test_init(data
,
137 "-9223372036854775808,9223372036854775807");
138 check_ilist(v
, expect3
, ARRAY_SIZE(expect3
));
140 v
= visitor_input_test_init(data
, "18446744073709551615");
141 check_ulist(v
, expect4
, ARRAY_SIZE(expect4
));
143 /* Empty list is invalid (weird) */
145 v
= visitor_input_test_init(data
, "");
146 visit_type_int64List(v
, NULL
, &res
, &err
);
147 error_free_or_abort(&err
);
151 v
= visitor_input_test_init(data
, "not an int list");
153 visit_type_int64List(v
, NULL
, &res
, &err
);
154 error_free_or_abort(&err
);
157 /* Unvisited list tail */
159 v
= visitor_input_test_init(data
, "0,2-3");
161 /* Would be simpler if the visitor genuinely supported virtual walks */
162 visit_start_list(v
, NULL
, (GenericList
**)&res
, sizeof(*res
),
165 visit_type_int64(v
, NULL
, &tail
->value
, &error_abort
);
166 g_assert_cmpint(tail
->value
, ==, 0);
167 tail
= (int64List
*)visit_next_list(v
, (GenericList
*)tail
, sizeof(*res
));
169 visit_type_int64(v
, NULL
, &tail
->value
, &error_abort
);
170 g_assert_cmpint(tail
->value
, ==, 2);
171 tail
= (int64List
*)visit_next_list(v
, (GenericList
*)tail
, sizeof(*res
));
174 visit_check_list(v
, &err
);
175 error_free_or_abort(&err
);
176 visit_end_list(v
, (void **)&res
);
178 qapi_free_int64List(res
);
180 /* Visit beyond end of list */
181 v
= visitor_input_test_init(data
, "0");
183 visit_start_list(v
, NULL
, (GenericList
**)&res
, sizeof(*res
),
186 visit_type_int64(v
, NULL
, &tail
->value
, &err
);
187 g_assert_cmpint(tail
->value
, ==, 0);
188 visit_type_int64(v
, NULL
, &val
, &err
);
189 g_assert_cmpint(val
, ==, 1); /* BUG */
190 visit_check_list(v
, &error_abort
);
191 visit_end_list(v
, (void **)&res
);
193 qapi_free_int64List(res
);
196 static void test_visitor_in_bool(TestInputVisitorData
*data
,
203 v
= visitor_input_test_init(data
, "true");
205 visit_type_bool(v
, NULL
, &res
, &err
);
207 g_assert_cmpint(res
, ==, true);
209 v
= visitor_input_test_init(data
, "yes");
211 visit_type_bool(v
, NULL
, &res
, &err
);
213 g_assert_cmpint(res
, ==, true);
215 v
= visitor_input_test_init(data
, "on");
217 visit_type_bool(v
, NULL
, &res
, &err
);
219 g_assert_cmpint(res
, ==, true);
221 v
= visitor_input_test_init(data
, "false");
223 visit_type_bool(v
, NULL
, &res
, &err
);
225 g_assert_cmpint(res
, ==, false);
227 v
= visitor_input_test_init(data
, "no");
229 visit_type_bool(v
, NULL
, &res
, &err
);
231 g_assert_cmpint(res
, ==, false);
233 v
= visitor_input_test_init(data
, "off");
235 visit_type_bool(v
, NULL
, &res
, &err
);
237 g_assert_cmpint(res
, ==, false);
240 static void test_visitor_in_number(TestInputVisitorData
*data
,
243 double res
= 0, value
= 3.14;
247 v
= visitor_input_test_init(data
, "3.14");
249 visit_type_number(v
, NULL
, &res
, &err
);
251 g_assert_cmpfloat(res
, ==, value
);
254 static void test_visitor_in_string(TestInputVisitorData
*data
,
257 char *res
= NULL
, *value
= (char *) "Q E M U";
261 v
= visitor_input_test_init(data
, value
);
263 visit_type_str(v
, NULL
, &res
, &err
);
265 g_assert_cmpstr(res
, ==, value
);
270 static void test_visitor_in_enum(TestInputVisitorData
*data
,
277 for (i
= 0; EnumOne_lookup
[i
]; i
++) {
280 v
= visitor_input_test_init(data
, EnumOne_lookup
[i
]);
282 visit_type_EnumOne(v
, NULL
, &res
, &err
);
284 g_assert_cmpint(i
, ==, res
);
288 /* Try to crash the visitors */
289 static void test_visitor_in_fuzz(TestInputVisitorData
*data
,
302 for (i
= 0; i
< 100; i
++) {
305 j
= g_test_rand_int_range(0, sizeof(buf
) - 1);
310 for (j
--; j
!= 0; j
--) {
311 buf
[j
- 1] = (char)g_test_rand_int_range(0, 256);
315 v
= visitor_input_test_init(data
, buf
);
316 visit_type_int(v
, NULL
, &ires
, NULL
);
318 v
= visitor_input_test_init(data
, buf
);
319 visit_type_intList(v
, NULL
, &ilres
, NULL
);
320 qapi_free_intList(ilres
);
322 v
= visitor_input_test_init(data
, buf
);
323 visit_type_bool(v
, NULL
, &bres
, NULL
);
325 v
= visitor_input_test_init(data
, buf
);
326 visit_type_number(v
, NULL
, &nres
, NULL
);
328 v
= visitor_input_test_init(data
, buf
);
330 visit_type_str(v
, NULL
, &sres
, NULL
);
333 v
= visitor_input_test_init(data
, buf
);
334 visit_type_EnumOne(v
, NULL
, &eres
, NULL
);
338 static void input_visitor_test_add(const char *testpath
,
339 TestInputVisitorData
*data
,
340 void (*test_func
)(TestInputVisitorData
*data
, const void *user_data
))
342 g_test_add(testpath
, TestInputVisitorData
, data
, NULL
, test_func
,
343 visitor_input_teardown
);
346 int main(int argc
, char **argv
)
348 TestInputVisitorData in_visitor_data
;
350 g_test_init(&argc
, &argv
, NULL
);
352 input_visitor_test_add("/string-visitor/input/int",
353 &in_visitor_data
, test_visitor_in_int
);
354 input_visitor_test_add("/string-visitor/input/intList",
355 &in_visitor_data
, test_visitor_in_intList
);
356 input_visitor_test_add("/string-visitor/input/bool",
357 &in_visitor_data
, test_visitor_in_bool
);
358 input_visitor_test_add("/string-visitor/input/number",
359 &in_visitor_data
, test_visitor_in_number
);
360 input_visitor_test_add("/string-visitor/input/string",
361 &in_visitor_data
, test_visitor_in_string
);
362 input_visitor_test_add("/string-visitor/input/enum",
363 &in_visitor_data
, test_visitor_in_enum
);
364 input_visitor_test_add("/string-visitor/input/fuzz",
365 &in_visitor_data
, test_visitor_in_fuzz
);