[Emacs-diffs] Changes to emacs/admin/charsets/gb180304.awk [emacs-unicode-2]

[Kenichi Handa]

Index: emacs/admin/charsets/gb180304.awk
diff -c /dev/null emacs/admin/charsets/gb180304.awk:1.1.2.1
*** /dev/null   Mon Sep  8 07:56:12 2003
--- emacs/admin/charsets/gb180304.awk   Mon Sep  8 07:56:09 2003
***************
*** 0 ****
--- 1,102 ----
+ BEGIN {
+   tohex["A"] = 10;
+   tohex["B"] = 11;
+   tohex["C"] = 12;
+   tohex["D"] = 13;
+   tohex["E"] = 14;
+   tohex["F"] = 15;
+   tohex["a"] = 10;
+   tohex["b"] = 11;
+   tohex["c"] = 12;
+   tohex["d"] = 13;
+   tohex["e"] = 14;
+   tohex["f"] = 15;
+ }
+ 
+ function decode_hex(str) {
+   n = 0;
+   len = length(str);
+   for (i = 1; i <= len; i++)
+     {
+       c = substr (str, i, 1);
+       if (c >= "0" && c <= "9")
+       n = n * 16 + (c - "0");
+       else
+       n = n * 16 + tohex[c];
+     }
+   return n;
+ }
+ 
+ function gb_to_index(gb) {
+   b0 = int(gb / 256);
+   b1 = gb % 256;
+   idx = (((b0 - 129)) * 191 + b1 - 64); 
+ #  if (b1 >= 127)
+ #    idx--;
+   return idx
+ }
+ 
+ function index_to_gb(idx) {
+   b3 = (idx % 10) + 48;
+   idx = int(idx / 10);
+   b2 = (idx % 126) + 129;
+   idx = int(idx / 126);
+   b1 = (idx % 10) + 48;
+   b0 = int(idx / 10) + 129;
+   return sprintf("%02X%02X%02X%02X", b0, b1, b2, b3);
+ }
+ 
+ /^\#/ {
+   print;
+   next;
+ }
+ 
+ /0x....-0x..../ {
+   gb_from = gb_to_index(decode_hex(substr($1, 3, 4)));
+   gb_to = gb_to_index(decode_hex(substr($1, 10, 4)));
+   unicode = decode_hex(substr($2, 3, 4));
+   while (gb_from <= gb_to)
+     {
+       table[unicode++] = 1;
+       gb_from++;
+     }
+   next;
+ }
+ 
+ {
+   gb = decode_hex(substr($1, 3, 4));
+   unicode = decode_hex(substr($2, 3, 4));
+   table[unicode] = 1;
+ }
+ 
+ END {
+   from_gb = -1;
+   to_gb = 0;
+   from_i = 0;
+   table[65536] = 1;
+   for (i = 128; i <= 65536; i++)
+     {
+       if (table[i] == 0)
+       {
+         if (i < 55296 || i >= 57344)
+           {
+             if (from_gb < 0)
+               {
+                 from_gb = to_gb;
+                 from_i = i;
+               }
+             to_gb++;
+           }
+       }
+       else if (from_gb >= 0)
+       {
+         if (from_gb + 1 == to_gb)
+           printf "0x%s\t\t0x%04X\n",
+             index_to_gb(from_gb), from_i;
+         else
+           printf "0x%s-0x%s\t0x%04X\n",
+             index_to_gb(from_gb), index_to_gb(to_gb - 1), from_i;
+         from_gb = -1;
+       }
+     }
+ }