]>
Commit | Line | Data |
---|---|---|
fb3182ce MR |
1 | # |
2 | # QAPI types generator | |
3 | # | |
4 | # Copyright IBM, Corp. 2011 | |
5 | # | |
6 | # Authors: | |
7 | # Anthony Liguori <[email protected]> | |
8 | # | |
678e48a2 MA |
9 | # This work is licensed under the terms of the GNU GPL, version 2. |
10 | # See the COPYING file in the top-level directory. | |
fb3182ce MR |
11 | |
12 | from ordereddict import OrderedDict | |
13 | from qapi import * | |
fb3182ce | 14 | |
c5ecd7e1 MA |
15 | def generate_fwd_builtin(name): |
16 | return mcgen(''' | |
c0afa9c5 MR |
17 | |
18 | typedef struct %(name)sList | |
19 | { | |
a678e26c MR |
20 | union { |
21 | %(type)s value; | |
22 | uint64_t padding; | |
23 | }; | |
c0afa9c5 MR |
24 | struct %(name)sList *next; |
25 | } %(name)sList; | |
26 | ''', | |
c5ecd7e1 MA |
27 | type=c_type(name), |
28 | name=name) | |
c0afa9c5 | 29 | |
c5ecd7e1 | 30 | def generate_fwd_struct(name): |
fb3182ce | 31 | return mcgen(''' |
c0afa9c5 | 32 | |
fb3182ce MR |
33 | typedef struct %(name)s %(name)s; |
34 | ||
35 | typedef struct %(name)sList | |
36 | { | |
a678e26c MR |
37 | union { |
38 | %(name)s *value; | |
39 | uint64_t padding; | |
40 | }; | |
fb3182ce MR |
41 | struct %(name)sList *next; |
42 | } %(name)sList; | |
43 | ''', | |
83a02706 | 44 | name=c_name(name)) |
fb3182ce | 45 | |
ae0a7a10 | 46 | def generate_fwd_enum_struct(name): |
b9c4b48d AK |
47 | return mcgen(''' |
48 | typedef struct %(name)sList | |
49 | { | |
02dc4bf5 CR |
50 | union { |
51 | %(name)s value; | |
52 | uint64_t padding; | |
53 | }; | |
b9c4b48d AK |
54 | struct %(name)sList *next; |
55 | } %(name)sList; | |
56 | ''', | |
fce384b8 | 57 | name=c_name(name)) |
b9c4b48d | 58 | |
01537030 KW |
59 | def generate_struct_fields(members): |
60 | ret = '' | |
fb3182ce | 61 | |
6b5abc7d | 62 | for argname, argentry, optional in parse_args(members): |
fb3182ce MR |
63 | if optional: |
64 | ret += mcgen(''' | |
65 | bool has_%(c_name)s; | |
66 | ''', | |
18df515e | 67 | c_name=c_name(argname)) |
6b5abc7d | 68 | ret += mcgen(''' |
fb3182ce MR |
69 | %(c_type)s %(c_name)s; |
70 | ''', | |
18df515e | 71 | c_type=c_type(argentry), c_name=c_name(argname)) |
fb3182ce | 72 | |
01537030 KW |
73 | return ret |
74 | ||
14d36307 KW |
75 | def generate_struct(expr): |
76 | ||
fd41dd4e | 77 | structname = expr.get('struct', "") |
14d36307 | 78 | members = expr['data'] |
622f557f | 79 | base = expr.get('base') |
14d36307 | 80 | |
01537030 KW |
81 | ret = mcgen(''' |
82 | struct %(name)s | |
83 | { | |
84 | ''', | |
83a02706 | 85 | name=c_name(structname)) |
01537030 | 86 | |
622f557f KW |
87 | if base: |
88 | ret += generate_struct_fields({'base': base}) | |
89 | ||
01537030 KW |
90 | ret += generate_struct_fields(members) |
91 | ||
83ecb22b PM |
92 | # Make sure that all structs have at least one field; this avoids |
93 | # potential issues with attempting to malloc space for zero-length structs | |
94 | # in C, and also incompatibility with C++ (where an empty struct is size 1). | |
95 | if not base and not members: | |
96 | ret += mcgen(''' | |
97 | char qapi_dummy_field_for_empty_struct; | |
98 | ''') | |
99 | ||
fb3182ce | 100 | ret += mcgen(''' |
e1d4210c MA |
101 | }; |
102 | ''') | |
fb3182ce MR |
103 | |
104 | return ret | |
105 | ||
106 | def generate_enum_lookup(name, values): | |
107 | ret = mcgen(''' | |
2e4450ff | 108 | const char * const %(name)s_lookup[] = { |
fb3182ce | 109 | ''', |
fce384b8 | 110 | name=c_name(name)) |
fb3182ce MR |
111 | i = 0 |
112 | for value in values: | |
7c81c61f | 113 | index = c_enum_const(name, value) |
fb3182ce | 114 | ret += mcgen(''' |
912ae9c8 | 115 | [%(index)s] = "%(value)s", |
fb3182ce | 116 | ''', |
912ae9c8 | 117 | index = index, value = value) |
fb3182ce | 118 | |
7c81c61f | 119 | max_index = c_enum_const(name, 'MAX') |
fb3182ce | 120 | ret += mcgen(''' |
912ae9c8 | 121 | [%(max_index)s] = NULL, |
fb3182ce MR |
122 | }; |
123 | ||
912ae9c8 MT |
124 | ''', |
125 | max_index=max_index) | |
fb3182ce MR |
126 | return ret |
127 | ||
128 | def generate_enum(name, values): | |
fce384b8 | 129 | name = c_name(name) |
fb3182ce | 130 | lookup_decl = mcgen(''' |
2e4450ff | 131 | extern const char * const %(name)s_lookup[]; |
fb3182ce MR |
132 | ''', |
133 | name=name) | |
134 | ||
135 | enum_decl = mcgen(''' | |
136 | typedef enum %(name)s | |
137 | { | |
138 | ''', | |
139 | name=name) | |
140 | ||
303b54b1 LC |
141 | # append automatically generated _MAX value |
142 | enum_values = values + [ 'MAX' ] | |
143 | ||
fb3182ce | 144 | i = 0 |
303b54b1 | 145 | for value in enum_values: |
7c81c61f | 146 | enum_full_value = c_enum_const(name, value) |
fb3182ce | 147 | enum_decl += mcgen(''' |
b0b58195 | 148 | %(enum_full_value)s = %(i)d, |
fb3182ce | 149 | ''', |
b0b58195 | 150 | enum_full_value = enum_full_value, |
fb3182ce MR |
151 | i=i) |
152 | i += 1 | |
153 | ||
154 | enum_decl += mcgen(''' | |
155 | } %(name)s; | |
156 | ''', | |
157 | name=name) | |
158 | ||
159 | return lookup_decl + enum_decl | |
160 | ||
811d04fd | 161 | def generate_alternate_qtypes(expr): |
69dd62df | 162 | |
ab916fad | 163 | name = expr['alternate'] |
69dd62df KW |
164 | members = expr['data'] |
165 | ||
166 | ret = mcgen(''' | |
167 | const int %(name)s_qtypes[QTYPE_MAX] = { | |
168 | ''', | |
d1f07c86 | 169 | name=c_name(name)) |
69dd62df KW |
170 | |
171 | for key in members: | |
811d04fd | 172 | qtype = find_alternate_member_qtype(members[key]) |
ab916fad | 173 | assert qtype, "Invalid alternate member" |
69dd62df KW |
174 | |
175 | ret += mcgen(''' | |
d1f07c86 | 176 | [%(qtype)s] = %(enum_const)s, |
69dd62df | 177 | ''', |
d1f07c86 EB |
178 | qtype = qtype, |
179 | enum_const = c_enum_const(name + 'Kind', key)) | |
69dd62df KW |
180 | |
181 | ret += mcgen(''' | |
182 | }; | |
183 | ''') | |
184 | return ret | |
185 | ||
186 | ||
ab916fad | 187 | def generate_union(expr, meta): |
e2503f5e | 188 | |
bb337290 | 189 | name = c_name(expr[meta]) |
e2503f5e | 190 | typeinfo = expr['data'] |
50f2bdc7 | 191 | |
e2503f5e | 192 | base = expr.get('base') |
50f2bdc7 | 193 | discriminator = expr.get('discriminator') |
e2503f5e | 194 | |
bceae769 WX |
195 | enum_define = discriminator_find_enum_define(expr) |
196 | if enum_define: | |
197 | discriminator_type_name = enum_define['enum_name'] | |
198 | else: | |
199 | discriminator_type_name = '%sKind' % (name) | |
200 | ||
fb3182ce MR |
201 | ret = mcgen(''' |
202 | struct %(name)s | |
203 | { | |
bceae769 | 204 | %(discriminator_type_name)s kind; |
fb3182ce | 205 | union { |
dc8fb6df | 206 | void *data; |
fb3182ce | 207 | ''', |
bceae769 | 208 | name=name, |
857af5f0 | 209 | discriminator_type_name=c_name(discriminator_type_name)) |
fb3182ce MR |
210 | |
211 | for key in typeinfo: | |
212 | ret += mcgen(''' | |
213 | %(c_type)s %(c_name)s; | |
214 | ''', | |
215 | c_type=c_type(typeinfo[key]), | |
18df515e | 216 | c_name=c_name(key)) |
fb3182ce MR |
217 | |
218 | ret += mcgen(''' | |
219 | }; | |
e2503f5e KW |
220 | ''') |
221 | ||
222 | if base: | |
a8d4a2e4 EB |
223 | assert discriminator |
224 | base_fields = find_struct(base)['data'].copy() | |
225 | del base_fields[discriminator] | |
50f2bdc7 KW |
226 | ret += generate_struct_fields(base_fields) |
227 | else: | |
228 | assert not discriminator | |
e2503f5e KW |
229 | |
230 | ret += mcgen(''' | |
fb3182ce MR |
231 | }; |
232 | ''') | |
ab916fad | 233 | if meta == 'alternate': |
69dd62df KW |
234 | ret += mcgen(''' |
235 | extern const int %(name)s_qtypes[]; | |
236 | ''', | |
237 | name=name) | |
238 | ||
fb3182ce MR |
239 | |
240 | return ret | |
241 | ||
242 | def generate_type_cleanup_decl(name): | |
243 | ret = mcgen(''' | |
fce384b8 | 244 | void qapi_free_%(name)s(%(c_type)s obj); |
fb3182ce | 245 | ''', |
fce384b8 | 246 | c_type=c_type(name), name=c_name(name)) |
fb3182ce MR |
247 | return ret |
248 | ||
249 | def generate_type_cleanup(name): | |
250 | ret = mcgen(''' | |
c0afa9c5 | 251 | |
fce384b8 | 252 | void qapi_free_%(name)s(%(c_type)s obj) |
fb3182ce MR |
253 | { |
254 | QapiDeallocVisitor *md; | |
255 | Visitor *v; | |
256 | ||
257 | if (!obj) { | |
258 | return; | |
259 | } | |
260 | ||
261 | md = qapi_dealloc_visitor_new(); | |
262 | v = qapi_dealloc_get_visitor(md); | |
fce384b8 | 263 | visit_type_%(name)s(v, &obj, NULL, NULL); |
fb3182ce MR |
264 | qapi_dealloc_visitor_cleanup(md); |
265 | } | |
266 | ''', | |
fce384b8 | 267 | c_type=c_type(name), name=c_name(name)) |
fb3182ce MR |
268 | return ret |
269 | ||
c0afa9c5 | 270 | do_builtins = False |
8d3bc517 | 271 | |
2114f5a9 MA |
272 | (input_file, output_dir, do_c, do_h, prefix, opts) = \ |
273 | parse_command_line("b", ["builtins"]) | |
274 | ||
fb3182ce | 275 | for o, a in opts: |
2114f5a9 | 276 | if o in ("-b", "--builtins"): |
c0afa9c5 | 277 | do_builtins = True |
8d3bc517 | 278 | |
12f8e1b9 | 279 | c_comment = ''' |
fb3182ce MR |
280 | /* |
281 | * deallocation functions for schema-defined QAPI types | |
282 | * | |
283 | * Copyright IBM, Corp. 2011 | |
284 | * | |
285 | * Authors: | |
286 | * Anthony Liguori <[email protected]> | |
287 | * Michael Roth <[email protected]> | |
288 | * | |
289 | * This work is licensed under the terms of the GNU LGPL, version 2.1 or later. | |
290 | * See the COPYING.LIB file in the top-level directory. | |
291 | * | |
292 | */ | |
12f8e1b9 MA |
293 | ''' |
294 | h_comment = ''' | |
fb3182ce MR |
295 | /* |
296 | * schema-defined QAPI types | |
297 | * | |
298 | * Copyright IBM, Corp. 2011 | |
299 | * | |
300 | * Authors: | |
301 | * Anthony Liguori <[email protected]> | |
302 | * | |
303 | * This work is licensed under the terms of the GNU LGPL, version 2.1 or later. | |
304 | * See the COPYING.LIB file in the top-level directory. | |
305 | * | |
306 | */ | |
12f8e1b9 | 307 | ''' |
fb3182ce | 308 | |
12f8e1b9 MA |
309 | (fdef, fdecl) = open_output(output_dir, do_c, do_h, prefix, |
310 | 'qapi-types.c', 'qapi-types.h', | |
311 | c_comment, h_comment) | |
fb3182ce | 312 | |
12f8e1b9 MA |
313 | fdef.write(mcgen(''' |
314 | #include "qapi/dealloc-visitor.h" | |
315 | #include "%(prefix)sqapi-types.h" | |
316 | #include "%(prefix)sqapi-visit.h" | |
317 | ||
318 | ''', | |
319 | prefix=prefix)) | |
320 | ||
321 | fdecl.write(mcgen(''' | |
da4fea06 IM |
322 | #include <stdbool.h> |
323 | #include <stdint.h> | |
b68a8472 | 324 | |
12f8e1b9 | 325 | ''')) |
fb3182ce | 326 | |
33aaad52 | 327 | exprs = parse_schema(input_file) |
fb3182ce | 328 | |
c0afa9c5 | 329 | fdecl.write(guardstart("QAPI_TYPES_BUILTIN_STRUCT_DECL")) |
b52c4b9c | 330 | for typename in builtin_types.keys(): |
c5ecd7e1 | 331 | fdecl.write(generate_fwd_builtin(typename)) |
c0afa9c5 MR |
332 | fdecl.write(guardend("QAPI_TYPES_BUILTIN_STRUCT_DECL")) |
333 | ||
fb3182ce MR |
334 | for expr in exprs: |
335 | ret = "\n" | |
fd41dd4e | 336 | if expr.has_key('struct'): |
ae0a7a10 | 337 | ret += generate_fwd_struct(expr['struct']) |
fb3182ce | 338 | elif expr.has_key('enum'): |
b9c4b48d | 339 | ret += generate_enum(expr['enum'], expr['data']) + "\n" |
ae0a7a10 | 340 | ret += generate_fwd_enum_struct(expr['enum']) |
fb3182ce MR |
341 | fdef.write(generate_enum_lookup(expr['enum'], expr['data'])) |
342 | elif expr.has_key('union'): | |
ae0a7a10 | 343 | ret += generate_fwd_struct(expr['union']) + "\n" |
bceae769 WX |
344 | enum_define = discriminator_find_enum_define(expr) |
345 | if not enum_define: | |
346 | ret += generate_enum('%sKind' % expr['union'], expr['data'].keys()) | |
347 | fdef.write(generate_enum_lookup('%sKind' % expr['union'], | |
348 | expr['data'].keys())) | |
ab916fad | 349 | elif expr.has_key('alternate'): |
ae0a7a10 | 350 | ret += generate_fwd_struct(expr['alternate']) + "\n" |
ab916fad EB |
351 | ret += generate_enum('%sKind' % expr['alternate'], expr['data'].keys()) |
352 | fdef.write(generate_enum_lookup('%sKind' % expr['alternate'], | |
353 | expr['data'].keys())) | |
354 | fdef.write(generate_alternate_qtypes(expr)) | |
fb3182ce MR |
355 | else: |
356 | continue | |
357 | fdecl.write(ret) | |
358 | ||
c0afa9c5 MR |
359 | # to avoid header dependency hell, we always generate declarations |
360 | # for built-in types in our header files and simply guard them | |
361 | fdecl.write(guardstart("QAPI_TYPES_BUILTIN_CLEANUP_DECL")) | |
b52c4b9c | 362 | for typename in builtin_types.keys(): |
c0afa9c5 MR |
363 | fdecl.write(generate_type_cleanup_decl(typename + "List")) |
364 | fdecl.write(guardend("QAPI_TYPES_BUILTIN_CLEANUP_DECL")) | |
365 | ||
366 | # ...this doesn't work for cases where we link in multiple objects that | |
367 | # have the functions defined, so we use -b option to provide control | |
368 | # over these cases | |
369 | if do_builtins: | |
370 | fdef.write(guardstart("QAPI_TYPES_BUILTIN_CLEANUP_DEF")) | |
b52c4b9c | 371 | for typename in builtin_types.keys(): |
c0afa9c5 MR |
372 | fdef.write(generate_type_cleanup(typename + "List")) |
373 | fdef.write(guardend("QAPI_TYPES_BUILTIN_CLEANUP_DEF")) | |
374 | ||
fb3182ce MR |
375 | for expr in exprs: |
376 | ret = "\n" | |
fd41dd4e | 377 | if expr.has_key('struct'): |
14d36307 | 378 | ret += generate_struct(expr) + "\n" |
fd41dd4e EB |
379 | ret += generate_type_cleanup_decl(expr['struct'] + "List") |
380 | fdef.write(generate_type_cleanup(expr['struct'] + "List") + "\n") | |
381 | ret += generate_type_cleanup_decl(expr['struct']) | |
382 | fdef.write(generate_type_cleanup(expr['struct']) + "\n") | |
fb3182ce | 383 | elif expr.has_key('union'): |
ab916fad | 384 | ret += generate_union(expr, 'union') |
dc8fb6df PB |
385 | ret += generate_type_cleanup_decl(expr['union'] + "List") |
386 | fdef.write(generate_type_cleanup(expr['union'] + "List") + "\n") | |
387 | ret += generate_type_cleanup_decl(expr['union']) | |
388 | fdef.write(generate_type_cleanup(expr['union']) + "\n") | |
ab916fad EB |
389 | elif expr.has_key('alternate'): |
390 | ret += generate_union(expr, 'alternate') | |
391 | ret += generate_type_cleanup_decl(expr['alternate'] + "List") | |
392 | fdef.write(generate_type_cleanup(expr['alternate'] + "List") + "\n") | |
393 | ret += generate_type_cleanup_decl(expr['alternate']) | |
394 | fdef.write(generate_type_cleanup(expr['alternate']) + "\n") | |
b9c4b48d AK |
395 | elif expr.has_key('enum'): |
396 | ret += generate_type_cleanup_decl(expr['enum'] + "List") | |
397 | fdef.write(generate_type_cleanup(expr['enum'] + "List") + "\n") | |
fb3182ce MR |
398 | else: |
399 | continue | |
400 | fdecl.write(ret) | |
401 | ||
12f8e1b9 | 402 | close_output(fdef, fdecl) |