src/gen-indic-table.py

   1 #!/usr/bin/python
   2
   3 import sys
   4
   5 if len (sys.argv) != 4:
   6         print >>sys.stderr, "usage: ./gen-indic-table.py IndicSyllabicCategory.txt IndicMatraCategory.txt Blocks.txt"
   7         sys.exit (1)
   8
   9 files = [file (x) for x in sys.argv[1:]]
  10
  11 headers = [[f.readline () for i in range (2)] for f in files]
  12
  13 blocks = {}
  14 data = [{} for f in files]
  15 values = [{} for f in files]
  16 for i, f in enumerate (files):
  17         for line in f:
  18
  19                 j = line.find ('#')
  20                 if j >= 0:
  21                         line = line[:j]
  22
  23                 fields = [x.strip () for x in line.split (';')]
  24                 if len (fields) == 1:
  25                         continue
  26
  27                 uu = fields[0].split ('..')
  28                 start = int (uu[0], 16)
  29                 if len (uu) == 1:
  30                         end = start
  31                 else:
  32                         end = int (uu[1], 16)
  33
  34                 t = fields[1]
  35
  36                 for u in range (start, end + 1):
  37                         data[i][u] = t
  38                 values[i][t] = values[i].get (t, 0) + 1
  39
  40                 if i == 2:
  41                         blocks[t] = (start, end)
  42
  43 # Merge data into one dict:
  44 defaults = ('Other', 'Not_Applicable', 'No_Block')
  45 for i,v in enumerate (defaults):
  46         values[i][v] = values[i].get (v, 0) + 1
  47 combined = {}
  48 for i,d in enumerate (data):
  49         for u,v in d.items ():
  50                 if i == 2 and not u in combined:
  51                         continue
  52                 if not u in combined:
  53                         combined[u] = list (defaults)
  54                 combined[u][i] = v
  55 data = combined
  56 del combined
  57 num = len (data)
  58
  59 # Move the outliers NO-BREAK SPACE and DOTTED CIRCLE out
  60 singles = {}
  61 for u in [0x00A0, 0x25CC]:
  62         singles[u] = data[u]
  63         del data[u]
  64
  65 print "/* == Start of generated table == */"
  66 print "/*"
  67 print " * The following table is generated by running:"
  68 print " *"
  69 print " *   ./gen-indic-table.py IndicSyllabicCategory.txt IndicMatraCategory.txt Blocks.txt"
  70 print " *"
  71 print " * on files with these headers:"
  72 print " *"
  73 for h in headers:
  74         for l in h:
  75                 print " * %s" % (l.strip())
  76 print " */"
  77 print
  78 print "#ifndef HB_OT_SHAPE_COMPLEX_INDIC_TABLE_HH"
  79 print "#define HB_OT_SHAPE_COMPLEX_INDIC_TABLE_HH"
  80 print
  81
  82 # Shorten values
  83 short = [{
  84         "Bindu":                'Bi',
  85         "Visarga":              'Vs',
  86         "Vowel":                'Vo',
  87         "Vowel_Dependent":      'M',
  88         "Other":                'x',
  89 },{
  90         "Not_Applicable":       'x',
  91 }]
  92 all_shorts = [[],[]]
  93
  94 # Add some of the values, to make them more readable, and to avoid duplicates
  95
  96
  97 for i in range (2):
  98         for v,s in short[i].items ():
  99                 all_shorts[i].append (s)
 100
 101 what = ["INDIC_SYLLABIC_CATEGORY", "INDIC_MATRA_CATEGORY"]
 102 what_short = ["ISC", "IMC"]
 103 for i in range (2):
 104         print
 105         vv = values[i].keys ()
 106         vv.sort ()
 107         for v in vv:
 108                 v_no_and = v.replace ('_And_', '_')
 109                 if v in short[i]:
 110                         s = short[i][v]
 111                 else:
 112                         s = ''.join ([c for c in v_no_and if ord ('A') <= ord (c) <= ord ('Z')])
 113                         if s in all_shorts[i]:
 114                                 raise Exception ("Duplicate short value alias", v, s)
 115                         all_shorts[i].append (s)
 116                         short[i][v] = s
 117                 print "#define %s_%s    %s_%s   %s/* %3d chars; %s */" % \
 118                         (what_short[i], s, what[i], v.upper (), \
 119                         '       '* ((48-1 - len (what[i]) - 1 - len (v)) / 8), \
 120                         values[i][v], v)
 121 print
 122 print "#define _(S,M) INDIC_COMBINE_CATEGORIES (ISC_##S, IMC_##M)"
 123 print
 124 print
 125
 126 total = 0
 127 used = 0
 128 def print_block (block, start, end, data):
 129         print
 130         print
 131         print "  /* %s  (%04X..%04X) */" % (block, start, end)
 132         num = 0
 133         for u in range (start, end+1):
 134                 if u % 8 == 0:
 135                         print
 136                         print "  /* %04X */" % u,
 137                 if u in data:
 138                         num += 1
 139                 d = data.get (u, defaults)
 140                 sys.stdout.write ("%9s" % ("_(%s,%s)," % (short[0][d[0]], short[1][d[1]])))
 141
 142         global total, used
 143         total += end - start + 1
 144         used += num
 145
 146 uu = data.keys ()
 147 uu.sort ()
 148
 149 last = -1
 150 num = 0
 151 offset = 0
 152 starts = []
 153 ends = []
 154 print "static const INDIC_TABLE_ELEMENT_TYPE indic_table[] = {"
 155 for u in uu:
 156         if u <= last:
 157                 continue
 158         block = data[u][2]
 159         (start, end) = blocks[block]
 160
 161         if start != last + 1:
 162                 if start - last <= 33:
 163                         print_block ("FILLER", last+1, start-1, data)
 164                         last = start-1
 165                 else:
 166                         if last >= 0:
 167                                 ends.append (last + 1)
 168                                 offset += ends[-1] - starts[-1]
 169                         print
 170                         print
 171                         print "#define indic_offset_0x%04x %d" % (start, offset)
 172                         starts.append (start)
 173
 174         print_block (block, start, end, data)
 175         last = end
 176 ends.append (last + 1)
 177 offset += ends[-1] - starts[-1]
 178 print
 179 print
 180 print "#define indic_offset_total %d" % offset
 181 print
 182 occupancy = used * 100. / total
 183 print "}; /* Table occupancy: %d%% */" % occupancy
 184 print
 185 print "static INDIC_TABLE_ELEMENT_TYPE"
 186 print "get_indic_categories (hb_codepoint_t u)"
 187 print "{"
 188 for (start,end) in zip (starts, ends):
 189         offset = "indic_offset_0x%04x" % start
 190         print "  if (0x%04X <= u && u <= 0x%04X) return indic_table[u - 0x%04X + %s];" % (start, end, start, offset)
 191 for u,d in singles.items ():
 192         print "  if (unlikely (u == 0x%04X)) return _(%s,%s);" % (u, short[0][d[0]], short[1][d[1]])
 193 print "  return _(x,x);"
 194 print "}"
 195 print
 196 print "#undef _"
 197 for i in range (2):
 198         print
 199         vv = values[i].keys ()
 200         vv.sort ()
 201         for v in vv:
 202                 print "#undef %s_%s" % \
 203                         (what_short[i], short[i][v])
 204 print
 205 print "#endif /* HB_OT_SHAPE_COMPLEX_INDIC_TABLE_HH */"
 206 print
 207 print "/* == End of generated table == */"
 208
 209 # Maintain at least 30% occupancy in the table */
 210 if occupancy < 30:
 211         raise Exception ("Table too sparse, please investigate: ", occupancy)