blob: 04ef7c41ab45046ae7214d67e3ad9ee3d70d2565 [file] [log] [blame]
Michael Roth06d64c62011-07-19 14:50:41 -05001#
2# QAPI visitor generator
3#
4# Copyright IBM, Corp. 2011
5#
6# Authors:
7# Anthony Liguori <aliguori@us.ibm.com>
8# Michael Roth <mdroth@linux.vnet.ibm.com>
9#
10# This work is licensed under the terms of the GNU GPLv2.
11# See the COPYING.LIB file in the top-level directory.
12
13from ordereddict import OrderedDict
14from qapi import *
15import sys
16import os
17import getopt
18import errno
19
Paolo Bonzinid1953252012-07-17 16:17:04 +020020def generate_visit_struct_body(field_prefix, name, members):
21 ret = mcgen('''
22if (!error_is_set(errp)) {
23''')
24 push_indent()
25
Michael Roth06d64c62011-07-19 14:50:41 -050026 if len(field_prefix):
27 field_prefix = field_prefix + "."
Paolo Bonzinid1953252012-07-17 16:17:04 +020028 ret += mcgen('''
29Error **errp = &err; /* from outer scope */
30Error *err = NULL;
31visit_start_struct(m, NULL, "", "%(name)s", 0, &err);
32''',
33 name=name)
34 else:
35 ret += mcgen('''
36Error *err = NULL;
37visit_start_struct(m, (void **)obj, "%(name)s", name, sizeof(%(name)s), &err);
38''',
39 name=name)
40
41 ret += mcgen('''
42if (!err) {
43 if (!obj || *obj) {
44''')
45
46 push_indent()
47 push_indent()
Michael Roth06d64c62011-07-19 14:50:41 -050048 for argname, argentry, optional, structured in parse_args(members):
49 if optional:
50 ret += mcgen('''
Paolo Bonzinid1953252012-07-17 16:17:04 +020051visit_start_optional(m, obj ? &(*obj)->%(c_prefix)shas_%(c_name)s : NULL, "%(name)s", &err);
52if (obj && (*obj)->%(prefix)shas_%(c_name)s) {
Michael Roth06d64c62011-07-19 14:50:41 -050053''',
54 c_prefix=c_var(field_prefix), prefix=field_prefix,
55 c_name=c_var(argname), name=argname)
56 push_indent()
57
58 if structured:
Paolo Bonzinid1953252012-07-17 16:17:04 +020059 ret += generate_visit_struct_body(field_prefix + argname, argname, argentry)
Michael Roth06d64c62011-07-19 14:50:41 -050060 else:
61 ret += mcgen('''
Paolo Bonzinid1953252012-07-17 16:17:04 +020062visit_type_%(type)s(m, obj ? &(*obj)->%(c_prefix)s%(c_name)s : NULL, "%(name)s", &err);
Michael Roth06d64c62011-07-19 14:50:41 -050063''',
64 c_prefix=c_var(field_prefix), prefix=field_prefix,
65 type=type_name(argentry), c_name=c_var(argname),
66 name=argname)
67
68 if optional:
69 pop_indent()
70 ret += mcgen('''
71}
Paolo Bonzinid1953252012-07-17 16:17:04 +020072visit_end_optional(m, &err);
73''')
74
75 pop_indent()
76 ret += mcgen('''
77
78 error_propagate(errp, err);
79 err = NULL;
80}
81''')
82
83 pop_indent()
84 pop_indent()
85 ret += mcgen('''
86 /* Always call end_struct if start_struct succeeded. */
87 visit_end_struct(m, &err);
88 }
89 error_propagate(errp, err);
90}
Michael Roth06d64c62011-07-19 14:50:41 -050091''')
92 return ret
93
94def generate_visit_struct(name, members):
95 ret = mcgen('''
96
97void visit_type_%(name)s(Visitor *m, %(name)s ** obj, const char *name, Error **errp)
98{
Michael Roth06d64c62011-07-19 14:50:41 -050099''',
100 name=name)
Paolo Bonzinid1953252012-07-17 16:17:04 +0200101
Michael Roth06d64c62011-07-19 14:50:41 -0500102 push_indent()
Paolo Bonzinid1953252012-07-17 16:17:04 +0200103 ret += generate_visit_struct_body("", name, members)
Michael Roth06d64c62011-07-19 14:50:41 -0500104 pop_indent()
105
106 ret += mcgen('''
Michael Roth06d64c62011-07-19 14:50:41 -0500107}
108''')
109 return ret
110
111def generate_visit_list(name, members):
112 return mcgen('''
113
114void visit_type_%(name)sList(Visitor *m, %(name)sList ** obj, const char *name, Error **errp)
115{
Paolo Bonzini3a86a0f2012-03-22 22:38:40 +0100116 GenericList *i, **prev = (GenericList **)obj;
Paolo Bonzinid1953252012-07-17 16:17:04 +0200117 Error *err = NULL;
Michael Roth06d64c62011-07-19 14:50:41 -0500118
Paolo Bonzinid1953252012-07-17 16:17:04 +0200119 if (!error_is_set(errp)) {
120 visit_start_list(m, name, &err);
121 if (!err) {
122 for (; (i = visit_next_list(m, prev, &err)) != NULL; prev = &i) {
123 %(name)sList *native_i = (%(name)sList *)i;
124 visit_type_%(name)s(m, &native_i->value, NULL, &err);
125 }
126 error_propagate(errp, err);
127 err = NULL;
128
129 /* Always call end_list if start_list succeeded. */
130 visit_end_list(m, &err);
131 }
132 error_propagate(errp, err);
Paolo Bonzinib6f04742012-03-22 12:51:06 +0100133 }
Michael Roth06d64c62011-07-19 14:50:41 -0500134}
135''',
136 name=name)
137
138def generate_visit_enum(name, members):
139 return mcgen('''
140
141void visit_type_%(name)s(Visitor *m, %(name)s * obj, const char *name, Error **errp)
142{
143 visit_type_enum(m, (int *)obj, %(name)s_lookup, "%(name)s", name, errp);
144}
145''',
146 name=name)
147
148def generate_visit_union(name, members):
149 ret = generate_visit_enum('%sKind' % name, members.keys())
150
151 ret += mcgen('''
152
153void visit_type_%(name)s(Visitor *m, %(name)s ** obj, const char *name, Error **errp)
154{
Paolo Bonzinidc8fb6d2012-03-06 18:55:56 +0100155 Error *err = NULL;
156
Paolo Bonzinid1953252012-07-17 16:17:04 +0200157 if (!error_is_set(errp)) {
158 visit_start_struct(m, (void **)obj, "%(name)s", name, sizeof(%(name)s), &err);
159 if (!err) {
160 if (!obj || *obj) {
161 visit_type_%(name)sKind(m, &(*obj)->kind, "type", &err);
162 if (!err) {
163 switch ((*obj)->kind) {
Michael Roth06d64c62011-07-19 14:50:41 -0500164''',
165 name=name)
166
Paolo Bonzinid1953252012-07-17 16:17:04 +0200167 push_indent()
168 push_indent()
Paolo Bonzinidc8fb6d2012-03-06 18:55:56 +0100169 for key in members:
170 ret += mcgen('''
Paolo Bonzinid1953252012-07-17 16:17:04 +0200171 case %(abbrev)s_KIND_%(enum)s:
172 visit_type_%(c_type)s(m, &(*obj)->%(c_name)s, "data", &err);
173 break;
Paolo Bonzinidc8fb6d2012-03-06 18:55:56 +0100174''',
175 abbrev = de_camel_case(name).upper(),
Federico Simoncellic9da2282012-03-20 13:54:35 +0000176 enum = c_fun(de_camel_case(key)).upper(),
Paolo Bonzinidc8fb6d2012-03-06 18:55:56 +0100177 c_type=members[key],
Federico Simoncellic9da2282012-03-20 13:54:35 +0000178 c_name=c_fun(key))
Paolo Bonzinidc8fb6d2012-03-06 18:55:56 +0100179
180 ret += mcgen('''
Paolo Bonzinid1953252012-07-17 16:17:04 +0200181 default:
182 abort();
183 }
184 }
185 error_propagate(errp, err);
186 err = NULL;
Paolo Bonzinidc8fb6d2012-03-06 18:55:56 +0100187 }
Paolo Bonzinid1953252012-07-17 16:17:04 +0200188''')
189 pop_indent()
190 ret += mcgen('''
191 /* Always call end_struct if start_struct succeeded. */
192 visit_end_struct(m, &err);
193 }
194 error_propagate(errp, err);
195}
196''')
197
198 pop_indent();
199 ret += mcgen('''
Paolo Bonzinidc8fb6d2012-03-06 18:55:56 +0100200}
201''')
202
Michael Roth06d64c62011-07-19 14:50:41 -0500203 return ret
204
205def generate_declaration(name, members, genlist=True):
206 ret = mcgen('''
207
208void visit_type_%(name)s(Visitor *m, %(name)s ** obj, const char *name, Error **errp);
209''',
210 name=name)
211
212 if genlist:
213 ret += mcgen('''
214void visit_type_%(name)sList(Visitor *m, %(name)sList ** obj, const char *name, Error **errp);
215''',
216 name=name)
217
218 return ret
219
220def generate_decl_enum(name, members, genlist=True):
221 return mcgen('''
222
223void visit_type_%(name)s(Visitor *m, %(name)s * obj, const char *name, Error **errp);
224''',
225 name=name)
226
227try:
Avi Kivity8d3bc512011-12-27 16:02:16 +0200228 opts, args = getopt.gnu_getopt(sys.argv[1:], "chp:o:",
229 ["source", "header", "prefix=", "output-dir="])
Michael Roth06d64c62011-07-19 14:50:41 -0500230except getopt.GetoptError, err:
231 print str(err)
232 sys.exit(1)
233
234output_dir = ""
235prefix = ""
236c_file = 'qapi-visit.c'
237h_file = 'qapi-visit.h'
238
Avi Kivity8d3bc512011-12-27 16:02:16 +0200239do_c = False
240do_h = False
241
Michael Roth06d64c62011-07-19 14:50:41 -0500242for o, a in opts:
243 if o in ("-p", "--prefix"):
244 prefix = a
245 elif o in ("-o", "--output-dir"):
246 output_dir = a + "/"
Avi Kivity8d3bc512011-12-27 16:02:16 +0200247 elif o in ("-c", "--source"):
Avi Kivity8d3bc512011-12-27 16:02:16 +0200248 do_c = True
Avi Kivity19bf7c82011-12-28 12:26:58 +0200249 elif o in ("-h", "--header"):
250 do_h = True
Avi Kivity8d3bc512011-12-27 16:02:16 +0200251
252if not do_c and not do_h:
253 do_c = True
254 do_h = True
Michael Roth06d64c62011-07-19 14:50:41 -0500255
256c_file = output_dir + prefix + c_file
257h_file = output_dir + prefix + h_file
258
259try:
260 os.makedirs(output_dir)
261except os.error, e:
262 if e.errno != errno.EEXIST:
263 raise
264
Avi Kivity8d3bc512011-12-27 16:02:16 +0200265def maybe_open(really, name, opt):
Avi Kivity8d3bc512011-12-27 16:02:16 +0200266 if really:
267 return open(name, opt)
Avi Kivity19bf7c82011-12-28 12:26:58 +0200268 else:
269 import StringIO
270 return StringIO.StringIO()
Avi Kivity8d3bc512011-12-27 16:02:16 +0200271
272fdef = maybe_open(do_c, c_file, 'w')
273fdecl = maybe_open(do_h, h_file, 'w')
Michael Roth06d64c62011-07-19 14:50:41 -0500274
275fdef.write(mcgen('''
276/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT MODIFY */
277
278/*
279 * schema-defined QAPI visitor functions
280 *
281 * Copyright IBM, Corp. 2011
282 *
283 * Authors:
284 * Anthony Liguori <aliguori@us.ibm.com>
285 *
286 * This work is licensed under the terms of the GNU LGPL, version 2.1 or later.
287 * See the COPYING.LIB file in the top-level directory.
288 *
289 */
290
291#include "%(header)s"
292''',
293 header=basename(h_file)))
294
295fdecl.write(mcgen('''
296/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT MODIFY */
297
298/*
299 * schema-defined QAPI visitor function
300 *
301 * Copyright IBM, Corp. 2011
302 *
303 * Authors:
304 * Anthony Liguori <aliguori@us.ibm.com>
305 *
306 * This work is licensed under the terms of the GNU LGPL, version 2.1 or later.
307 * See the COPYING.LIB file in the top-level directory.
308 *
309 */
310
311#ifndef %(guard)s
312#define %(guard)s
313
314#include "qapi/qapi-visit-core.h"
315#include "%(prefix)sqapi-types.h"
316''',
317 prefix=prefix, guard=guardname(h_file)))
318
319exprs = parse_schema(sys.stdin)
320
321for expr in exprs:
322 if expr.has_key('type'):
323 ret = generate_visit_struct(expr['type'], expr['data'])
324 ret += generate_visit_list(expr['type'], expr['data'])
325 fdef.write(ret)
326
327 ret = generate_declaration(expr['type'], expr['data'])
328 fdecl.write(ret)
329 elif expr.has_key('union'):
330 ret = generate_visit_union(expr['union'], expr['data'])
Paolo Bonzinidc8fb6d2012-03-06 18:55:56 +0100331 ret += generate_visit_list(expr['union'], expr['data'])
Michael Roth06d64c62011-07-19 14:50:41 -0500332 fdef.write(ret)
333
334 ret = generate_decl_enum('%sKind' % expr['union'], expr['data'].keys())
335 ret += generate_declaration(expr['union'], expr['data'])
336 fdecl.write(ret)
337 elif expr.has_key('enum'):
338 ret = generate_visit_enum(expr['enum'], expr['data'])
339 fdef.write(ret)
340
341 ret = generate_decl_enum(expr['enum'], expr['data'])
342 fdecl.write(ret)
343
344fdecl.write('''
345#endif
346''')
347
348fdecl.flush()
349fdecl.close()
350
351fdef.flush()
352fdef.close()