Damien George | 55baff4 | 2014-01-21 21:40:13 +0000 | [diff] [blame] | 1 | import argparse |
| 2 | import re |
Damien George | fdf0da5 | 2014-03-08 15:03:25 +0000 | [diff] [blame] | 3 | import sys |
Damien George | 1976bae | 2014-01-24 22:22:00 +0000 | [diff] [blame] | 4 | |
| 5 | # codepoint2name is different in Python 2 to Python 3 |
| 6 | import platform |
| 7 | if platform.python_version_tuple()[0] == '2': |
| 8 | from htmlentitydefs import codepoint2name |
| 9 | elif platform.python_version_tuple()[0] == '3': |
| 10 | from html.entities import codepoint2name |
Damien George | 55baff4 | 2014-01-21 21:40:13 +0000 | [diff] [blame] | 11 | |
Damien George | a71c83a | 2014-02-15 11:34:50 +0000 | [diff] [blame] | 12 | # add some custom names to map characters that aren't in HTML |
| 13 | codepoint2name[ord('.')] = 'dot' |
Paul Sokolovsky | 4aee119 | 2014-02-18 00:06:37 +0200 | [diff] [blame] | 14 | codepoint2name[ord(':')] = 'colon' |
| 15 | codepoint2name[ord('/')] = 'slash' |
Damien George | a71c83a | 2014-02-15 11:34:50 +0000 | [diff] [blame] | 16 | |
Damien George | 55baff4 | 2014-01-21 21:40:13 +0000 | [diff] [blame] | 17 | # this must match the equivalent function in qstr.c |
| 18 | def compute_hash(qstr): |
| 19 | hash = 0 |
| 20 | for char in qstr: |
| 21 | hash += ord(char) |
| 22 | return hash & 0xffff |
| 23 | |
| 24 | def do_work(infiles): |
| 25 | # read the qstrs in from the input files |
Paul Sokolovsky | ab5d082 | 2014-01-24 00:22:00 +0200 | [diff] [blame] | 26 | qstrs = {} |
Damien George | 55baff4 | 2014-01-21 21:40:13 +0000 | [diff] [blame] | 27 | for infile in infiles: |
| 28 | with open(infile, 'rt') as f: |
| 29 | line_number = 0 |
| 30 | for line in f: |
| 31 | line_number += 1 |
| 32 | line = line.strip() |
| 33 | |
| 34 | # ignore blank lines and comments |
| 35 | if len(line) == 0 or line.startswith('//'): |
| 36 | continue |
| 37 | |
| 38 | # verify line is of the correct form |
Paul Sokolovsky | ab5d082 | 2014-01-24 00:22:00 +0200 | [diff] [blame] | 39 | match = re.match(r'Q\((.+)\)$', line) |
Damien George | 55baff4 | 2014-01-21 21:40:13 +0000 | [diff] [blame] | 40 | if not match: |
Damien George | fdf0da5 | 2014-03-08 15:03:25 +0000 | [diff] [blame] | 41 | print('({}:{}) bad qstr format, got {}'.format(infile, line_number, line), file=sys.stderr) |
Damien George | 55baff4 | 2014-01-21 21:40:13 +0000 | [diff] [blame] | 42 | return False |
| 43 | |
| 44 | # get the qstr value |
| 45 | qstr = match.group(1) |
Paul Sokolovsky | ab5d082 | 2014-01-24 00:22:00 +0200 | [diff] [blame] | 46 | ident = re.sub(r'[^A-Za-z0-9_]', lambda s: "_" + codepoint2name[ord(s.group(0))] + "_", qstr) |
Damien George | 55baff4 | 2014-01-21 21:40:13 +0000 | [diff] [blame] | 47 | |
| 48 | # don't add duplicates |
Paul Sokolovsky | ab5d082 | 2014-01-24 00:22:00 +0200 | [diff] [blame] | 49 | if ident in qstrs: |
Damien George | 55baff4 | 2014-01-21 21:40:13 +0000 | [diff] [blame] | 50 | continue |
| 51 | |
Damien George | 1976bae | 2014-01-24 22:22:00 +0000 | [diff] [blame] | 52 | # add the qstr to the list, with order number to retain original order in file |
| 53 | qstrs[ident] = (len(qstrs), ident, qstr) |
Damien George | 55baff4 | 2014-01-21 21:40:13 +0000 | [diff] [blame] | 54 | |
| 55 | # process the qstrs, printing out the generated C header file |
| 56 | print('// This file was automatically generated by makeqstrdata.py') |
Dave Hylands | 7a996b1 | 2014-01-21 15:28:27 -0800 | [diff] [blame] | 57 | print('') |
Damien George | 1976bae | 2014-01-24 22:22:00 +0000 | [diff] [blame] | 58 | for order, ident, qstr in sorted(qstrs.values(), key=lambda x: x[0]): |
Damien George | 55baff4 | 2014-01-21 21:40:13 +0000 | [diff] [blame] | 59 | qhash = compute_hash(qstr) |
| 60 | qlen = len(qstr) |
Paul Sokolovsky | ab5d082 | 2014-01-24 00:22:00 +0200 | [diff] [blame] | 61 | print('Q({}, (const byte*)"\\x{:02x}\\x{:02x}\\x{:02x}\\x{:02x}" "{}")'.format(ident, qhash & 0xff, (qhash >> 8) & 0xff, qlen & 0xff, (qlen >> 8) & 0xff, qstr)) |
Damien George | 55baff4 | 2014-01-21 21:40:13 +0000 | [diff] [blame] | 62 | |
| 63 | return True |
| 64 | |
| 65 | def main(): |
| 66 | arg_parser = argparse.ArgumentParser(description='Process raw qstr file and output qstr data with length, hash and data bytes') |
| 67 | arg_parser.add_argument('files', nargs='+', help='input file(s)') |
| 68 | args = arg_parser.parse_args() |
| 69 | |
| 70 | result = do_work(args.files) |
| 71 | if not result: |
Damien George | fdf0da5 | 2014-03-08 15:03:25 +0000 | [diff] [blame] | 72 | print('exiting with error code', file=sys.stderr) |
Damien George | 55baff4 | 2014-01-21 21:40:13 +0000 | [diff] [blame] | 73 | exit(1) |
| 74 | |
| 75 | if __name__ == "__main__": |
| 76 | main() |