The Tor Browser: gfx/harfbuzz/src/gen-indic-table.py@b8a032363ba2 (annotated)

gfx/harfbuzz/src/gen-indic-table.py@b8a032363ba2 (annotated)

gfx/harfbuzz/src/gen-indic-table.py

Thu, 22 Jan 2015 13:21:57 +0100

author: Michael Schloh von Bennewitz <michael@schloh.com>
date: Thu, 22 Jan 2015 13:21:57 +0100
branch: TOR_BUG_9701
changeset 15: b8a032363ba2
permissions: -rwxr-xr-x

Incorporate requested changes from Mozilla in review:
https://bugzilla.mozilla.org/show_bug.cgi?id=1123480#c6

 #!/usr/bin/python
 import sys
 if len (sys.argv) != 4:
 	print >>sys.stderr, "usage: ./gen-indic-table.py IndicSyllabicCategory.txt IndicMatraCategory.txt Blocks.txt"
 	sys.exit (1)
 files = [file (x) for x in sys.argv[1:]]
 headers = [[f.readline () for i in range (2)] for f in files]
 blocks = {}
 data = [{} for f in files]
 values = [{} for f in files]
 for i, f in enumerate (files):
 	for line in f:
 		j = line.find ('#')
 		if j >= 0:
 			line = line[:j]
 		fields = [x.strip () for x in line.split (';')]
 		if len (fields) == 1:
 			continue
 		uu = fields[0].split ('..')
 		start = int (uu[0], 16)
 		if len (uu) == 1:
 			end = start
 		else:
 			end = int (uu[1], 16)
 		t = fields[1]
 		for u in range (start, end + 1):
 			data[i][u] = t
 		values[i][t] = values[i].get (t, 0) + 1
 		if i == 2:
 			blocks[t] = (start, end)
 # Merge data into one dict:
 defaults = ('Other', 'Not_Applicable', 'No_Block')
 for i,v in enumerate (defaults):
 	values[i][v] = values[i].get (v, 0) + 1
 combined = {}
 for i,d in enumerate (data):
 	for u,v in d.items ():
 		if i == 2 and not u in combined:
 			continue
 		if not u in combined:
 			combined[u] = list (defaults)
 		combined[u][i] = v
 data = combined
 del combined
 num = len (data)
 # Move the outliers NO-BREAK SPACE and DOTTED CIRCLE out
 singles = {}
 for u in [0x00A0, 0x25CC]:
 	singles[u] = data[u]
 	del data[u]
 print "/* == Start of generated table == */"
 print "/*"
 print " * The following table is generated by running:"
 print " *"
 print " *   ./gen-indic-table.py IndicSyllabicCategory.txt IndicMatraCategory.txt Blocks.txt"
 print " *"
 print " * on files with these headers:"
 print " *"
 for h in headers:
 	for l in h:
 		print " * %s" % (l.strip())
 print " */"
 print
 print '#include "hb-ot-shape-complex-indic-private.hh"'
 print
 # Shorten values
 short = [{
 	"Bindu":		'Bi',
 	"Visarga":		'Vs',
 	"Vowel":		'Vo',
 	"Vowel_Dependent":	'M',
 	"Other":		'x',
 },{
 	"Not_Applicable":	'x',
 }]
 all_shorts = [[],[]]
 # Add some of the values, to make them more readable, and to avoid duplicates
 for i in range (2):
 	for v,s in short[i].items ():
 		all_shorts[i].append (s)
 what = ["INDIC_SYLLABIC_CATEGORY", "INDIC_MATRA_CATEGORY"]
 what_short = ["ISC", "IMC"]
 for i in range (2):
 	print
 	vv = values[i].keys ()
 	vv.sort ()
 	for v in vv:
 		v_no_and = v.replace ('_And_', '_')
 		if v in short[i]:
 			s = short[i][v]
 		else:
 			s = ''.join ([c for c in v_no_and if ord ('A') <= ord (c) <= ord ('Z')])
 			if s in all_shorts[i]:
 				raise Exception ("Duplicate short value alias", v, s)
 			all_shorts[i].append (s)
 			short[i][v] = s
 		print "#define %s_%s	%s_%s	%s/* %3d chars; %s */" % \
 			(what_short[i], s, what[i], v.upper (), \
 			'	'* ((48-1 - len (what[i]) - 1 - len (v)) / 8), \
 			values[i][v], v)
 print
 print "#define _(S,M) INDIC_COMBINE_CATEGORIES (ISC_##S, IMC_##M)"
 print
 print
 total = 0
 used = 0
 def print_block (block, start, end, data):
 	print
 	print
 	print "  /* %s  (%04X..%04X) */" % (block, start, end)
 	num = 0
 	for u in range (start, end+1):
 		if u % 8 == 0:
 			print
 			print "  /* %04X */" % u,
 		if u in data:
 			num += 1
 		d = data.get (u, defaults)
 		sys.stdout.write ("%9s" % ("_(%s,%s)," % (short[0][d[0]], short[1][d[1]])))
 	global total, used
 	total += end - start + 1
 	used += num
 uu = data.keys ()
 uu.sort ()
 last = -1
 num = 0
 offset = 0
 starts = []
 ends = []
 print "static const INDIC_TABLE_ELEMENT_TYPE indic_table[] = {"
 for u in uu:
 	if u <= last:
 		continue
 	block = data[u][2]
 	(start, end) = blocks[block]
 	if start != last + 1:
 		if start - last <= 33:
 			print_block ("FILLER", last+1, start-1, data)
 			last = start-1
 		else:
 			if last >= 0:
 				ends.append (last + 1)
 				offset += ends[-1] - starts[-1]
 			print
 			print
 			print "#define indic_offset_0x%04x %d" % (start, offset)
 			starts.append (start)
 	print_block (block, start, end, data)
 	last = end
 ends.append (last + 1)
 offset += ends[-1] - starts[-1]
 print
 print
 print "#define indic_offset_total %d" % offset
 print
 occupancy = used * 100. / total
 print "}; /* Table occupancy: %d%% */" % occupancy
 print
 print "INDIC_TABLE_ELEMENT_TYPE"
 print "hb_indic_get_categories (hb_codepoint_t u)"
 print "{"
 for (start,end) in zip (starts, ends):
 	offset = "indic_offset_0x%04x" % start
 	print "  if (0x%04X <= u && u <= 0x%04X) return indic_table[u - 0x%04X + %s];" % (start, end, start, offset)
 for u,d in singles.items ():
 	print "  if (unlikely (u == 0x%04X)) return _(%s,%s);" % (u, short[0][d[0]], short[1][d[1]])
 print "  return _(x,x);"
 print "}"
 print
 print "#undef _"
 for i in range (2):
 	print
 	vv = values[i].keys ()
 	vv.sort ()
 	for v in vv:
 		print "#undef %s_%s" % \
 			(what_short[i], short[i][v])
 print
 print "/* == End of generated table == */"
 # Maintain at least 30% occupancy in the table */
 if occupancy < 30:
 	raise Exception ("Table too sparse, please investigate: ", occupancy)

The Tor Browser / annotate

gfx/harfbuzz/src/gen-indic-table.py@b8a032363ba2 (annotated)

gfx/harfbuzz/src/gen-indic-table.py