Damien George | 26b512e | 2015-05-30 23:11:16 +0100 | [diff] [blame] | 1 | """ |
| 2 | Process raw qstr file and output qstr data with length, hash and data bytes. |
| 3 | |
| 4 | This script works with Python 2.6, 2.7, 3.3 and 3.4. |
| 5 | """ |
| 6 | |
Dave Hylands | 0308f96 | 2014-03-10 00:07:35 -0700 | [diff] [blame] | 7 | from __future__ import print_function |
| 8 | |
Damien George | 55baff4 | 2014-01-21 21:40:13 +0000 | [diff] [blame] | 9 | import re |
Damien George | fdf0da5 | 2014-03-08 15:03:25 +0000 | [diff] [blame] | 10 | import sys |
Damien George | 1976bae | 2014-01-24 22:22:00 +0000 | [diff] [blame] | 11 | |
| 12 | # codepoint2name is different in Python 2 to Python 3 |
| 13 | import platform |
| 14 | if platform.python_version_tuple()[0] == '2': |
| 15 | from htmlentitydefs import codepoint2name |
| 16 | elif platform.python_version_tuple()[0] == '3': |
| 17 | from html.entities import codepoint2name |
Paul Sokolovsky | 73b7027 | 2014-04-13 05:28:46 +0300 | [diff] [blame] | 18 | codepoint2name[ord('-')] = 'hyphen'; |
Damien George | 55baff4 | 2014-01-21 21:40:13 +0000 | [diff] [blame] | 19 | |
Damien George | a71c83a | 2014-02-15 11:34:50 +0000 | [diff] [blame] | 20 | # add some custom names to map characters that aren't in HTML |
Damien George | 56e1f99 | 2015-01-11 14:16:24 +0000 | [diff] [blame] | 21 | codepoint2name[ord(' ')] = 'space' |
| 22 | codepoint2name[ord('\'')] = 'squot' |
| 23 | codepoint2name[ord(',')] = 'comma' |
Damien George | a71c83a | 2014-02-15 11:34:50 +0000 | [diff] [blame] | 24 | codepoint2name[ord('.')] = 'dot' |
Paul Sokolovsky | 4aee119 | 2014-02-18 00:06:37 +0200 | [diff] [blame] | 25 | codepoint2name[ord(':')] = 'colon' |
| 26 | codepoint2name[ord('/')] = 'slash' |
Damien George | 5805111 | 2014-04-15 12:42:52 +0100 | [diff] [blame] | 27 | codepoint2name[ord('%')] = 'percent' |
Damien George | b013aea | 2014-04-15 12:50:21 +0100 | [diff] [blame] | 28 | codepoint2name[ord('#')] = 'hash' |
Damien George | 56e1f99 | 2015-01-11 14:16:24 +0000 | [diff] [blame] | 29 | codepoint2name[ord('(')] = 'paren_open' |
| 30 | codepoint2name[ord(')')] = 'paren_close' |
| 31 | codepoint2name[ord('[')] = 'bracket_open' |
| 32 | codepoint2name[ord(']')] = 'bracket_close' |
Damien George | 897fe0c | 2014-04-15 22:03:55 +0100 | [diff] [blame] | 33 | codepoint2name[ord('{')] = 'brace_open' |
| 34 | codepoint2name[ord('}')] = 'brace_close' |
Damien George | 708c073 | 2014-04-27 19:23:46 +0100 | [diff] [blame] | 35 | codepoint2name[ord('*')] = 'star' |
Damien George | 56e1f99 | 2015-01-11 14:16:24 +0000 | [diff] [blame] | 36 | codepoint2name[ord('!')] = 'bang' |
Paul Sokolovsky | f88eec0 | 2015-04-02 01:09:24 +0300 | [diff] [blame] | 37 | codepoint2name[ord('\\')] = 'backslash' |
Damien George | a71c83a | 2014-02-15 11:34:50 +0000 | [diff] [blame] | 38 | |
Damien George | 55baff4 | 2014-01-21 21:40:13 +0000 | [diff] [blame] | 39 | # this must match the equivalent function in qstr.c |
Damien George | c3bd941 | 2015-07-20 11:03:13 +0000 | [diff] [blame] | 40 | def compute_hash(qstr, bytes_hash): |
Damien George | 6e628c4 | 2014-03-25 15:27:15 +0000 | [diff] [blame] | 41 | hash = 5381 |
Damien George | 55baff4 | 2014-01-21 21:40:13 +0000 | [diff] [blame] | 42 | for char in qstr: |
Damien George | 6e628c4 | 2014-03-25 15:27:15 +0000 | [diff] [blame] | 43 | hash = (hash * 33) ^ ord(char) |
Chris Angelico | de09caa | 2014-06-07 06:55:27 +1000 | [diff] [blame] | 44 | # Make sure that valid hash is never zero, zero means "hash not computed" |
Damien George | c3bd941 | 2015-07-20 11:03:13 +0000 | [diff] [blame] | 45 | return (hash & ((1 << (8 * bytes_hash)) - 1)) or 1 |
Damien George | 55baff4 | 2014-01-21 21:40:13 +0000 | [diff] [blame] | 46 | |
| 47 | def do_work(infiles): |
| 48 | # read the qstrs in from the input files |
Damien George | 6942f80 | 2015-01-11 17:52:45 +0000 | [diff] [blame] | 49 | qcfgs = {} |
Paul Sokolovsky | ab5d082 | 2014-01-24 00:22:00 +0200 | [diff] [blame] | 50 | qstrs = {} |
Damien George | 55baff4 | 2014-01-21 21:40:13 +0000 | [diff] [blame] | 51 | for infile in infiles: |
| 52 | with open(infile, 'rt') as f: |
Damien George | 55baff4 | 2014-01-21 21:40:13 +0000 | [diff] [blame] | 53 | for line in f: |
Damien George | 6942f80 | 2015-01-11 17:52:45 +0000 | [diff] [blame] | 54 | line = line.strip() |
| 55 | |
| 56 | # is this a config line? |
| 57 | match = re.match(r'^QCFG\((.+), (.+)\)', line) |
| 58 | if match: |
| 59 | value = match.group(2) |
| 60 | if value[0] == '(' and value[-1] == ')': |
| 61 | # strip parenthesis from config value |
| 62 | value = value[1:-1] |
| 63 | qcfgs[match.group(1)] = value |
| 64 | continue |
| 65 | |
stijn | 1dc7f04 | 2014-05-02 21:10:47 +0200 | [diff] [blame] | 66 | # is this a QSTR line? |
Damien George | 6942f80 | 2015-01-11 17:52:45 +0000 | [diff] [blame] | 67 | match = re.match(r'^Q\((.*)\)$', line) |
stijn | 1dc7f04 | 2014-05-02 21:10:47 +0200 | [diff] [blame] | 68 | if not match: |
Damien George | 5bb7d99 | 2014-04-13 13:16:51 +0100 | [diff] [blame] | 69 | continue |
Damien George | 55baff4 | 2014-01-21 21:40:13 +0000 | [diff] [blame] | 70 | |
| 71 | # get the qstr value |
| 72 | qstr = match.group(1) |
Paul Sokolovsky | ab5d082 | 2014-01-24 00:22:00 +0200 | [diff] [blame] | 73 | 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] | 74 | |
| 75 | # don't add duplicates |
Paul Sokolovsky | ab5d082 | 2014-01-24 00:22:00 +0200 | [diff] [blame] | 76 | if ident in qstrs: |
Damien George | 55baff4 | 2014-01-21 21:40:13 +0000 | [diff] [blame] | 77 | continue |
| 78 | |
Damien George | 1976bae | 2014-01-24 22:22:00 +0000 | [diff] [blame] | 79 | # add the qstr to the list, with order number to retain original order in file |
Paul Sokolovsky | 6ea0e92 | 2014-04-11 20:36:08 +0300 | [diff] [blame] | 80 | qstrs[ident] = (len(qstrs), ident, qstr) |
Damien George | 55baff4 | 2014-01-21 21:40:13 +0000 | [diff] [blame] | 81 | |
Damien George | 95836f8 | 2015-01-11 22:27:30 +0000 | [diff] [blame] | 82 | # get config variables |
| 83 | cfg_bytes_len = int(qcfgs['BYTES_IN_LEN']) |
Damien George | c3bd941 | 2015-07-20 11:03:13 +0000 | [diff] [blame] | 84 | cfg_bytes_hash = int(qcfgs['BYTES_IN_HASH']) |
Damien George | 95836f8 | 2015-01-11 22:27:30 +0000 | [diff] [blame] | 85 | cfg_max_len = 1 << (8 * cfg_bytes_len) |
| 86 | |
Paul Sokolovsky | 3a2fb20 | 2015-07-31 14:57:36 +0300 | [diff] [blame^] | 87 | # print out the starter of the generated C header file |
Damien George | 55baff4 | 2014-01-21 21:40:13 +0000 | [diff] [blame] | 88 | print('// This file was automatically generated by makeqstrdata.py') |
Dave Hylands | 7a996b1 | 2014-01-21 15:28:27 -0800 | [diff] [blame] | 89 | print('') |
Damien George | 95836f8 | 2015-01-11 22:27:30 +0000 | [diff] [blame] | 90 | |
Damien George | 6942f80 | 2015-01-11 17:52:45 +0000 | [diff] [blame] | 91 | # add NULL qstr with no hash or data |
Damien George | c3bd941 | 2015-07-20 11:03:13 +0000 | [diff] [blame] | 92 | print('QDEF(MP_QSTR_NULL, (const byte*)"%s%s" "")' % ('\\x00' * cfg_bytes_hash, '\\x00' * cfg_bytes_len)) |
Damien George | 95836f8 | 2015-01-11 22:27:30 +0000 | [diff] [blame] | 93 | |
| 94 | # go through each qstr and print it out |
Paul Sokolovsky | 6ea0e92 | 2014-04-11 20:36:08 +0300 | [diff] [blame] | 95 | for order, ident, qstr in sorted(qstrs.values(), key=lambda x: x[0]): |
Damien George | c3bd941 | 2015-07-20 11:03:13 +0000 | [diff] [blame] | 96 | qhash = compute_hash(qstr, cfg_bytes_hash) |
Paul Sokolovsky | f88eec0 | 2015-04-02 01:09:24 +0300 | [diff] [blame] | 97 | # Calculate len of str, taking escapes into account |
| 98 | qlen = len(qstr.replace("\\\\", "-").replace("\\", "")) |
Damien George | 56e1f99 | 2015-01-11 14:16:24 +0000 | [diff] [blame] | 99 | qdata = qstr.replace('"', '\\"') |
Damien George | 95836f8 | 2015-01-11 22:27:30 +0000 | [diff] [blame] | 100 | if qlen >= cfg_max_len: |
| 101 | print('qstr is too long:', qstr) |
| 102 | assert False |
Damien George | 99ab64f | 2015-01-11 22:40:38 +0000 | [diff] [blame] | 103 | qlen_str = ('\\x%02x' * cfg_bytes_len) % tuple(((qlen >> (8 * i)) & 0xff) for i in range(cfg_bytes_len)) |
Damien George | c3bd941 | 2015-07-20 11:03:13 +0000 | [diff] [blame] | 104 | qhash_str = ('\\x%02x' * cfg_bytes_hash) % tuple(((qhash >> (8 * i)) & 0xff) for i in range(cfg_bytes_hash)) |
| 105 | print('QDEF(MP_QSTR_%s, (const byte*)"%s%s" "%s")' % (ident, qhash_str, qlen_str, qdata)) |
Damien George | 55baff4 | 2014-01-21 21:40:13 +0000 | [diff] [blame] | 106 | |
Damien George | 55baff4 | 2014-01-21 21:40:13 +0000 | [diff] [blame] | 107 | if __name__ == "__main__": |
Damien George | 26b512e | 2015-05-30 23:11:16 +0100 | [diff] [blame] | 108 | do_work(sys.argv[1:]) |