generator/nanopb_generator.py

   1 '''Generate header file for nanopb from a ProtoBuf FileDescriptorSet.'''
   2 nanopb_version = "nanopb-0.2.3-dev"
   3
   4 try:
   5     import google.protobuf.descriptor_pb2 as descriptor
   6     import google.protobuf.text_format as text_format
   7 except:
   8     print
   9     print "*************************************************************"
  10     print "*** Could not import the Google protobuf Python libraries ***"
  11     print "*** Try installing package 'python-protobuf' or similar.  ***"
  12     print "*************************************************************"
  13     print
  14     raise
  15
  16 try:
  17     import nanopb_pb2
  18 except:
  19     print
  20     print "***************************************************************"
  21     print "*** Could not import the precompiled nanopb_pb2.py.         ***"
  22     print "*** Run 'make' in the 'generator' folder to update the file.***"
  23     print "***************************************************************"
  24     print
  25     raise
  26
  27
  28
  29
  30
  31
  32 # ---------------------------------------------------------------------------
  33 #                     Generation of single fields
  34 # ---------------------------------------------------------------------------
  35
  36 import time
  37 import os.path
  38
  39 # Values are tuple (c type, pb type)
  40 FieldD = descriptor.FieldDescriptorProto
  41 datatypes = {
  42     FieldD.TYPE_BOOL:       ('bool',     'BOOL'),
  43     FieldD.TYPE_DOUBLE:     ('double',   'DOUBLE'),
  44     FieldD.TYPE_FIXED32:    ('uint32_t', 'FIXED32'),
  45     FieldD.TYPE_FIXED64:    ('uint64_t', 'FIXED64'),
  46     FieldD.TYPE_FLOAT:      ('float',    'FLOAT'),
  47     FieldD.TYPE_INT32:      ('int32_t',  'INT32'),
  48     FieldD.TYPE_INT64:      ('int64_t',  'INT64'),
  49     FieldD.TYPE_SFIXED32:   ('int32_t',  'SFIXED32'),
  50     FieldD.TYPE_SFIXED64:   ('int64_t',  'SFIXED64'),
  51     FieldD.TYPE_SINT32:     ('int32_t',  'SINT32'),
  52     FieldD.TYPE_SINT64:     ('int64_t',  'SINT64'),
  53     FieldD.TYPE_UINT32:     ('uint32_t', 'UINT32'),
  54     FieldD.TYPE_UINT64:     ('uint64_t', 'UINT64')
  55 }
  56
  57 class Names:
  58     '''Keeps a set of nested names and formats them to C identifier.'''
  59     def __init__(self, parts = ()):
  60         if isinstance(parts, Names):
  61             parts = parts.parts
  62         self.parts = tuple(parts)
  63
  64     def __str__(self):
  65         return '_'.join(self.parts)
  66
  67     def __add__(self, other):
  68         if isinstance(other, (str, unicode)):
  69             return Names(self.parts + (other,))
  70         elif isinstance(other, tuple):
  71             return Names(self.parts + other)
  72         else:
  73             raise ValueError("Name parts should be of type str")
  74
  75     def __eq__(self, other):
  76         return isinstance(other, Names) and self.parts == other.parts
  77
  78 def names_from_type_name(type_name):
  79     '''Parse Names() from FieldDescriptorProto type_name'''
  80     if type_name[0] != '.':
  81         raise NotImplementedError("Lookup of non-absolute type names is not supported")
  82     return Names(type_name[1:].split('.'))
  83
  84 class Enum:
  85     def __init__(self, names, desc, enum_options):
  86         '''desc is EnumDescriptorProto'''
  87
  88         self.options = enum_options
  89         self.names = names + desc.name
  90
  91         if enum_options.long_names:
  92             self.values = [(self.names + x.name, x.number) for x in desc.value]
  93         else:
  94             self.values = [(names + x.name, x.number) for x in desc.value]
  95
  96         self.value_longnames = [self.names + x.name for x in desc.value]
  97
  98     def __str__(self):
  99         result = 'typedef enum _%s {\n' % self.names
 100         result += ',\n'.join(["    %s = %d" % x for x in self.values])
 101         result += '\n} %s;' % self.names
 102         return result
 103
 104 class Field:
 105     def __init__(self, struct_name, desc, field_options):
 106         '''desc is FieldDescriptorProto'''
 107         self.tag = desc.number
 108         self.struct_name = struct_name
 109         self.name = desc.name
 110         self.default = None
 111         self.max_size = None
 112         self.max_count = None
 113         self.array_decl = ""
 114
 115         # Parse field options
 116         if field_options.HasField("max_size"):
 117             self.max_size = field_options.max_size
 118
 119         if field_options.HasField("max_count"):
 120             self.max_count = field_options.max_count
 121
 122         if desc.HasField('default_value'):
 123             self.default = desc.default_value
 124
 125         # Check field rules, i.e. required/optional/repeated.
 126         can_be_static = True
 127         if desc.label == FieldD.LABEL_REQUIRED:
 128             self.rules = 'REQUIRED'
 129         elif desc.label == FieldD.LABEL_OPTIONAL:
 130             self.rules = 'OPTIONAL'
 131         elif desc.label == FieldD.LABEL_REPEATED:
 132             self.rules = 'REPEATED'
 133             if self.max_count is None:
 134                 can_be_static = False
 135             else:
 136                 self.array_decl = '[%d]' % self.max_count
 137         else:
 138             raise NotImplementedError(desc.label)
 139
 140         # Decide the C data type to use in the struct.
 141         if datatypes.has_key(desc.type):
 142             self.ctype, self.pbtype = datatypes[desc.type]
 143         elif desc.type == FieldD.TYPE_ENUM:
 144             self.pbtype = 'ENUM'
 145             self.ctype = names_from_type_name(desc.type_name)
 146             if self.default is not None:
 147                 self.default = self.ctype + self.default
 148         elif desc.type == FieldD.TYPE_STRING:
 149             self.pbtype = 'STRING'
 150             if self.max_size is None:
 151                 can_be_static = False
 152             else:
 153                 self.ctype = 'char'
 154                 self.array_decl += '[%d]' % self.max_size
 155         elif desc.type == FieldD.TYPE_BYTES:
 156             self.pbtype = 'BYTES'
 157             if self.max_size is None:
 158                 can_be_static = False
 159             else:
 160                 self.ctype = self.struct_name + self.name + 't'
 161         elif desc.type == FieldD.TYPE_MESSAGE:
 162             self.pbtype = 'MESSAGE'
 163             self.ctype = self.submsgname = names_from_type_name(desc.type_name)
 164         else:
 165             raise NotImplementedError(desc.type)
 166
 167         if field_options.type == nanopb_pb2.FT_DEFAULT:
 168             if can_be_static:
 169                 field_options.type = nanopb_pb2.FT_STATIC
 170             else:
 171                 field_options.type = nanopb_pb2.FT_CALLBACK
 172
 173         if field_options.type == nanopb_pb2.FT_STATIC and not can_be_static:
 174             raise Exception("Field %s is defined as static, but max_size or max_count is not given." % self.name)
 175
 176         if field_options.type == nanopb_pb2.FT_STATIC:
 177             self.allocation = 'STATIC'
 178         elif field_options.type == nanopb_pb2.FT_CALLBACK:
 179             self.allocation = 'CALLBACK'
 180             self.ctype = 'pb_callback_t'
 181             self.array_decl = ''
 182         else:
 183             raise NotImplementedError(field_options.type)
 184
 185     def __cmp__(self, other):
 186         return cmp(self.tag, other.tag)
 187
 188     def __str__(self):
 189         if self.rules == 'OPTIONAL' and self.allocation == 'STATIC':
 190             result = '    bool has_' + self.name + ';\n'
 191         elif self.rules == 'REPEATED' and self.allocation == 'STATIC':
 192             result = '    size_t ' + self.name + '_count;\n'
 193         else:
 194             result = ''
 195         result += '    %s %s%s;' % (self.ctype, self.name, self.array_decl)
 196         return result
 197
 198     def types(self):
 199         '''Return definitions for any special types this field might need.'''
 200         if self.pbtype == 'BYTES' and self.allocation == 'STATIC':
 201             result = 'typedef struct {\n'
 202             result += '    size_t size;\n'
 203             result += '    uint8_t bytes[%d];\n' % self.max_size
 204             result += '} %s;\n' % self.ctype
 205         else:
 206             result = None
 207         return result
 208
 209     def default_decl(self, declaration_only = False):
 210         '''Return definition for this field's default value.'''
 211         if self.default is None:
 212             return None
 213
 214         ctype, default = self.ctype, self.default
 215         array_decl = ''
 216
 217         if self.pbtype == 'STRING':
 218             if self.allocation != 'STATIC':
 219                 return None # Not implemented
 220
 221             array_decl = '[%d]' % self.max_size
 222             default = str(self.default).encode('string_escape')
 223             default = default.replace('"', '\\"')
 224             default = '"' + default + '"'
 225         elif self.pbtype == 'BYTES':
 226             if self.allocation != 'STATIC':
 227                 return None # Not implemented
 228
 229             data = self.default.decode('string_escape')
 230             data = ['0x%02x' % ord(c) for c in data]
 231             default = '{%d, {%s}}' % (len(data), ','.join(data))
 232
 233         if declaration_only:
 234             return 'extern const %s %s_default%s;' % (ctype, self.struct_name + self.name, array_decl)
 235         else:
 236             return 'const %s %s_default%s = %s;' % (ctype, self.struct_name + self.name, array_decl, default)
 237
 238     def tags(self):
 239         '''Return the #define for the tag number of this field.'''
 240         identifier = '%s_%s_tag' % (self.struct_name, self.name)
 241         return '#define %-40s %d\n' % (identifier, self.tag)
 242
 243     def pb_field_t(self, prev_field_name):
 244         '''Return the pb_field_t initializer to use in the constant array.
 245         prev_field_name is the name of the previous field or None.
 246         '''
 247         result  = '    PB_FIELD(%3d, ' % self.tag
 248         result += '%-8s, ' % self.pbtype
 249         result += '%s, ' % self.rules
 250         result += '%s, ' % self.allocation
 251         result += '%s, ' % self.struct_name
 252         result += '%s, ' % self.name
 253         result += '%s, ' % (prev_field_name or self.name)
 254
 255         if self.pbtype == 'MESSAGE':
 256             result += '&%s_fields)' % self.submsgname
 257         elif self.default is None:
 258             result += '0)'
 259         elif self.pbtype in ['BYTES', 'STRING'] and self.allocation != 'STATIC':
 260             result += '0)' # Arbitrary size default values not implemented
 261         else:
 262             result += '&%s_default)' % (self.struct_name + self.name)
 263
 264         return result
 265
 266     def largest_field_value(self):
 267         '''Determine if this field needs 16bit or 32bit pb_field_t structure to compile properly.
 268         Returns numeric value or a C-expression for assert.'''
 269         if self.pbtype == 'MESSAGE':
 270             if self.rules == 'REPEATED' and self.allocation == 'STATIC':
 271                 return 'pb_membersize(%s, %s[0])' % (self.struct_name, self.name)
 272             else:
 273                 return 'pb_membersize(%s, %s)' % (self.struct_name, self.name)
 274
 275         return max(self.tag, self.max_size, self.max_count)
 276
 277
 278 class ExtensionRange(Field):
 279     def __init__(self, struct_name, range_start, field_options):
 280         '''Implements a special pb_extension_t* field in an extensible message
 281         structure. The range_start signifies the index at which the extensions
 282         start. Not necessarily all tags above this are extensions, it is merely
 283         a speed optimization.
 284         '''
 285         self.tag = range_start
 286         self.struct_name = struct_name
 287         self.name = 'extensions'
 288         self.pbtype = 'EXTENSION'
 289         self.rules = 'OPTIONAL'
 290         self.allocation = 'CALLBACK'
 291         self.ctype = 'pb_extension_t'
 292         self.array_decl = ''
 293         self.default = None
 294         self.max_size = 0
 295         self.max_count = 0
 296
 297     def __str__(self):
 298         return '    pb_extension_t *extensions;'
 299
 300     def types(self):
 301         return None
 302
 303     def tags(self):
 304         return ''
 305
 306 class ExtensionField(Field):
 307     def __init__(self, struct_name, desc, field_options):
 308         self.fullname = struct_name + desc.name
 309         self.extendee_name = names_from_type_name(desc.extendee)
 310         Field.__init__(self, self.fullname + 'struct', desc, field_options)
 311
 312         if self.rules != 'OPTIONAL':
 313             self.skip = True
 314         else:
 315             self.skip = False
 316             self.rules = 'OPTEXT'
 317
 318     def extension_decl(self):
 319         '''Declaration of the extension type in the .pb.h file'''
 320         if self.skip:
 321             msg = '/* Extension field %s was skipped because only "optional"\n' % self.fullname
 322             msg +='   type of extension fields is currently supported. */\n'
 323             return msg
 324
 325         return 'extern const pb_extension_type_t %s;\n' % self.fullname
 326
 327     def extension_def(self):
 328         '''Definition of the extension type in the .pb.c file'''
 329
 330         if self.skip:
 331             return ''
 332
 333         result  = 'typedef struct {\n'
 334         result += str(self)
 335         result += '\n} %s;\n\n' % self.struct_name
 336         result += ('static const pb_field_t %s_field = \n  %s;\n\n' %
 337                     (self.fullname, self.pb_field_t(None)))
 338         result += 'const pb_extension_type_t %s = {\n' % self.fullname
 339         result += '    NULL,\n'
 340         result += '    NULL,\n'
 341         result += '    &%s_field\n' % self.fullname
 342         result += '};\n'
 343         return result
 344
 345
 346 # ---------------------------------------------------------------------------
 347 #                   Generation of messages (structures)
 348 # ---------------------------------------------------------------------------
 349
 350
 351 class Message:
 352     def __init__(self, names, desc, message_options):
 353         self.name = names
 354         self.fields = []
 355
 356         for f in desc.field:
 357             field_options = get_nanopb_suboptions(f, message_options, self.name + f.name)
 358             if field_options.type != nanopb_pb2.FT_IGNORE:
 359                 self.fields.append(Field(self.name, f, field_options))
 360
 361         if len(desc.extension_range) > 0:
 362             field_options = get_nanopb_suboptions(desc, message_options, self.name + 'extensions')
 363             range_start = min([r.start for r in desc.extension_range])
 364             if field_options.type != nanopb_pb2.FT_IGNORE:
 365                 self.fields.append(ExtensionRange(self.name, range_start, field_options))
 366
 367         self.packed = message_options.packed_struct
 368         self.ordered_fields = self.fields[:]
 369         self.ordered_fields.sort()
 370
 371     def get_dependencies(self):
 372         '''Get list of type names that this structure refers to.'''
 373         return [str(field.ctype) for field in self.fields]
 374
 375     def __str__(self):
 376         result = 'typedef struct _%s {\n' % self.name
 377
 378         if not self.ordered_fields:
 379             # Empty structs are not allowed in C standard.
 380             # Therefore add a dummy field if an empty message occurs.
 381             result += '    uint8_t dummy_field;'
 382
 383         result += '\n'.join([str(f) for f in self.ordered_fields])
 384         result += '\n}'
 385
 386         if self.packed:
 387             result += ' pb_packed'
 388
 389         result += ' %s;' % self.name
 390
 391         if self.packed:
 392             result = 'PB_PACKED_STRUCT_START\n' + result
 393             result += '\nPB_PACKED_STRUCT_END'
 394
 395         return result
 396
 397     def types(self):
 398         result = ""
 399         for field in self.fields:
 400             types = field.types()
 401             if types is not None:
 402                 result += types + '\n'
 403         return result
 404
 405     def default_decl(self, declaration_only = False):
 406         result = ""
 407         for field in self.fields:
 408             default = field.default_decl(declaration_only)
 409             if default is not None:
 410                 result += default + '\n'
 411         return result
 412
 413     def fields_declaration(self):
 414         result = 'extern const pb_field_t %s_fields[%d];' % (self.name, len(self.fields) + 1)
 415         return result
 416
 417     def fields_definition(self):
 418         result = 'const pb_field_t %s_fields[%d] = {\n' % (self.name, len(self.fields) + 1)
 419
 420         prev = None
 421         for field in self.ordered_fields:
 422             result += field.pb_field_t(prev)
 423             result += ',\n'
 424             prev = field.name
 425
 426         result += '    PB_LAST_FIELD\n};'
 427         return result
 428
 429
 430
 431 # ---------------------------------------------------------------------------
 432 #                    Processing of entire .proto files
 433 # ---------------------------------------------------------------------------
 434
 435
 436 def iterate_messages(desc, names = Names()):
 437     '''Recursively find all messages. For each, yield name, DescriptorProto.'''
 438     if hasattr(desc, 'message_type'):
 439         submsgs = desc.message_type
 440     else:
 441         submsgs = desc.nested_type
 442
 443     for submsg in submsgs:
 444         sub_names = names + submsg.name
 445         yield sub_names, submsg
 446
 447         for x in iterate_messages(submsg, sub_names):
 448             yield x
 449
 450 def iterate_extensions(desc, names = Names()):
 451     '''Recursively find all extensions.
 452     For each, yield name, FieldDescriptorProto.
 453     '''
 454     for extension in desc.extension:
 455         yield names, extension
 456
 457     for subname, subdesc in iterate_messages(desc, names):
 458         for extension in subdesc.extension:
 459             yield subname, extension
 460
 461 def parse_file(fdesc, file_options):
 462     '''Takes a FileDescriptorProto and returns tuple (enums, messages, extensions).'''
 463
 464     enums = []
 465     messages = []
 466     extensions = []
 467
 468     if fdesc.package:
 469         base_name = Names(fdesc.package.split('.'))
 470     else:
 471         base_name = Names()
 472
 473     for enum in fdesc.enum_type:
 474         enum_options = get_nanopb_suboptions(enum, file_options, base_name + enum.name)
 475         enums.append(Enum(base_name, enum, enum_options))
 476
 477     for names, message in iterate_messages(fdesc, base_name):
 478         message_options = get_nanopb_suboptions(message, file_options, names)
 479         messages.append(Message(names, message, message_options))
 480         for enum in message.enum_type:
 481             enum_options = get_nanopb_suboptions(enum, message_options, names + enum.name)
 482             enums.append(Enum(names, enum, enum_options))
 483
 484     for names, extension in iterate_extensions(fdesc, base_name):
 485         field_options = get_nanopb_suboptions(extension, file_options, names)
 486         if field_options.type != nanopb_pb2.FT_IGNORE:
 487             extensions.append(ExtensionField(names, extension, field_options))
 488
 489     # Fix field default values where enum short names are used.
 490     for enum in enums:
 491         if not enum.options.long_names:
 492             for message in messages:
 493                 for field in message.fields:
 494                     if field.default in enum.value_longnames:
 495                         idx = enum.value_longnames.index(field.default)
 496                         field.default = enum.values[idx][0]
 497
 498     return enums, messages, extensions
 499
 500 def toposort2(data):
 501     '''Topological sort.
 502     From http://code.activestate.com/recipes/577413-topological-sort/
 503     This function is under the MIT license.
 504     '''
 505     for k, v in data.items():
 506         v.discard(k) # Ignore self dependencies
 507     extra_items_in_deps = reduce(set.union, data.values(), set()) - set(data.keys())
 508     data.update(dict([(item, set()) for item in extra_items_in_deps]))
 509     while True:
 510         ordered = set(item for item,dep in data.items() if not dep)
 511         if not ordered:
 512             break
 513         for item in sorted(ordered):
 514             yield item
 515         data = dict([(item, (dep - ordered)) for item,dep in data.items()
 516                 if item not in ordered])
 517     assert not data, "A cyclic dependency exists amongst %r" % data
 518
 519 def sort_dependencies(messages):
 520     '''Sort a list of Messages based on dependencies.'''
 521     dependencies = {}
 522     message_by_name = {}
 523     for message in messages:
 524         dependencies[str(message.name)] = set(message.get_dependencies())
 525         message_by_name[str(message.name)] = message
 526
 527     for msgname in toposort2(dependencies):
 528         if msgname in message_by_name:
 529             yield message_by_name[msgname]
 530
 531 def make_identifier(headername):
 532     '''Make #ifndef identifier that contains uppercase A-Z and digits 0-9'''
 533     result = ""
 534     for c in headername.upper():
 535         if c.isalnum():
 536             result += c
 537         else:
 538             result += '_'
 539     return result
 540
 541 def generate_header(dependencies, headername, enums, messages, extensions, options):
 542     '''Generate content for a header file.
 543     Generates strings, which should be concatenated and stored to file.
 544     '''
 545
 546     yield '/* Automatically generated nanopb header */\n'
 547     yield '/* Generated by %s at %s. */\n\n' % (nanopb_version, time.asctime())
 548
 549     symbol = make_identifier(headername)
 550     yield '#ifndef _PB_%s_\n' % symbol
 551     yield '#define _PB_%s_\n' % symbol
 552     try:
 553         yield options.libformat % ('pb.h')
 554     except TypeError:
 555         # no %s specified - use whatever was passed in as options.libformat
 556         yield options.libformat
 557     yield '\n'
 558
 559     for dependency in dependencies:
 560         noext = os.path.splitext(dependency)[0]
 561         yield options.genformat % (noext + '.' + options.extension + '.h')
 562         yield '\n'
 563
 564     yield '#ifdef __cplusplus\n'
 565     yield 'extern "C" {\n'
 566     yield '#endif\n\n'
 567
 568     yield '/* Enum definitions */\n'
 569     for enum in enums:
 570         yield str(enum) + '\n\n'
 571
 572     yield '/* Struct definitions */\n'
 573     for msg in sort_dependencies(messages):
 574         yield msg.types()
 575         yield str(msg) + '\n\n'
 576
 577     if extensions:
 578         yield '/* Extensions */\n'
 579         for extension in extensions:
 580             yield extension.extension_decl()
 581         yield '\n'
 582
 583     yield '/* Default values for struct fields */\n'
 584     for msg in messages:
 585         yield msg.default_decl(True)
 586     yield '\n'
 587
 588     yield '/* Field tags (for use in manual encoding/decoding) */\n'
 589     for msg in sort_dependencies(messages):
 590         for field in msg.fields:
 591             yield field.tags()
 592     yield '\n'
 593
 594     yield '/* Struct field encoding specification for nanopb */\n'
 595     for msg in messages:
 596         yield msg.fields_declaration() + '\n'
 597
 598     yield '\n#ifdef __cplusplus\n'
 599     yield '} /* extern "C" */\n'
 600     yield '#endif\n'
 601
 602     # End of header
 603     yield '\n#endif\n'
 604
 605 def generate_source(headername, enums, messages, extensions):
 606     '''Generate content for a source file.'''
 607
 608     yield '/* Automatically generated nanopb constant definitions */\n'
 609     yield '/* Generated by %s at %s. */\n\n' % (nanopb_version, time.asctime())
 610     yield options.genformat % (headername)
 611     yield '\n'
 612
 613     for msg in messages:
 614         yield msg.default_decl(False)
 615
 616     yield '\n\n'
 617
 618     for msg in messages:
 619         yield msg.fields_definition() + '\n\n'
 620
 621     for ext in extensions:
 622         yield ext.extension_def() + '\n'
 623
 624     # Add checks for numeric limits
 625     if messages:
 626         count_required_fields = lambda m: len([f for f in msg.fields if f.rules == 'REQUIRED'])
 627         largest_msg = max(messages, key = count_required_fields)
 628         largest_count = count_required_fields(largest_msg)
 629         if largest_count > 64:
 630             yield '\n/* Check that missing required fields will be properly detected */\n'
 631             yield '#if PB_MAX_REQUIRED_FIELDS < %d\n' % largest_count
 632             yield '#error Properly detecting missing required fields in %s requires \\\n' % largest_msg.name
 633             yield '       setting PB_MAX_REQUIRED_FIELDS to %d or more.\n' % largest_count
 634             yield '#endif\n'
 635
 636     worst = 0
 637     worst_field = ''
 638     checks = []
 639     checks_msgnames = []
 640     for msg in messages:
 641         checks_msgnames.append(msg.name)
 642         for field in msg.fields:
 643             status = field.largest_field_value()
 644             if isinstance(status, (str, unicode)):
 645                 checks.append(status)
 646             elif status > worst:
 647                 worst = status
 648                 worst_field = str(field.struct_name) + '.' + str(field.name)
 649
 650     if worst > 255 or checks:
 651         yield '\n/* Check that field information fits in pb_field_t */\n'
 652
 653         if worst < 65536:
 654             yield '#if !defined(PB_FIELD_16BIT) && !defined(PB_FIELD_32BIT)\n'
 655             if worst > 255:
 656                 yield '#error Field descriptor for %s is too large. Define PB_FIELD_16BIT to fix this.\n' % worst_field
 657             else:
 658                 assertion = ' && '.join(str(c) + ' < 256' for c in checks)
 659                 msgs = '_'.join(str(n) for n in checks_msgnames)
 660                 yield 'STATIC_ASSERT((%s), YOU_MUST_DEFINE_PB_FIELD_16BIT_FOR_MESSAGES_%s)\n'%(assertion,msgs)
 661             yield '#endif\n\n'
 662
 663         if worst > 65535 or checks:
 664             yield '#if !defined(PB_FIELD_32BIT)\n'
 665             if worst > 65535:
 666                 yield '#error Field descriptor for %s is too large. Define PB_FIELD_32BIT to fix this.\n' % worst_field
 667             else:
 668                 assertion = ' && '.join(str(c) + ' < 65536' for c in checks)
 669                 msgs = '_'.join(str(n) for n in checks_msgnames)
 670                 yield 'STATIC_ASSERT((%s), YOU_MUST_DEFINE_PB_FIELD_32BIT_FOR_MESSAGES_%s)\n'%(assertion,msgs)
 671             yield '#endif\n'
 672
 673     # Add check for sizeof(double)
 674     has_double = False
 675     for msg in messages:
 676         for field in msg.fields:
 677             if field.ctype == 'double':
 678                 has_double = True
 679
 680     if has_double:
 681         yield '\n'
 682         yield '/* On some platforms (such as AVR), double is really float.\n'
 683         yield ' * These are not directly supported by nanopb, but see example_avr_double.\n'
 684         yield ' * To get rid of this error, remove any double fields from your .proto.\n'
 685         yield ' */\n'
 686         yield 'STATIC_ASSERT(sizeof(double) == 8, DOUBLE_MUST_BE_8_BYTES)\n'
 687
 688     yield '\n'
 689
 690 # ---------------------------------------------------------------------------
 691 #                    Options parsing for the .proto files
 692 # ---------------------------------------------------------------------------
 693
 694 from fnmatch import fnmatch
 695
 696 def read_options_file(infile):
 697     '''Parse a separate options file to list:
 698         [(namemask, options), ...]
 699     '''
 700     results = []
 701     for line in infile:
 702         line = line.strip()
 703         if not line or line.startswith('//') or line.startswith('#'):
 704             continue
 705
 706         parts = line.split(None, 1)
 707         opts = nanopb_pb2.NanoPBOptions()
 708         text_format.Merge(parts[1], opts)
 709         results.append((parts[0], opts))
 710
 711     return results
 712
 713 class Globals:
 714     '''Ugly global variables, should find a good way to pass these.'''
 715     verbose_options = False
 716     separate_options = []
 717
 718 def get_nanopb_suboptions(subdesc, options, name):
 719     '''Get copy of options, and merge information from subdesc.'''
 720     new_options = nanopb_pb2.NanoPBOptions()
 721     new_options.CopyFrom(options)
 722
 723     # Handle options defined in a separate file
 724     dotname = '.'.join(name.parts)
 725     for namemask, options in Globals.separate_options:
 726         if fnmatch(dotname, namemask):
 727             new_options.MergeFrom(options)
 728
 729     # Handle options defined in .proto
 730     if isinstance(subdesc.options, descriptor.FieldOptions):
 731         ext_type = nanopb_pb2.nanopb
 732     elif isinstance(subdesc.options, descriptor.FileOptions):
 733         ext_type = nanopb_pb2.nanopb_fileopt
 734     elif isinstance(subdesc.options, descriptor.MessageOptions):
 735         ext_type = nanopb_pb2.nanopb_msgopt
 736     elif isinstance(subdesc.options, descriptor.EnumOptions):
 737         ext_type = nanopb_pb2.nanopb_enumopt
 738     else:
 739         raise Exception("Unknown options type")
 740
 741     if subdesc.options.HasExtension(ext_type):
 742         ext = subdesc.options.Extensions[ext_type]
 743         new_options.MergeFrom(ext)
 744
 745     if Globals.verbose_options:
 746         print "Options for " + dotname + ":"
 747         print text_format.MessageToString(new_options)
 748
 749     return new_options
 750
 751
 752 # ---------------------------------------------------------------------------
 753 #                         Command line interface
 754 # ---------------------------------------------------------------------------
 755
 756 import sys
 757 import os.path
 758 from optparse import OptionParser
 759
 760 optparser = OptionParser(
 761     usage = "Usage: nanopb_generator.py [options] file.pb ...",
 762     epilog = "Compile file.pb from file.proto by: 'protoc -ofile.pb file.proto'. " +
 763              "Output will be written to file.pb.h and file.pb.c.")
 764 optparser.add_option("-x", dest="exclude", metavar="FILE", action="append", default=[],
 765     help="Exclude file from generated #include list.")
 766 optparser.add_option("-e", "--extension", dest="extension", metavar="EXTENSION", default="pb",
 767     help="Set extension to use instead of 'pb' for generated files. [default: %default]")
 768 optparser.add_option("-f", "--options-file", dest="options_file", metavar="FILE", default="%s.options",
 769     help="Set name of a separate generator options file.")
 770 optparser.add_option("-Q", "--generated-include-format", dest="genformat",
 771     metavar="FORMAT", default='#include "%s"\n',
 772     help="Set format string to use for including other .pb.h files. [default: %default]")
 773 optparser.add_option("-L", "--library-include-format", dest="libformat",
 774     metavar="FORMAT", default='#include <%s>\n',
 775     help="Set format string to use for including the nanopb pb.h header. [default: %default]")
 776 optparser.add_option("-q", "--quiet", dest="quiet", action="store_true", default=False,
 777     help="Don't print anything except errors.")
 778 optparser.add_option("-v", "--verbose", dest="verbose", action="store_true", default=False,
 779     help="Print more information.")
 780 optparser.add_option("-s", dest="settings", metavar="OPTION:VALUE", action="append", default=[],
 781     help="Set generator option (max_size, max_count etc.).")
 782
 783 def process(filenames, options):
 784     '''Process the files given on the command line.'''
 785
 786     if not filenames:
 787         optparser.print_help()
 788         return False
 789
 790     if options.quiet:
 791         options.verbose = False
 792
 793     Globals.verbose_options = options.verbose
 794
 795     toplevel_options = nanopb_pb2.NanoPBOptions()
 796     for s in options.settings:
 797         text_format.Merge(s, toplevel_options)
 798
 799     for filename in filenames:
 800         data = open(filename, 'rb').read()
 801         fdesc = descriptor.FileDescriptorSet.FromString(data)
 802
 803         # Check if any separate options are specified
 804         try:
 805             optfilename = options.options_file % os.path.splitext(filename)[0]
 806         except TypeError:
 807             # No %s specified, use the filename as-is
 808             optfilename = options.options_file
 809
 810         if options.verbose:
 811             print 'Reading options from ' + optfilename
 812
 813         if os.path.isfile(optfilename):
 814             Globals.separate_options = read_options_file(open(optfilename, "rU"))
 815         else:
 816             Globals.separate_options = []
 817
 818         # Parse the file
 819         file_options = get_nanopb_suboptions(fdesc.file[0], toplevel_options, Names([filename]))
 820         enums, messages, extensions = parse_file(fdesc.file[0], file_options)
 821
 822         noext = os.path.splitext(filename)[0]
 823         headername = noext + '.' + options.extension + '.h'
 824         sourcename = noext + '.' + options.extension + '.c'
 825         headerbasename = os.path.basename(headername)
 826
 827         if not options.quiet:
 828             print "Writing to " + headername + " and " + sourcename
 829
 830         # List of .proto files that should not be included in the C header file
 831         # even if they are mentioned in the source .proto.
 832         excludes = ['nanopb.proto', 'google/protobuf/descriptor.proto'] + options.exclude
 833         dependencies = [d for d in fdesc.file[0].dependency if d not in excludes]
 834
 835         header = open(headername, 'w')
 836         for part in generate_header(dependencies, headerbasename, enums,
 837                                     messages, extensions, options):
 838             header.write(part)
 839
 840         source = open(sourcename, 'w')
 841         for part in generate_source(headerbasename, enums, messages, extensions):
 842             source.write(part)
 843
 844     return True
 845
 846 if __name__ == '__main__':
 847     options, filenames = optparser.parse_args()
 848     status = process(filenames, options)
 849
 850     if not status:
 851         sys.exit(1)
 852