The Tor Browser / file revision

 #!/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)