1
2
3
4
5
6
7
8
9
10
11
12
13
14#include "qemu/osdep.h"
15
16#include "qemu-common.h"
17#include "qapi/error.h"
18#include "qapi/qobject-input-visitor.h"
19#include "test-qapi-types.h"
20#include "test-qapi-visit.h"
21#include "qapi/qmp/types.h"
22#include "qapi/qmp/qjson.h"
23#include "test-qmp-introspect.h"
24#include "qmp-introspect.h"
25#include "qapi-visit.h"
26
27typedef struct TestInputVisitorData {
28 QObject *obj;
29 Visitor *qiv;
30} TestInputVisitorData;
31
32static void validate_teardown(TestInputVisitorData *data,
33 const void *unused)
34{
35 qobject_decref(data->obj);
36 data->obj = NULL;
37
38 if (data->qiv) {
39 visit_free(data->qiv);
40 data->qiv = NULL;
41 }
42}
43
44
45
46
47static Visitor *validate_test_init_internal(TestInputVisitorData *data,
48 const char *json_string,
49 va_list *ap)
50{
51 validate_teardown(data, NULL);
52
53 data->obj = qobject_from_jsonv(json_string, ap);
54 g_assert(data->obj);
55
56 data->qiv = qobject_input_visitor_new(data->obj, true);
57 g_assert(data->qiv);
58 return data->qiv;
59}
60
61static GCC_FMT_ATTR(2, 3)
62Visitor *validate_test_init(TestInputVisitorData *data,
63 const char *json_string, ...)
64{
65 Visitor *v;
66 va_list ap;
67
68 va_start(ap, json_string);
69 v = validate_test_init_internal(data, json_string, &ap);
70 va_end(ap);
71 return v;
72}
73
74
75
76
77
78
79
80
81static Visitor *validate_test_init_raw(TestInputVisitorData *data,
82 const char *json_string)
83{
84 return validate_test_init_internal(data, json_string, NULL);
85}
86
87
88static void test_validate_struct(TestInputVisitorData *data,
89 const void *unused)
90{
91 TestStruct *p = NULL;
92 Visitor *v;
93
94 v = validate_test_init(data, "{ 'integer': -42, 'boolean': true, 'string': 'foo' }");
95
96 visit_type_TestStruct(v, NULL, &p, &error_abort);
97 g_free(p->string);
98 g_free(p);
99}
100
101static void test_validate_struct_nested(TestInputVisitorData *data,
102 const void *unused)
103{
104 UserDefTwo *udp = NULL;
105 Visitor *v;
106
107 v = validate_test_init(data, "{ 'string0': 'string0', "
108 "'dict1': { 'string1': 'string1', "
109 "'dict2': { 'userdef': { 'integer': 42, "
110 "'string': 'string' }, 'string': 'string2'}}}");
111
112 visit_type_UserDefTwo(v, NULL, &udp, &error_abort);
113 qapi_free_UserDefTwo(udp);
114}
115
116static void test_validate_list(TestInputVisitorData *data,
117 const void *unused)
118{
119 UserDefOneList *head = NULL;
120 Visitor *v;
121
122 v = validate_test_init(data, "[ { 'string': 'string0', 'integer': 42 }, { 'string': 'string1', 'integer': 43 }, { 'string': 'string2', 'integer': 44 } ]");
123
124 visit_type_UserDefOneList(v, NULL, &head, &error_abort);
125 qapi_free_UserDefOneList(head);
126}
127
128static void test_validate_union_native_list(TestInputVisitorData *data,
129 const void *unused)
130{
131 UserDefNativeListUnion *tmp = NULL;
132 Visitor *v;
133
134 v = validate_test_init(data, "{ 'type': 'integer', 'data' : [ 1, 2 ] }");
135
136 visit_type_UserDefNativeListUnion(v, NULL, &tmp, &error_abort);
137 qapi_free_UserDefNativeListUnion(tmp);
138}
139
140static void test_validate_union_flat(TestInputVisitorData *data,
141 const void *unused)
142{
143 UserDefFlatUnion *tmp = NULL;
144 Visitor *v;
145
146 v = validate_test_init(data,
147 "{ 'enum1': 'value1', "
148 "'integer': 41, "
149 "'string': 'str', "
150 "'boolean': true }");
151
152 visit_type_UserDefFlatUnion(v, NULL, &tmp, &error_abort);
153 qapi_free_UserDefFlatUnion(tmp);
154}
155
156static void test_validate_alternate(TestInputVisitorData *data,
157 const void *unused)
158{
159 UserDefAlternate *tmp = NULL;
160 Visitor *v;
161
162 v = validate_test_init(data, "42");
163
164 visit_type_UserDefAlternate(v, NULL, &tmp, &error_abort);
165 qapi_free_UserDefAlternate(tmp);
166}
167
168static void test_validate_fail_struct(TestInputVisitorData *data,
169 const void *unused)
170{
171 TestStruct *p = NULL;
172 Error *err = NULL;
173 Visitor *v;
174
175 v = validate_test_init(data, "{ 'integer': -42, 'boolean': true, 'string': 'foo', 'extra': 42 }");
176
177 visit_type_TestStruct(v, NULL, &p, &err);
178 error_free_or_abort(&err);
179 g_assert(!p);
180}
181
182static void test_validate_fail_struct_nested(TestInputVisitorData *data,
183 const void *unused)
184{
185 UserDefTwo *udp = NULL;
186 Error *err = NULL;
187 Visitor *v;
188
189 v = validate_test_init(data, "{ 'string0': 'string0', 'dict1': { 'string1': 'string1', 'dict2': { 'userdef1': { 'integer': 42, 'string': 'string', 'extra': [42, 23, {'foo':'bar'}] }, 'string2': 'string2'}}}");
190
191 visit_type_UserDefTwo(v, NULL, &udp, &err);
192 error_free_or_abort(&err);
193 g_assert(!udp);
194}
195
196static void test_validate_fail_struct_missing(TestInputVisitorData *data,
197 const void *unused)
198{
199 Error *err = NULL;
200 Visitor *v;
201 QObject *any;
202 GenericAlternate *alt;
203 bool present;
204 int en;
205 int64_t i64;
206 uint32_t u32;
207 int8_t i8;
208 char *str;
209 double dbl;
210
211 v = validate_test_init(data, "{}");
212 visit_start_struct(v, NULL, NULL, 0, &error_abort);
213 visit_start_struct(v, "struct", NULL, 0, &err);
214 error_free_or_abort(&err);
215 visit_start_list(v, "list", NULL, 0, &err);
216 error_free_or_abort(&err);
217 visit_start_alternate(v, "alternate", &alt, sizeof(*alt), false, &err);
218 error_free_or_abort(&err);
219 visit_optional(v, "optional", &present);
220 g_assert(!present);
221 visit_type_enum(v, "enum", &en, EnumOne_lookup, &err);
222 error_free_or_abort(&err);
223 visit_type_int(v, "i64", &i64, &err);
224 error_free_or_abort(&err);
225 visit_type_uint32(v, "u32", &u32, &err);
226 error_free_or_abort(&err);
227 visit_type_int8(v, "i8", &i8, &err);
228 error_free_or_abort(&err);
229 visit_type_str(v, "i8", &str, &err);
230 error_free_or_abort(&err);
231 visit_type_number(v, "dbl", &dbl, &err);
232 error_free_or_abort(&err);
233 visit_type_any(v, "any", &any, &err);
234 error_free_or_abort(&err);
235 visit_type_null(v, "null", &err);
236 error_free_or_abort(&err);
237 visit_end_struct(v, NULL);
238}
239
240static void test_validate_fail_list(TestInputVisitorData *data,
241 const void *unused)
242{
243 UserDefOneList *head = NULL;
244 Error *err = NULL;
245 Visitor *v;
246
247 v = validate_test_init(data, "[ { 'string': 'string0', 'integer': 42 }, { 'string': 'string1', 'integer': 43 }, { 'string': 'string2', 'integer': 44, 'extra': 'ggg' } ]");
248
249 visit_type_UserDefOneList(v, NULL, &head, &err);
250 error_free_or_abort(&err);
251 g_assert(!head);
252}
253
254static void test_validate_fail_union_native_list(TestInputVisitorData *data,
255 const void *unused)
256{
257 UserDefNativeListUnion *tmp = NULL;
258 Error *err = NULL;
259 Visitor *v;
260
261 v = validate_test_init(data,
262 "{ 'type': 'integer', 'data' : [ 'string' ] }");
263
264 visit_type_UserDefNativeListUnion(v, NULL, &tmp, &err);
265 error_free_or_abort(&err);
266 g_assert(!tmp);
267}
268
269static void test_validate_fail_union_flat(TestInputVisitorData *data,
270 const void *unused)
271{
272 UserDefFlatUnion *tmp = NULL;
273 Error *err = NULL;
274 Visitor *v;
275
276 v = validate_test_init(data, "{ 'string': 'c', 'integer': 41, 'boolean': true }");
277
278 visit_type_UserDefFlatUnion(v, NULL, &tmp, &err);
279 error_free_or_abort(&err);
280 g_assert(!tmp);
281}
282
283static void test_validate_fail_union_flat_no_discrim(TestInputVisitorData *data,
284 const void *unused)
285{
286 UserDefFlatUnion2 *tmp = NULL;
287 Error *err = NULL;
288 Visitor *v;
289
290
291 v = validate_test_init(data, "{ 'integer': 42, 'string': 'c', 'string1': 'd', 'string2': 'e' }");
292
293 visit_type_UserDefFlatUnion2(v, NULL, &tmp, &err);
294 error_free_or_abort(&err);
295 g_assert(!tmp);
296}
297
298static void test_validate_fail_alternate(TestInputVisitorData *data,
299 const void *unused)
300{
301 UserDefAlternate *tmp;
302 Visitor *v;
303 Error *err = NULL;
304
305 v = validate_test_init(data, "3.14");
306
307 visit_type_UserDefAlternate(v, NULL, &tmp, &err);
308 error_free_or_abort(&err);
309 g_assert(!tmp);
310}
311
312static void do_test_validate_qmp_introspect(TestInputVisitorData *data,
313 const char *schema_json)
314{
315 SchemaInfoList *schema = NULL;
316 Visitor *v;
317
318 v = validate_test_init_raw(data, schema_json);
319
320 visit_type_SchemaInfoList(v, NULL, &schema, &error_abort);
321 g_assert(schema);
322
323 qapi_free_SchemaInfoList(schema);
324}
325
326static void test_validate_qmp_introspect(TestInputVisitorData *data,
327 const void *unused)
328{
329 do_test_validate_qmp_introspect(data, test_qmp_schema_json);
330 do_test_validate_qmp_introspect(data, qmp_schema_json);
331}
332
333static void validate_test_add(const char *testpath,
334 TestInputVisitorData *data,
335 void (*test_func)(TestInputVisitorData *data, const void *user_data))
336{
337 g_test_add(testpath, TestInputVisitorData, data, NULL, test_func,
338 validate_teardown);
339}
340
341int main(int argc, char **argv)
342{
343 TestInputVisitorData testdata;
344
345 g_test_init(&argc, &argv, NULL);
346
347 validate_test_add("/visitor/input-strict/pass/struct",
348 &testdata, test_validate_struct);
349 validate_test_add("/visitor/input-strict/pass/struct-nested",
350 &testdata, test_validate_struct_nested);
351 validate_test_add("/visitor/input-strict/pass/list",
352 &testdata, test_validate_list);
353 validate_test_add("/visitor/input-strict/pass/union-flat",
354 &testdata, test_validate_union_flat);
355 validate_test_add("/visitor/input-strict/pass/alternate",
356 &testdata, test_validate_alternate);
357 validate_test_add("/visitor/input-strict/pass/union-native-list",
358 &testdata, test_validate_union_native_list);
359 validate_test_add("/visitor/input-strict/fail/struct",
360 &testdata, test_validate_fail_struct);
361 validate_test_add("/visitor/input-strict/fail/struct-nested",
362 &testdata, test_validate_fail_struct_nested);
363 validate_test_add("/visitor/input-strict/fail/struct-missing",
364 &testdata, test_validate_fail_struct_missing);
365 validate_test_add("/visitor/input-strict/fail/list",
366 &testdata, test_validate_fail_list);
367 validate_test_add("/visitor/input-strict/fail/union-flat",
368 &testdata, test_validate_fail_union_flat);
369 validate_test_add("/visitor/input-strict/fail/union-flat-no-discriminator",
370 &testdata, test_validate_fail_union_flat_no_discrim);
371 validate_test_add("/visitor/input-strict/fail/alternate",
372 &testdata, test_validate_fail_alternate);
373 validate_test_add("/visitor/input-strict/fail/union-native-list",
374 &testdata, test_validate_fail_union_native_list);
375 validate_test_add("/visitor/input-strict/pass/qmp-introspect",
376 &testdata, test_validate_qmp_introspect);
377
378 g_test_run();
379
380 return 0;
381}
382
