First version of header generator
[apps/agl-service-can-low-level.git] / generator / nanopb_generator.py
1 '''Generate header file for nanopb from a ProtoBuf FileDescriptorSet.'''
2
3 import google.protobuf.descriptor_pb2 as descriptor
4 import nanopb_pb2
5 import os.path
6
7 # Values are tuple (c type, pb ltype)
8 FieldD = descriptor.FieldDescriptorProto
9 datatypes = {
10     FieldD.TYPE_BOOL: ('bool', 'PB_LTYPE_VARINT'),
11     FieldD.TYPE_DOUBLE: ('double', 'PB_LTYPE_FIXED'),
12     FieldD.TYPE_FIXED32: ('uint32_t', 'PB_LTYPE_FIXED'),
13     FieldD.TYPE_FIXED64: ('uint64_t', 'PB_LTYPE_FIXED'),
14     FieldD.TYPE_FLOAT: ('float', 'PB_LTYPE_FIXED'),
15     FieldD.TYPE_INT32: ('int32_t', 'PB_LTYPE_VARINT'),
16     FieldD.TYPE_INT64: ('int64_t', 'PB_LTYPE_VARINT'),
17     FieldD.TYPE_SFIXED32: ('int32_t', 'PB_LTYPE_FIXED'),
18     FieldD.TYPE_SFIXED64: ('int64_t', 'PB_LTYPE_FIXED'),
19     FieldD.TYPE_SINT32: ('int32_t', 'PB_LTYPE_SVARINT'),
20     FieldD.TYPE_SINT64: ('int64_t', 'PB_LTYPE_SVARINT'),
21     FieldD.TYPE_UINT32: ('uint32_t', 'PB_LTYPE_VARINT'),
22     FieldD.TYPE_UINT64: ('uint64_t', 'PB_LTYPE_VARINT')
23 }
24
25 class Names:
26     '''Keeps a set of nested names and formats them to C identifier.
27     You can subclass this with your own implementation.
28     '''
29     def __init__(self, parts = ()):
30         if isinstance(parts, Names):
31             parts = parts.parts
32         self.parts = tuple(parts)
33     
34     def __str__(self):
35         return '_'.join(self.parts)
36
37     def __add__(self, other):
38         if isinstance(other, (str, unicode)):
39             return Names(self.parts + (other,))
40         elif isinstance(other, tuple):
41             return Names(self.parts + other)
42         else:
43             raise ValueError("Name parts should be of type str")
44     
45 def names_from_type_name(type_name):
46     '''Parse Names() from FieldDescriptorProto type_name'''
47     if type_name[0] != '.':
48         raise NotImplementedError("Lookup of non-absolute type names is not supported")
49     return Names(type_name[1:].split('.'))
50
51 class Enum:
52     def __init__(self, names, desc):
53         '''desc is EnumDescriptorProto'''
54         self.names = names + desc.name
55         self.values = [(self.names + x.name, x.number) for x in desc.value]
56     
57     def __str__(self):
58         result = 'typedef enum {\n'
59         result += ',\n'.join(["    %s = %d" % x for x in self.values])
60         result += '\n} %s;' % self.names
61         return result
62
63 class Field:
64     def __init__(self, struct_name, desc):
65         '''desc is FieldDescriptorProto'''
66         self.tag = desc.number
67         self.struct_name = struct_name
68         self.name = desc.name
69         self.default = None
70         self.max_size = None
71         self.max_count = None
72         self.array_decl = ""
73         
74         # Parse nanopb-specific field options
75         if desc.options.HasExtension(nanopb_pb2.nanopb):
76             ext = desc.options.Extensions[nanopb_pb2.nanopb]
77             if ext.HasField("max_size"):
78                 self.max_size = ext.max_size
79             if ext.HasField("max_count"):
80                 self.max_count = ext.max_count
81         
82         if desc.HasField('default_value'):
83             self.default = desc.default_value
84         
85         # Decide HTYPE
86         # HTYPE is the high-order nibble of nanopb field description,
87         # defining whether value is required/optional/repeated.
88         is_callback = False
89         if desc.label == FieldD.LABEL_REQUIRED:
90             self.htype = 'PB_HTYPE_REQUIRED'
91         elif desc.label == FieldD.LABEL_OPTIONAL:
92             self.htype = 'PB_HTYPE_OPTIONAL'
93         elif desc.label == FieldD.LABEL_REPEATED:
94             if self.max_count is None:
95                 is_callback = True
96             else:
97                 self.htype = 'PB_HTYPE_ARRAY'
98                 self.array_decl = '[%d]' % self.max_count
99         else:
100             raise NotImplementedError(desc.label)
101         
102         # Decide LTYPE and CTYPE
103         # LTYPE is the low-order nibble of nanopb field description,
104         # defining how to decode an individual value.
105         # CTYPE is the name of the c type to use in the struct.
106         if datatypes.has_key(desc.type):
107             self.ctype, self.ltype = datatypes[desc.type]
108         elif desc.type == FieldD.TYPE_ENUM:
109             self.ltype = 'PB_LTYPE_VARINT'
110             self.ctype = names_from_type_name(desc.type_name)
111             self.default = Names(self.ctype) + self.default
112         elif desc.type == FieldD.TYPE_STRING:
113             self.ltype = 'PB_LTYPE_STRING'
114             if self.max_size is None:
115                 is_callback = True
116             else:
117                 self.ctype = 'char'
118                 self.array_decl += '[%d]' % self.max_size
119         elif desc.type == FieldD.TYPE_BYTES:
120             self.ltype = 'PB_LTYPE_BYTES'
121             if self.max_size is None:
122                 is_callback = True
123             else:
124                 self.ctype = 'PB_BYTES_ARRAY(%d)' % self.max_size
125         elif desc.type == FieldD.TYPE_MESSAGE:
126             self.ltype = 'PB_LTYPE_SUBMESSAGE'
127             self.ctype = names_from_type_name(desc.type_name)
128         else:
129             raise NotImplementedError(desc.type)
130         
131         if is_callback:
132             self.htype = 'PB_HTYPE_CALLBACK'
133             self.ctype = 'pb_callback_t'
134             self.array_decl = ''
135     
136     def __cmp__(self, other):
137         return cmp(self.tag, other.tag)
138     
139     def __str__(self):
140         if self.htype == 'PB_HTYPE_OPTIONAL':
141             result = '    bool has_' + self.name + ';\n'
142         elif self.htype == 'PB_HTYPE_ARRAY':
143             result = '    size_t ' + self.name + '_count;\n'
144         else:
145             result = ''
146         result += '    %s %s%s;' % (self.ctype, self.name, self.array_decl)
147         return result
148     
149     def default_decl(self):
150         '''Return definition for this field's default value.'''
151         if self.default is None:
152             return None
153         
154         if self.ltype == 'PB_LTYPE_STRING':
155             ctype = 'char'
156             if self.max_size is None:
157                 array_decl = '[]'
158             else:
159                 array_decl = '[%d]' % self.max_size
160             default = self.default.encode('string_escape')
161             default = default.replace('"', '\\"')
162             default = '"' + default + '"'
163         elif self.ltype == 'PB_LTYPE_BYTES':
164             data = self.default.decode('string_escape')
165             data = ['0x%02x' % ord(c) for c in data]
166             
167             if self.max_size is None:
168                 ctype = 'PB_BYTES_ARRAY(%d)' % len(data)
169             else:
170                 ctype = 'PB_BYTES_ARRAY(%d)' % self.max_size
171             
172             default = '{%d, {%s}}' % (len(data), ','.join(data))
173             array_decl = ''
174         else:
175             ctype, default = self.ctype, self.default
176             array_decl = ''
177         
178         return 'const %s %s_default%s = %s;' % (ctype, self.struct_name + self.name, array_decl, default)
179     
180     def pb_field_t(self, prev_field_name):
181         '''Return the pb_field_t initializer to use in the constant array.
182         prev_field_name is the name of the previous field or None.
183         '''
184         result = '    {%d, ' % self.tag
185         result += self.htype
186         if self.ltype is not None:
187             result += ' | ' + self.ltype
188         result += ',\n'
189         
190         if prev_field_name is None:
191             result += '    offsetof(%s, %s),' % (self.struct_name, self.name)
192         else:
193             result += '    pb_delta(%s, %s, %s),' % (self.struct_name, self.name, prev_field_name)
194         
195         if self.htype == 'PB_HTYPE_OPTIONAL':
196             result += '\n    pb_delta(%s, has_%s, %s),' % (self.struct_name, self.name, self.name)
197         elif self.htype == 'PB_HTYPE_ARRAY':
198             result += '\n    pb_delta(%s, %s_count, %s),' % (self.struct_name, self.name, self.name)
199         else:
200             result += ' 0,'
201         
202         
203         if self.htype == 'PB_HTYPE_ARRAY':
204             result += '\n    pb_membersize(%s, %s[0]),' % (self.struct_name, self.name)
205             result += ('\n    pb_membersize(%s, %s) / pb_membersize(%s, %s[0]),'
206                        % (self.struct_name, self.name, self.struct_name, self.name))
207         else:
208             result += '\n    pb_membersize(%s, %s),' % (self.struct_name, self.name)
209             result += ' 0,'
210         
211         if self.ltype == 'PB_LTYPE_SUBMESSAGE':
212             result += '\n    &%s_fields}' % self.ctype
213         elif self.default is None or self.htype == 'PB_HTYPE_CALLBACK':
214             result += ' 0}'
215         else:
216             result += '\n    &%s_default}' % (self.struct_name + self.name)
217         
218         return result
219
220 class Message:
221     def __init__(self, names, desc):
222         self.name = names
223         self.fields = [Field(self.name, f) for f in desc.field]
224         self.ordered_fields = self.fields[:]
225         self.ordered_fields.sort()
226     
227     def __cmp__(self, other):
228         '''Sort messages so that submessages are declared before the message
229         that uses them.
230         '''
231         if self.refers_to(other.name):
232             return 1
233         elif other.refers_to(self.name):
234             return -1
235         else:
236             return 0
237     
238     def refers_to(self, name):
239         '''Returns True if this message uses the specified type as field type.'''
240         for field in self.fields:
241             if str(field.ctype) == str(name):
242                 return True
243         return False
244     
245     def __str__(self):
246         result = 'typedef struct {\n'
247         result += '\n'.join([str(f) for f in self.fields])
248         result += '\n} %s;' % self.name
249         return result
250     
251     def default_decl(self):
252         result = ""
253         for field in self.fields:
254             default = field.default_decl()
255             if default is not None:
256                 result += default + '\n'
257         return result
258
259     def pb_field_t(self):
260         result = 'const pb_field_t %s_fields[] = {\n' % self.name
261         
262         prev = None
263         for field in self.ordered_fields:
264             result += field.pb_field_t(prev)
265             result += ',\n\n'
266             prev = field.name
267         
268         result = result[:-3] + '\n};'
269         return result
270
271 def iterate_messages(desc, names = Names()):
272     '''Recursively find all messages. For each, yield name, DescriptorProto.'''
273     if hasattr(desc, 'message_type'):
274         submsgs = desc.message_type
275     else:
276         submsgs = desc.nested_type
277     
278     for submsg in submsgs:
279         sub_names = names + submsg.name
280         yield sub_names, submsg
281         
282         for x in iterate_messages(submsg, sub_names):
283             yield x
284
285 def process_file(fdesc):
286     '''Takes a FileDescriptorProto and generate content for its header file.
287     Generates strings, which should be concatenated and stored to file.
288     '''
289     
290     yield '/* Automatically generated nanopb header */\n'
291     yield '#include <pb.h>\n\n'
292     
293     enums = []
294     messages = []
295     
296     for enum in fdesc.enum_type:
297         enums.append(Enum(Names(), enum))
298     
299     for names, message in iterate_messages(fdesc):
300         for enum in message.enum_type:
301             enums.append(Enum(names, enum))
302         
303         messages.append(Message(names, message))
304     
305     yield '/* Enum definitions */\n'
306     for enum in enums:
307         yield str(enum) + '\n\n'
308     
309     yield '/* Struct definitions */\n'
310     messages.sort()
311     for msg in messages:
312         yield str(msg) + '\n\n'
313         
314     yield '/* Default values for struct fields */\n'
315     for msg in messages:
316         yield msg.default_decl()
317     yield '\n'
318     
319     yield '/* Struct field encoding specification for nanopb */\n'
320     for msg in messages:
321         yield msg.pb_field_t() + '\n\n'
322     
323 if __name__ == '__main__':
324     import sys
325     import os.path
326     
327     if len(sys.argv) != 2:
328         print "Usage: " + sys.argv[0] + " file.pb"
329         print "where file.pb has been compiled from .proto by:"
330         print "protoc -ofile.pb file.proto"
331         print "Output fill be written to file.h"
332         sys.exit(1)
333     
334     data = open(sys.argv[1]).read()
335     fdesc = descriptor.FileDescriptorSet.FromString(data)
336     
337     destfile = os.path.splitext(sys.argv[1])[0] + '.h'
338     
339     print "Writing to " + destfile
340     
341     destfile = open(destfile, 'w')
342     
343     for part in process_file(fdesc.file[0]):
344         destfile.write(part)