build-aux/extract-ofp-errors

   1 #! /usr/bin/python
   2
   3 import sys
   4 import os.path
   5 import re
   6
   7 macros = {}
   8
   9 token = None
  10 line = ""
  11 idRe = "[a-zA-Z_][a-zA-Z_0-9]*"
  12 tokenRe = "#?" + idRe + "|[0-9]+|."
  13 inComment = False
  14 inDirective = False
  15
  16 def getLine():
  17     global line
  18     global lineNumber
  19     line = inputFile.readline()
  20     lineNumber += 1
  21     if line == "":
  22         fatal("unexpected end of input")
  23
  24 def getToken():
  25     global token
  26     global line
  27     global inComment
  28     global inDirective
  29     while True:
  30         line = line.lstrip()
  31         if line != "":
  32             if line.startswith("/*"):
  33                 inComment = True
  34                 line = line[2:]
  35             elif inComment:
  36                 commentEnd = line.find("*/")
  37                 if commentEnd < 0:
  38                     line = ""
  39                 else:
  40                     inComment = False
  41                     line = line[commentEnd + 2:]
  42             else:
  43                 match = re.match(tokenRe, line)
  44                 token = match.group(0)
  45                 line = line[len(token):]
  46                 if token.startswith('#'):
  47                     inDirective = True
  48                 elif token in macros and not inDirective:
  49                     line = macros[token] + line
  50                     continue
  51                 return True
  52         elif inDirective:
  53             token = "$"
  54             inDirective = False
  55             return True
  56         else:
  57             global lineNumber
  58             line = inputFile.readline()
  59             lineNumber += 1
  60             while line.endswith("\\\n"):
  61                 line = line[:-2] + inputFile.readline()
  62                 lineNumber += 1
  63             if line == "":
  64                 if token == None:
  65                     fatal("unexpected end of input")
  66                 token = None
  67                 return False
  68
  69 n_errors = 0
  70 def error(msg):
  71     global n_errors
  72     sys.stderr.write("%s:%d: %s\n" % (fileName, lineNumber, msg))
  73     n_errors += 1
  74
  75 def fatal(msg):
  76     error(msg)
  77     sys.exit(1)
  78
  79 def skipDirective():
  80     getToken()
  81     while token != '$':
  82         getToken()
  83
  84 def isId(s):
  85     return re.match(idRe + "$", s) != None
  86
  87 def forceId():
  88     if not isId(token):
  89         fatal("identifier expected")
  90
  91 def forceInteger():
  92     if not re.match('[0-9]+$', token):
  93         fatal("integer expected")
  94
  95 def match(t):
  96     if token == t:
  97         getToken()
  98         return True
  99     else:
 100         return False
 101
 102 def forceMatch(t):
 103     if not match(t):
 104         fatal("%s expected" % t)
 105
 106 def parseTaggedName():
 107     assert token in ('struct', 'union')
 108     name = token
 109     getToken()
 110     forceId()
 111     name = "%s %s" % (name, token)
 112     getToken()
 113     return name
 114
 115 def print_enum(tag, constants, storage_class):
 116     print """
 117 %(storage_class)sconst char *
 118 %(tag)s_to_string(uint16_t value)
 119 {
 120     switch (value) {\
 121 """ % {"tag": tag,
 122        "bufferlen": len(tag) + 32,
 123        "storage_class": storage_class}
 124     for constant in constants:
 125         print "    case %s: return \"%s\";" % (constant, constant)
 126     print """\
 127     }
 128     return NULL;
 129 }\
 130 """ % {"tag": tag}
 131
 132 def usage():
 133     argv0 = os.path.basename(sys.argv[0])
 134     print '''\
 135 %(argv0)s, for extracting OpenFlow error codes from header files
 136 usage: %(argv0)s FILE [FILE...]
 137
 138 This program reads the header files specified on the command line and
 139 outputs a C source file for translating OpenFlow error codes into
 140 strings, for use as lib/ofp-errors.c in the Open vSwitch source tree.
 141
 142 This program is specialized for reading lib/ofp-errors.h.  It will not
 143 work on arbitrary header files without extensions.\
 144 ''' % {"argv0": argv0}
 145     sys.exit(0)
 146
 147 def extract_ofp_errors(filenames):
 148     error_types = {}
 149
 150     comments = []
 151     names = []
 152     domain = {}
 153     reverse = {}
 154     for domain_name in ("OF1.0", "OF1.1", "OF1.2", "NX1.0", "NX1.1"):
 155         domain[domain_name] = {}
 156         reverse[domain_name] = {}
 157
 158     n_errors = 0
 159     expected_errors = {}
 160
 161     global fileName
 162     for fileName in filenames:
 163         global inputFile
 164         global lineNumber
 165         inputFile = open(fileName)
 166         lineNumber = 0
 167
 168         while True:
 169             getLine()
 170             if re.match('enum ofperr', line):
 171                 break
 172
 173         while True:
 174             getLine()
 175             if line.startswith('/*') or not line or line.isspace():
 176                 continue
 177             elif re.match('}', line):
 178                 break
 179
 180             if not line.lstrip().startswith('/*'):
 181                 fatal("unexpected syntax between errors")
 182
 183             comment = line.lstrip()[2:].strip()
 184             while not comment.endswith('*/'):
 185                 getLine()
 186                 if line.startswith('/*') or not line or line.isspace():
 187                     fatal("unexpected syntax within error")
 188                 comment += ' %s' % line.lstrip('* \t').rstrip(' \t\r\n')
 189             comment = comment[:-2].rstrip()
 190
 191             m = re.match('Expected: (.*)\.$', comment)
 192             if m:
 193                 expected_errors[m.group(1)] = (fileName, lineNumber)
 194                 continue
 195
 196             m = re.match('((?:.(?!\.  ))+.)\.  (.*)$', comment)
 197             if not m:
 198                 fatal("unexpected syntax between errors")
 199
 200             dsts, comment = m.groups()
 201
 202             getLine()
 203             m = re.match('\s+(?:OFPERR_((?:OFP|NX)[A-Z0-9_]+))(\s*=\s*OFPERR_OFS)?,',
 204                          line)
 205             if not m:
 206                 fatal("syntax error expecting enum value")
 207
 208             enum = m.group(1)
 209
 210             comments.append(comment)
 211             names.append(enum)
 212
 213             for dst in dsts.split(', '):
 214                 m = re.match(r'([A-Z0-9.+]+)\((\d+|(0x)[0-9a-fA-F]+)(?:,(\d+))?\)$', dst)
 215                 if not m:
 216                     fatal("%s: syntax error in destination" % dst)
 217                 targets = m.group(1)
 218                 if m.group(3):
 219                     base = 16
 220                 else:
 221                     base = 10
 222                 type_ = int(m.group(2), base)
 223                 if m.group(4):
 224                     code = int(m.group(4))
 225                 else:
 226                     code = None
 227
 228                 target_map = {"OF1.0+": ("OF1.0", "OF1.1", "OF1.2"),
 229                               "OF1.1+": ("OF1.1", "OF1.2"),
 230                               "OF1.2+": ("OF1.2",),
 231                               "OF1.0":  ("OF1.0",),
 232                               "OF1.1":  ("OF1.1",),
 233                               "OF1.2":  ("OF1.2",),
 234                               "NX1.0+": ("OF1.0", "OF1.1", "OF1.2"),
 235                               "NX1.0":  ("OF1.0",),
 236                               "NX1.1":  ("OF1.1",),
 237                               "NX1.2":  ("OF1.2",)}
 238                 if targets not in target_map:
 239                     fatal("%s: unknown error domain" % targets)
 240                 for target in target_map[targets]:
 241                     domain[target].setdefault(type_, {})
 242                     if code in domain[target][type_]:
 243                         msg = "%d,%d in %s means both %s and %s" % (
 244                             type_, code, target,
 245                             domain[target][type_][code][0], enum)
 246                         if msg in expected_errors:
 247                             del expected_errors[msg]
 248                         else:
 249                             error("%s: %s." % (dst, msg))
 250                             sys.stderr.write("%s:%d: %s: Here is the location "
 251                                              "of the previous definition.\n"
 252                                              % (domain[target][type_][code][1],
 253                                                 domain[target][type_][code][2],
 254                                                 dst))
 255                     else:
 256                         domain[target][type_][code] = (enum, fileName,
 257                                                        lineNumber)
 258
 259                     if enum in reverse[target]:
 260                         error("%s: %s in %s means both %d,%d and %d,%d." %
 261                               (dst, enum, target,
 262                                reverse[target][enum][0],
 263                                reverse[target][enum][1],
 264                                type_, code))
 265                     reverse[target][enum] = (type_, code)
 266
 267         inputFile.close()
 268
 269     for fn, ln in expected_errors.itervalues():
 270         sys.stderr.write("%s:%d: expected duplicate not used.\n" % (fn, ln))
 271         n_errors += 1
 272
 273     if n_errors:
 274         sys.exit(1)
 275
 276     print """\
 277 /* Generated automatically; do not modify!     -*- buffer-read-only: t -*- */
 278
 279 #define OFPERR_N_ERRORS %d
 280
 281 struct ofperr_domain {
 282     const char *name;
 283     uint8_t version;
 284     enum ofperr (*decode)(uint16_t type, uint16_t code);
 285     enum ofperr (*decode_type)(uint16_t type);
 286     struct pair errors[OFPERR_N_ERRORS];
 287 };
 288
 289 static const char *error_names[OFPERR_N_ERRORS] = {
 290 %s
 291 };
 292
 293 static const char *error_comments[OFPERR_N_ERRORS] = {
 294 %s
 295 };\
 296 """ % (len(names),
 297        '\n'.join('    "%s",' % name for name in names),
 298        '\n'.join('    "%s",' % re.sub(r'(["\\])', r'\\\1', comment)
 299                  for comment in comments))
 300
 301     def output_domain(map, name, description, version):
 302         print """
 303 static enum ofperr
 304 %s_decode(uint16_t type, uint16_t code)
 305 {
 306     switch ((type << 16) | code) {""" % name
 307         found = set()
 308         for enum in names:
 309             if enum not in map:
 310                 continue
 311             type_, code = map[enum]
 312             if code is None:
 313                 continue
 314             value = (type_ << 16) | code
 315             if value in found:
 316                 continue
 317             found.add(value)
 318             print "    case (%d << 16) | %d:" % (type_, code)
 319             print "        return OFPERR_%s;" % enum
 320         print """\
 321     }
 322
 323     return 0;
 324 }
 325
 326 static enum ofperr
 327 %s_decode_type(uint16_t type)
 328 {
 329     switch (type) {""" % name
 330         for enum in names:
 331             if enum not in map:
 332                 continue
 333             type_, code = map[enum]
 334             if code is not None:
 335                 continue
 336             print "    case %d:" % type_
 337             print "        return OFPERR_%s;" % enum
 338         print """\
 339     }
 340
 341     return 0;
 342 }"""
 343
 344         print """
 345 const struct ofperr_domain %s = {
 346     "%s",
 347     %d,
 348     %s_decode,
 349     %s_decode_type,
 350     {""" % (name, description, version, name, name)
 351         for enum in names:
 352             if enum in map:
 353                 type_, code = map[enum]
 354                 if code == None:
 355                     code = -1
 356             else:
 357                 type_ = code = -1
 358             print "        { %2d, %3d }, /* %s */" % (type_, code, enum)
 359         print """\
 360     },
 361 };"""
 362
 363     output_domain(reverse["OF1.0"], "ofperr_of10", "OpenFlow 1.0", 0x01)
 364     output_domain(reverse["OF1.1"], "ofperr_of11", "OpenFlow 1.1", 0x02)
 365     output_domain(reverse["OF1.2"], "ofperr_of12", "OpenFlow 1.2", 0x03)
 366
 367 if __name__ == '__main__':
 368     if '--help' in sys.argv:
 369         usage()
 370     elif len(sys.argv) < 2:
 371         sys.stderr.write("at least one non-option argument required; "
 372                          "use --help for help\n")
 373         sys.exit(1)
 374     else:
 375         extract_ofp_errors(sys.argv[1:])