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

[Miles Bader]

CVSROOT:        /cvsroot/emacs
Module name:    emacs
Changes by:     Miles Bader <miles>     08/02/01 16:01:31

Index: admin/charsets/gb180304.awk
===================================================================
RCS file: admin/charsets/gb180304.awk
diff -N admin/charsets/gb180304.awk
--- /dev/null   1 Jan 1970 00:00:00 -0000
+++ admin/charsets/gb180304.awk 1 Feb 2008 16:01:00 -0000       1.2
@@ -0,0 +1,104 @@
+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;
+       }
+    }
+}
+
+# arch-tag: 8e5a22ae-610e-411f-ae17-d6e528b30d71