xref: /qemu/scripts/qapi/visit.py (revision d195325b05199038b5907fa791729425b9720d21) 
1#
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
20def generate_visit_struct_body(field_prefix, name, members):
21    ret = mcgen('''
22if (!error_is_set(errp)) {
23''')
24    push_indent()
25
26    if len(field_prefix):
27        field_prefix = field_prefix + "."
28        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()
48    for argname, argentry, optional, structured in parse_args(members):
49        if optional:
50            ret += mcgen('''
51visit_start_optional(m, obj ? &(*obj)->%(c_prefix)shas_%(c_name)s : NULL, "%(name)s", &err);
52if (obj && (*obj)->%(prefix)shas_%(c_name)s) {
53''',
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:
59            ret += generate_visit_struct_body(field_prefix + argname, argname, argentry)
60        else:
61            ret += mcgen('''
62visit_type_%(type)s(m, obj ? &(*obj)->%(c_prefix)s%(c_name)s : NULL, "%(name)s", &err);
63''',
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}
72visit_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}
91''')
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{
99''',
100                name=name)
101
102    push_indent()
103    ret += generate_visit_struct_body("", name, members)
104    pop_indent()
105
106    ret += mcgen('''
107}
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{
116    GenericList *i, **prev = (GenericList **)obj;
117    Error *err = NULL;
118
119    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);
133    }
134}
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{
155    Error *err = NULL;
156
157    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) {
164''',
165                 name=name)
166
167    push_indent()
168    push_indent()
169    for key in members:
170        ret += mcgen('''
171            case %(abbrev)s_KIND_%(enum)s:
172                visit_type_%(c_type)s(m, &(*obj)->%(c_name)s, "data", &err);
173                break;
174''',
175                abbrev = de_camel_case(name).upper(),
176                enum = c_fun(de_camel_case(key)).upper(),
177                c_type=members[key],
178                c_name=c_fun(key))
179
180    ret += mcgen('''
181            default:
182                abort();
183            }
184        }
185        error_propagate(errp, err);
186        err = NULL;
187    }
188''')
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('''
200}
201''')
202
203    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:
228    opts, args = getopt.gnu_getopt(sys.argv[1:], "chp:o:",
229                                   ["source", "header", "prefix=", "output-dir="])
230except 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
239do_c = False
240do_h = False
241
242for o, a in opts:
243    if o in ("-p", "--prefix"):
244        prefix = a
245    elif o in ("-o", "--output-dir"):
246        output_dir = a + "/"
247    elif o in ("-c", "--source"):
248        do_c = True
249    elif o in ("-h", "--header"):
250        do_h = True
251
252if not do_c and not do_h:
253    do_c = True
254    do_h = True
255
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
265def maybe_open(really, name, opt):
266    if really:
267        return open(name, opt)
268    else:
269        import StringIO
270        return StringIO.StringIO()
271
272fdef = maybe_open(do_c, c_file, 'w')
273fdecl = maybe_open(do_h, h_file, 'w')
274
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'])
331        ret += generate_visit_list(expr['union'], expr['data'])
332        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()
353