diff options
author | Behdad Esfahbod <behdad@behdad.org> | 2014-06-20 16:20:59 -0400 |
---|---|---|
committer | Behdad Esfahbod <behdad@behdad.org> | 2014-06-20 16:20:59 -0400 |
commit | 200dfe3eb10feda2ad25940338b08011f4757ca4 (patch) | |
tree | 9326ee1c9987005d54060d3d0d6b0c50406f3e8f /src/gen-arabic-table.py | |
parent | 3f5327a41efcf50f64d9498ef3dfd6875ef6a5ab (diff) |
[arabic-table] Use short names for values
No functional change.
Diffstat (limited to 'src/gen-arabic-table.py')
-rwxr-xr-x | src/gen-arabic-table.py | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/src/gen-arabic-table.py b/src/gen-arabic-table.py index 534f560c..28f10f78 100755 --- a/src/gen-arabic-table.py +++ b/src/gen-arabic-table.py @@ -61,6 +61,16 @@ def print_joining_table(f): value = "JOINING_TYPE_" + fields[2] values[u] = (value, fields) + short_value = {} + for value in set([v[0] for v in values.values()] + ['JOINING_TYPE_X']): + short = ''.join(x[0] for x in value.split('_')[2:]) + assert short not in short_value.values() + short_value[value] = short + + print + for value,short in short_value.items(): + print "#define %s %s" % (short, value) + keys = values.keys() min_u = min(keys) max_u = max(keys) @@ -76,7 +86,7 @@ def print_joining_table(f): print "\n /* %s */\n" % block last_block = block - print " %s, /* %s */" % (value, '; '.join(fields)) + print " %s, /* %s */" % (short_value[value], '; '.join(fields)) print print "};" print @@ -89,6 +99,10 @@ def print_joining_table(f): if occupancy < 40: raise Exception ("Table too sparse, please investigate: ", occupancy) + for value,short in short_value.items(): + print "#undef %s" % (short) + print + def print_shaping_table(f): shapes = {} |