kc3-lang/harfbuzz/src/gen-indic-table.py

• Show log

  Commit

• Hash : ae4a2b93
  Author :
  Date : 2012-04-10T16:25:08
  

  Generate fallback Arabic shaping table
  
  Not hooked up yet.
  

Download

• src/gen-indic-table.py

• #!/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 "#ifndef HB_OT_SHAPE_COMPLEX_INDIC_TABLE_HH"
  print "#define HB_OT_SHAPE_COMPLEX_INDIC_TABLE_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 "static INDIC_TABLE_ELEMENT_TYPE"
  print "get_indic_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 "#endif /* HB_OT_SHAPE_COMPLEX_INDIC_TABLE_HH */"
  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)
  

Download