(JSP-5368): Separate JX1-7A24.
[chise/xemacs-chise.git.1] / src / chartab.c
1 /* XEmacs routines to deal with char tables.
2    Copyright (C) 1992, 1995 Free Software Foundation, Inc.
3    Copyright (C) 1995 Sun Microsystems, Inc.
4    Copyright (C) 1995, 1996 Ben Wing.
5    Copyright (C) 1995, 1997, 1999 Electrotechnical Laboratory, JAPAN.
6    Licensed to the Free Software Foundation.
7    Copyright (C) 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2008,
8      2010, 2011 MORIOKA Tomohiko
9
10 This file is part of XEmacs.
11
12 XEmacs is free software; you can redistribute it and/or modify it
13 under the terms of the GNU General Public License as published by the
14 Free Software Foundation; either version 2, or (at your option) any
15 later version.
16
17 XEmacs is distributed in the hope that it will be useful, but WITHOUT
18 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
19 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
20 for more details.
21
22 You should have received a copy of the GNU General Public License
23 along with XEmacs; see the file COPYING.  If not, write to
24 the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
25 Boston, MA 02111-1307, USA.  */
26
27 /* Synched up with: Mule 2.3.  Not synched with FSF.
28
29    This file was written independently of the FSF implementation,
30    and is not compatible. */
31
32 /* Authorship:
33
34    Ben Wing: wrote, for 19.13 (Mule).  Some category table stuff
35              loosely based on the original Mule.
36    Jareth Hein: fixed a couple of bugs in the implementation, and
37              added regex support for categories with check_category_at
38    MORIOKA Tomohiko: Rewritten for XEmacs CHISE
39  */
40
41 #include <config.h>
42 #include "lisp.h"
43
44 #include "buffer.h"
45 #include "chartab.h"
46 #include "syntax.h"
47 #ifdef UTF2000
48 #include "elhash.h"
49 #endif /* UTF2000 */
50
51 Lisp_Object Qchar_tablep, Qchar_table;
52
53 Lisp_Object Vall_syntax_tables;
54
55 #ifdef MULE
56 Lisp_Object Qcategory_table_p;
57 Lisp_Object Qcategory_designator_p;
58 Lisp_Object Qcategory_table_value_p;
59
60 Lisp_Object Vstandard_category_table;
61
62 /* Variables to determine word boundary.  */
63 Lisp_Object Vword_combining_categories, Vword_separating_categories;
64 #endif /* MULE */
65
66 \f
67 #ifdef HAVE_LIBCHISE
68 Lisp_Object Vchise_db_directory;
69 Lisp_Object Vchise_system_db_directory;
70
71 CHISE_DS *default_chise_data_source = NULL;
72 #endif
73
74 #ifdef UTF2000
75
76 EXFUN (Fchar_refs_simplify_char_specs, 1);
77 extern Lisp_Object Qideographic_structure;
78
79 Lisp_Object Vnext_defined_char_id;
80
81 EXFUN (Fmap_char_attribute, 3);
82
83 #ifdef HAVE_LIBCHISE
84 EXFUN (Fmount_char_attribute_table, 1);
85 #endif
86
87 #ifdef HAVE_CHISE
88 EXFUN (Fload_char_attribute_table, 1);
89
90 Lisp_Object Vchar_db_stingy_mode;
91 #endif
92
93 #define BT_UINT8_MIN            0
94 #define BT_UINT8_MAX            (UCHAR_MAX - 4)
95 #define BT_UINT8_t              (UCHAR_MAX - 3)
96 #define BT_UINT8_nil            (UCHAR_MAX - 2)
97 #define BT_UINT8_unbound        (UCHAR_MAX - 1)
98 #define BT_UINT8_unloaded       UCHAR_MAX
99
100 INLINE_HEADER int INT_UINT8_P (Lisp_Object obj);
101 INLINE_HEADER int UINT8_VALUE_P (Lisp_Object obj);
102 INLINE_HEADER unsigned char UINT8_ENCODE (Lisp_Object obj);
103 INLINE_HEADER Lisp_Object UINT8_DECODE (unsigned char n);
104 INLINE_HEADER unsigned short UINT8_TO_UINT16 (unsigned char n);
105
106 INLINE_HEADER int
107 INT_UINT8_P (Lisp_Object obj)
108 {
109   if (INTP (obj))
110     {
111       int num = XINT (obj);
112
113       return (BT_UINT8_MIN <= num) && (num <= BT_UINT8_MAX);
114     }
115   else
116     return 0;
117 }
118
119 INLINE_HEADER int
120 UINT8_VALUE_P (Lisp_Object obj)
121 {
122   return EQ (obj, Qunloaded) || EQ (obj, Qunbound)
123     || EQ (obj, Qnil) || EQ (obj, Qt) || INT_UINT8_P (obj);
124 }
125
126 INLINE_HEADER unsigned char
127 UINT8_ENCODE (Lisp_Object obj)
128 {
129   if (EQ (obj, Qunloaded))
130     return BT_UINT8_unloaded;
131   else if (EQ (obj, Qunbound))
132     return BT_UINT8_unbound;
133   else if (EQ (obj, Qnil))
134     return BT_UINT8_nil;
135   else if (EQ (obj, Qt))
136     return BT_UINT8_t;
137   else
138     return XINT (obj);
139 }
140
141 INLINE_HEADER Lisp_Object
142 UINT8_DECODE (unsigned char n)
143 {
144   if (n == BT_UINT8_unloaded)
145     return Qunloaded;
146   else if (n == BT_UINT8_unbound)
147     return Qunbound;
148   else if (n == BT_UINT8_nil)
149     return Qnil;
150   else if (n == BT_UINT8_t)
151     return Qt;
152   else
153     return make_int (n);
154 }
155
156 static Lisp_Object
157 mark_uint8_byte_table (Lisp_Object obj)
158 {
159   return Qnil;
160 }
161
162 static void
163 print_uint8_byte_table (Lisp_Object obj,
164                         Lisp_Object printcharfun, int escapeflag)
165 {
166   Lisp_Uint8_Byte_Table *bte = XUINT8_BYTE_TABLE (obj);
167   int i;
168   struct gcpro gcpro1, gcpro2;
169   GCPRO2 (obj, printcharfun);
170
171   write_c_string ("\n#<uint8-byte-table", printcharfun);
172   for (i = 0; i < 256; i++)
173     {
174       unsigned char n = bte->property[i];
175       if ( (i & 15) == 0 )
176         write_c_string ("\n  ", printcharfun);
177       write_c_string (" ", printcharfun);
178       if (n == BT_UINT8_unbound)
179         write_c_string ("void", printcharfun);
180       else if (n == BT_UINT8_nil)
181         write_c_string ("nil", printcharfun);
182       else if (n == BT_UINT8_t)
183         write_c_string ("t", printcharfun);
184       else
185         {
186           char buf[4];
187
188           sprintf (buf, "%hd", n);
189           write_c_string (buf, printcharfun);
190         }
191     }
192   UNGCPRO;
193   write_c_string (">", printcharfun);
194 }
195
196 static int
197 uint8_byte_table_equal (Lisp_Object obj1, Lisp_Object obj2, int depth)
198 {
199   Lisp_Uint8_Byte_Table *te1 = XUINT8_BYTE_TABLE (obj1);
200   Lisp_Uint8_Byte_Table *te2 = XUINT8_BYTE_TABLE (obj2);
201   int i;
202
203   for (i = 0; i < 256; i++)
204     if (te1->property[i] != te2->property[i])
205       return 0;
206   return 1;
207 }
208
209 static unsigned long
210 uint8_byte_table_hash (Lisp_Object obj, int depth)
211 {
212   Lisp_Uint8_Byte_Table *te = XUINT8_BYTE_TABLE (obj);
213   int i;
214   hashcode_t hash = 0;
215
216   for (i = 0; i < 256; i++)
217     hash = HASH2 (hash, te->property[i]);
218   return hash;
219 }
220
221 static const struct lrecord_description uint8_byte_table_description[] = {
222   { XD_END }
223 };
224
225 DEFINE_LRECORD_IMPLEMENTATION ("uint8-byte-table", uint8_byte_table,
226                                mark_uint8_byte_table,
227                                print_uint8_byte_table,
228                                0, uint8_byte_table_equal,
229                                uint8_byte_table_hash,
230                                uint8_byte_table_description,
231                                Lisp_Uint8_Byte_Table);
232
233 static Lisp_Object
234 make_uint8_byte_table (unsigned char initval)
235 {
236   Lisp_Object obj;
237   int i;
238   Lisp_Uint8_Byte_Table *cte;
239
240   cte = alloc_lcrecord_type (Lisp_Uint8_Byte_Table,
241                              &lrecord_uint8_byte_table);
242
243   for (i = 0; i < 256; i++)
244     cte->property[i] = initval;
245
246   XSETUINT8_BYTE_TABLE (obj, cte);
247   return obj;
248 }
249
250 static Lisp_Object
251 copy_uint8_byte_table (Lisp_Object entry)
252 {
253   Lisp_Uint8_Byte_Table *cte = XUINT8_BYTE_TABLE (entry);
254   Lisp_Object obj;
255   int i;
256   Lisp_Uint8_Byte_Table *ctenew
257     = alloc_lcrecord_type (Lisp_Uint8_Byte_Table,
258                            &lrecord_uint8_byte_table);
259
260   for (i = 0; i < 256; i++)
261     {
262       ctenew->property[i] = cte->property[i];
263     }
264
265   XSETUINT8_BYTE_TABLE (obj, ctenew);
266   return obj;
267 }
268
269 static int
270 uint8_byte_table_same_value_p (Lisp_Object obj)
271 {
272   Lisp_Uint8_Byte_Table *bte = XUINT8_BYTE_TABLE (obj);
273   unsigned char v0 = bte->property[0];
274   int i;
275
276   for (i = 1; i < 256; i++)
277     {
278       if (bte->property[i] != v0)
279         return 0;
280     }
281   return -1;
282 }
283
284 static int
285 map_over_uint8_byte_table (Lisp_Uint8_Byte_Table *ct, Lisp_Char_Table* root,
286                            Emchar ofs, int place,
287                            int (*fn) (struct chartab_range *range,
288                                       Lisp_Object val, void *arg),
289                            void *arg)
290 {
291   struct chartab_range rainj;
292   int i, retval;
293   int unit = 1 << (8 * place);
294   Emchar c = ofs;
295   Emchar c1;
296
297   rainj.type = CHARTAB_RANGE_CHAR;
298
299   for (i = 0, retval = 0; i < 256 && retval == 0; i++)
300     {
301       if (ct->property[i] == BT_UINT8_unloaded)
302         {
303 #if 0
304           c1 = c + unit;
305           for (; c < c1 && retval == 0; c++)
306             {
307               Lisp_Object ret = get_char_id_table (root, c);
308
309               if (!UNBOUNDP (ret))
310                 {
311                   rainj.ch = c;
312                   retval = (fn) (&rainj, ret, arg);
313                 }
314             }
315 #else
316           ct->property[i] = BT_UINT8_unbound;
317           c += unit;
318 #endif
319         }
320       else if (ct->property[i] != BT_UINT8_unbound)
321         {
322           c1 = c + unit;
323           for (; c < c1 && retval == 0; c++)
324             {
325               rainj.ch = c;
326               retval = (fn) (&rainj, UINT8_DECODE (ct->property[i]), arg);
327             }
328         }
329       else
330         c += unit;
331     }
332   return retval;
333 }
334
335 #ifdef HAVE_CHISE
336 static void
337 save_uint8_byte_table (Lisp_Uint8_Byte_Table *ct, Lisp_Char_Table* root,
338 #ifdef HAVE_LIBCHISE
339                        CHISE_Feature feature,
340 #else
341                        Lisp_Object db,
342 #endif
343                        Emchar ofs, int place,
344                        Lisp_Object (*filter)(Lisp_Object value))
345 {
346   struct chartab_range rainj;
347   int i, retval;
348   int unit = 1 << (8 * place);
349   Emchar c = ofs;
350   Emchar c1;
351
352   rainj.type = CHARTAB_RANGE_CHAR;
353
354   for (i = 0, retval = 0; i < 256 && retval == 0; i++)
355     {
356       if (ct->property[i] == BT_UINT8_unloaded)
357         {
358           c += unit;
359         }
360       else if (ct->property[i] != BT_UINT8_unbound)
361         {
362           c1 = c + unit;
363           for (; c < c1 && retval == 0; c++)
364             {
365 #ifdef HAVE_LIBCHISE
366               chise_char_set_feature_value
367                 (c, feature,
368                  XSTRING_DATA
369                  (Fprin1_to_string (UINT8_DECODE (ct->property[i]),
370                                     Qnil)));
371 #else
372               Fput_database (Fprin1_to_string (make_char (c), Qnil),
373                              Fprin1_to_string (UINT8_DECODE (ct->property[i]),
374                                                Qnil),
375                              db, Qt);
376 #endif
377             }
378         }
379       else
380         c += unit;
381     }
382 }
383 #endif
384
385 #define BT_UINT16_MIN           0
386 #define BT_UINT16_MAX           (USHRT_MAX - 4)
387 #define BT_UINT16_t             (USHRT_MAX - 3)
388 #define BT_UINT16_nil           (USHRT_MAX - 2)
389 #define BT_UINT16_unbound       (USHRT_MAX - 1)
390 #define BT_UINT16_unloaded      USHRT_MAX
391
392 INLINE_HEADER int INT_UINT16_P (Lisp_Object obj);
393 INLINE_HEADER int UINT16_VALUE_P (Lisp_Object obj);
394 INLINE_HEADER unsigned short UINT16_ENCODE (Lisp_Object obj);
395 INLINE_HEADER Lisp_Object UINT16_DECODE (unsigned short us);
396
397 INLINE_HEADER int
398 INT_UINT16_P (Lisp_Object obj)
399 {
400   if (INTP (obj))
401     {
402       int num = XINT (obj);
403
404       return (BT_UINT16_MIN <= num) && (num <= BT_UINT16_MAX);
405     }
406   else
407     return 0;
408 }
409
410 INLINE_HEADER int
411 UINT16_VALUE_P (Lisp_Object obj)
412 {
413   return EQ (obj, Qunloaded) || EQ (obj, Qunbound)
414     || EQ (obj, Qnil) || EQ (obj, Qt) || INT_UINT16_P (obj);
415 }
416
417 INLINE_HEADER unsigned short
418 UINT16_ENCODE (Lisp_Object obj)
419 {
420   if (EQ (obj, Qunloaded))
421     return BT_UINT16_unloaded;
422   else if (EQ (obj, Qunbound))
423     return BT_UINT16_unbound;
424   else if (EQ (obj, Qnil))
425     return BT_UINT16_nil;
426   else if (EQ (obj, Qt))
427     return BT_UINT16_t;
428   else
429     return XINT (obj);
430 }
431
432 INLINE_HEADER Lisp_Object
433 UINT16_DECODE (unsigned short n)
434 {
435   if (n == BT_UINT16_unloaded)
436     return Qunloaded;
437   else if (n == BT_UINT16_unbound)
438     return Qunbound;
439   else if (n == BT_UINT16_nil)
440     return Qnil;
441   else if (n == BT_UINT16_t)
442     return Qt;
443   else
444     return make_int (n);
445 }
446
447 INLINE_HEADER unsigned short
448 UINT8_TO_UINT16 (unsigned char n)
449 {
450   if (n == BT_UINT8_unloaded)
451     return BT_UINT16_unloaded;
452   else if (n == BT_UINT8_unbound)
453     return BT_UINT16_unbound;
454   else if (n == BT_UINT8_nil)
455     return BT_UINT16_nil;
456   else if (n == BT_UINT8_t)
457     return BT_UINT16_t;
458   else
459     return n;
460 }
461
462 static Lisp_Object
463 mark_uint16_byte_table (Lisp_Object obj)
464 {
465   return Qnil;
466 }
467
468 static void
469 print_uint16_byte_table (Lisp_Object obj,
470                          Lisp_Object printcharfun, int escapeflag)
471 {
472   Lisp_Uint16_Byte_Table *bte = XUINT16_BYTE_TABLE (obj);
473   int i;
474   struct gcpro gcpro1, gcpro2;
475   GCPRO2 (obj, printcharfun);
476
477   write_c_string ("\n#<uint16-byte-table", printcharfun);
478   for (i = 0; i < 256; i++)
479     {
480       unsigned short n = bte->property[i];
481       if ( (i & 15) == 0 )
482         write_c_string ("\n  ", printcharfun);
483       write_c_string (" ", printcharfun);
484       if (n == BT_UINT16_unbound)
485         write_c_string ("void", printcharfun);
486       else if (n == BT_UINT16_nil)
487         write_c_string ("nil", printcharfun);
488       else if (n == BT_UINT16_t)
489         write_c_string ("t", printcharfun);
490       else
491         {
492           char buf[7];
493
494           sprintf (buf, "%hd", n);
495           write_c_string (buf, printcharfun);
496         }
497     }
498   UNGCPRO;
499   write_c_string (">", printcharfun);
500 }
501
502 static int
503 uint16_byte_table_equal (Lisp_Object obj1, Lisp_Object obj2, int depth)
504 {
505   Lisp_Uint16_Byte_Table *te1 = XUINT16_BYTE_TABLE (obj1);
506   Lisp_Uint16_Byte_Table *te2 = XUINT16_BYTE_TABLE (obj2);
507   int i;
508
509   for (i = 0; i < 256; i++)
510     if (te1->property[i] != te2->property[i])
511       return 0;
512   return 1;
513 }
514
515 static unsigned long
516 uint16_byte_table_hash (Lisp_Object obj, int depth)
517 {
518   Lisp_Uint16_Byte_Table *te = XUINT16_BYTE_TABLE (obj);
519   int i;
520   hashcode_t hash = 0;
521
522   for (i = 0; i < 256; i++)
523     hash = HASH2 (hash, te->property[i]);
524   return hash;
525 }
526
527 static const struct lrecord_description uint16_byte_table_description[] = {
528   { XD_END }
529 };
530
531 DEFINE_LRECORD_IMPLEMENTATION ("uint16-byte-table", uint16_byte_table,
532                                mark_uint16_byte_table,
533                                print_uint16_byte_table,
534                                0, uint16_byte_table_equal,
535                                uint16_byte_table_hash,
536                                uint16_byte_table_description,
537                                Lisp_Uint16_Byte_Table);
538
539 static Lisp_Object
540 make_uint16_byte_table (unsigned short initval)
541 {
542   Lisp_Object obj;
543   int i;
544   Lisp_Uint16_Byte_Table *cte;
545
546   cte = alloc_lcrecord_type (Lisp_Uint16_Byte_Table,
547                              &lrecord_uint16_byte_table);
548
549   for (i = 0; i < 256; i++)
550     cte->property[i] = initval;
551
552   XSETUINT16_BYTE_TABLE (obj, cte);
553   return obj;
554 }
555
556 static Lisp_Object
557 copy_uint16_byte_table (Lisp_Object entry)
558 {
559   Lisp_Uint16_Byte_Table *cte = XUINT16_BYTE_TABLE (entry);
560   Lisp_Object obj;
561   int i;
562   Lisp_Uint16_Byte_Table *ctenew
563     = alloc_lcrecord_type (Lisp_Uint16_Byte_Table,
564                            &lrecord_uint16_byte_table);
565
566   for (i = 0; i < 256; i++)
567     {
568       ctenew->property[i] = cte->property[i];
569     }
570
571   XSETUINT16_BYTE_TABLE (obj, ctenew);
572   return obj;
573 }
574
575 static Lisp_Object
576 expand_uint8_byte_table_to_uint16 (Lisp_Object table)
577 {
578   Lisp_Object obj;
579   int i;
580   Lisp_Uint8_Byte_Table* bte = XUINT8_BYTE_TABLE(table);
581   Lisp_Uint16_Byte_Table* cte;
582
583   cte = alloc_lcrecord_type (Lisp_Uint16_Byte_Table,
584                              &lrecord_uint16_byte_table);
585   for (i = 0; i < 256; i++)
586     {
587       cte->property[i] = UINT8_TO_UINT16 (bte->property[i]);
588     }
589   XSETUINT16_BYTE_TABLE (obj, cte);
590   return obj;
591 }
592
593 static int
594 uint16_byte_table_same_value_p (Lisp_Object obj)
595 {
596   Lisp_Uint16_Byte_Table *bte = XUINT16_BYTE_TABLE (obj);
597   unsigned short v0 = bte->property[0];
598   int i;
599
600   for (i = 1; i < 256; i++)
601     {
602       if (bte->property[i] != v0)
603         return 0;
604     }
605   return -1;
606 }
607
608 static int
609 map_over_uint16_byte_table (Lisp_Uint16_Byte_Table *ct, Lisp_Char_Table* root,
610                             Emchar ofs, int place,
611                             int (*fn) (struct chartab_range *range,
612                                        Lisp_Object val, void *arg),
613                             void *arg)
614 {
615   struct chartab_range rainj;
616   int i, retval;
617   int unit = 1 << (8 * place);
618   Emchar c = ofs;
619   Emchar c1;
620
621   rainj.type = CHARTAB_RANGE_CHAR;
622
623   for (i = 0, retval = 0; i < 256 && retval == 0; i++)
624     {
625       if (ct->property[i] == BT_UINT16_unloaded)
626         {
627 #if 0
628           c1 = c + unit;
629           for (; c < c1 && retval == 0; c++)
630             {
631               Lisp_Object ret = get_char_id_table (root, c);
632
633               if (!UNBOUNDP (ret))
634                 {
635                   rainj.ch = c;
636                   retval = (fn) (&rainj, ret, arg);
637                 }
638             }
639 #else
640           ct->property[i] = BT_UINT16_unbound;
641           c += unit;
642 #endif
643         }
644       else if (ct->property[i] != BT_UINT16_unbound)
645         {
646           c1 = c + unit;
647           for (; c < c1 && retval == 0; c++)
648             {
649               rainj.ch = c;
650               retval = (fn) (&rainj, UINT16_DECODE (ct->property[i]), arg);
651             }
652         }
653       else
654         c += unit;
655     }
656   return retval;
657 }
658
659 #ifdef HAVE_CHISE
660 static void
661 save_uint16_byte_table (Lisp_Uint16_Byte_Table *ct, Lisp_Char_Table* root,
662 #ifdef HAVE_LIBCHISE
663                         CHISE_Feature feature,
664 #else
665                         Lisp_Object db,
666 #endif
667                         Emchar ofs, int place,
668                         Lisp_Object (*filter)(Lisp_Object value))
669 {
670   struct chartab_range rainj;
671   int i, retval;
672   int unit = 1 << (8 * place);
673   Emchar c = ofs;
674   Emchar c1;
675
676   rainj.type = CHARTAB_RANGE_CHAR;
677
678   for (i = 0, retval = 0; i < 256 && retval == 0; i++)
679     {
680       if (ct->property[i] == BT_UINT16_unloaded)
681         {
682           c += unit;
683         }
684       else if (ct->property[i] != BT_UINT16_unbound)
685         {
686           c1 = c + unit;
687           for (; c < c1 && retval == 0; c++)
688             {
689 #ifdef HAVE_LIBCHISE
690               chise_char_set_feature_value
691                 (c, feature,
692                  XSTRING_DATA
693                  (Fprin1_to_string (UINT16_DECODE (ct->property[i]),
694                                     Qnil)));
695 #else
696               Fput_database (Fprin1_to_string (make_char (c), Qnil),
697                              Fprin1_to_string (UINT16_DECODE (ct->property[i]),
698                                                Qnil),
699                              db, Qt);
700 #endif
701             }
702         }
703       else
704         c += unit;
705     }
706 }
707 #endif
708
709
710 static Lisp_Object
711 mark_byte_table (Lisp_Object obj)
712 {
713   Lisp_Byte_Table *cte = XBYTE_TABLE (obj);
714   int i;
715
716   for (i = 0; i < 256; i++)
717     {
718       mark_object (cte->property[i]);
719     }
720   return Qnil;
721 }
722
723 static void
724 print_byte_table (Lisp_Object obj, Lisp_Object printcharfun, int escapeflag)
725 {
726   Lisp_Byte_Table *bte = XBYTE_TABLE (obj);
727   int i;
728   struct gcpro gcpro1, gcpro2;
729   GCPRO2 (obj, printcharfun);
730
731   write_c_string ("\n#<byte-table", printcharfun);
732   for (i = 0; i < 256; i++)
733     {
734       Lisp_Object elt = bte->property[i];
735       if ( (i & 15) == 0 )
736         write_c_string ("\n  ", printcharfun);
737       write_c_string (" ", printcharfun);
738       if (EQ (elt, Qunbound))
739         write_c_string ("void", printcharfun);
740       else
741         print_internal (elt, printcharfun, escapeflag);
742     }
743   UNGCPRO;
744   write_c_string (">", printcharfun);
745 }
746
747 static int
748 byte_table_equal (Lisp_Object obj1, Lisp_Object obj2, int depth)
749 {
750   Lisp_Byte_Table *cte1 = XBYTE_TABLE (obj1);
751   Lisp_Byte_Table *cte2 = XBYTE_TABLE (obj2);
752   int i;
753
754   for (i = 0; i < 256; i++)
755     if (BYTE_TABLE_P (cte1->property[i]))
756       {
757         if (BYTE_TABLE_P (cte2->property[i]))
758           {
759             if (!byte_table_equal (cte1->property[i],
760                                    cte2->property[i], depth + 1))
761               return 0;
762           }
763         else
764           return 0;
765       }
766     else
767       if (!internal_equal (cte1->property[i], cte2->property[i], depth + 1))
768         return 0;
769   return 1;
770 }
771
772 static unsigned long
773 byte_table_hash (Lisp_Object obj, int depth)
774 {
775   Lisp_Byte_Table *cte = XBYTE_TABLE (obj);
776
777   return internal_array_hash (cte->property, 256, depth);
778 }
779
780 static const struct lrecord_description byte_table_description[] = {
781   { XD_LISP_OBJECT_ARRAY, offsetof(Lisp_Byte_Table, property), 256 },
782   { XD_END }
783 };
784
785 DEFINE_LRECORD_IMPLEMENTATION ("byte-table", byte_table,
786                                mark_byte_table,
787                                print_byte_table,
788                                0, byte_table_equal,
789                                byte_table_hash,
790                                byte_table_description,
791                                Lisp_Byte_Table);
792
793 static Lisp_Object
794 make_byte_table (Lisp_Object initval)
795 {
796   Lisp_Object obj;
797   int i;
798   Lisp_Byte_Table *cte;
799
800   cte = alloc_lcrecord_type (Lisp_Byte_Table, &lrecord_byte_table);
801
802   for (i = 0; i < 256; i++)
803     cte->property[i] = initval;
804
805   XSETBYTE_TABLE (obj, cte);
806   return obj;
807 }
808
809 static Lisp_Object
810 copy_byte_table (Lisp_Object entry)
811 {
812   Lisp_Byte_Table *cte = XBYTE_TABLE (entry);
813   Lisp_Object obj;
814   int i;
815   Lisp_Byte_Table *ctnew
816     = alloc_lcrecord_type (Lisp_Byte_Table, &lrecord_byte_table);
817
818   for (i = 0; i < 256; i++)
819     {
820       if (UINT8_BYTE_TABLE_P (cte->property[i]))
821         {
822           ctnew->property[i] = copy_uint8_byte_table (cte->property[i]);
823         }
824       else if (UINT16_BYTE_TABLE_P (cte->property[i]))
825         {
826           ctnew->property[i] = copy_uint16_byte_table (cte->property[i]);
827         }
828       else if (BYTE_TABLE_P (cte->property[i]))
829         {
830           ctnew->property[i] = copy_byte_table (cte->property[i]);
831         }
832       else
833         ctnew->property[i] = cte->property[i];
834     }
835
836   XSETBYTE_TABLE (obj, ctnew);
837   return obj;
838 }
839
840 static int
841 byte_table_same_value_p (Lisp_Object obj)
842 {
843   Lisp_Byte_Table *bte = XBYTE_TABLE (obj);
844   Lisp_Object v0 = bte->property[0];
845   int i;
846
847   for (i = 1; i < 256; i++)
848     {
849       if (!internal_equal (bte->property[i], v0, 0))
850         return 0;
851     }
852   return -1;
853 }
854
855 static int
856 map_over_byte_table (Lisp_Byte_Table *ct, Lisp_Char_Table* root,
857                      Emchar ofs, int place,
858                      int (*fn) (struct chartab_range *range,
859                                 Lisp_Object val, void *arg),
860                      void *arg)
861 {
862   int i, retval;
863   Lisp_Object v;
864   int unit = 1 << (8 * place);
865   Emchar c = ofs;
866
867   for (i = 0, retval = 0; i < 256 && retval == 0; i++)
868     {
869       v = ct->property[i];
870       if (UINT8_BYTE_TABLE_P (v))
871         {
872           retval
873             = map_over_uint8_byte_table (XUINT8_BYTE_TABLE(v), root,
874                                          c, place - 1, fn, arg);
875           c += unit;
876         }
877       else if (UINT16_BYTE_TABLE_P (v))
878         {
879           retval
880             = map_over_uint16_byte_table (XUINT16_BYTE_TABLE(v), root,
881                                           c, place - 1, fn, arg);
882           c += unit;
883         }
884       else if (BYTE_TABLE_P (v))
885         {
886           retval = map_over_byte_table (XBYTE_TABLE(v), root,
887                                         c, place - 1, fn, arg);
888           c += unit;
889         }
890       else if (EQ (v, Qunloaded))
891         {
892 #if 0
893           struct chartab_range rainj;
894           Emchar c1 = c + unit;
895
896           rainj.type = CHARTAB_RANGE_CHAR;
897
898           for (; c < c1 && retval == 0; c++)
899             {
900               Lisp_Object ret = get_char_id_table (root, c);
901
902               if (!UNBOUNDP (ret))
903                 {
904                   rainj.ch = c;
905                   retval = (fn) (&rainj, ret, arg);
906                 }
907             }
908 #else
909           ct->property[i] = Qunbound;
910           c += unit;
911 #endif
912         }
913       else if (!UNBOUNDP (v))
914         {
915           struct chartab_range rainj;
916           Emchar c1 = c + unit;
917
918           rainj.type = CHARTAB_RANGE_CHAR;
919
920           for (; c < c1 && retval == 0; c++)
921             {
922               rainj.ch = c;
923               retval = (fn) (&rainj, v, arg);
924             }
925         }
926       else
927         c += unit;
928     }
929   return retval;
930 }
931
932 #ifdef HAVE_CHISE
933 static void
934 save_byte_table (Lisp_Byte_Table *ct, Lisp_Char_Table* root,
935 #ifdef HAVE_LIBCHISE
936                  CHISE_Feature feature,
937 #else
938                  Lisp_Object db,
939 #endif
940                  Emchar ofs, int place,
941                  Lisp_Object (*filter)(Lisp_Object value))
942 {
943   int i, retval;
944   Lisp_Object v;
945   int unit = 1 << (8 * place);
946   Emchar c = ofs;
947
948   for (i = 0, retval = 0; i < 256 && retval == 0; i++)
949     {
950       v = ct->property[i];
951       if (UINT8_BYTE_TABLE_P (v))
952         {
953           save_uint8_byte_table (XUINT8_BYTE_TABLE(v), root,
954 #ifdef HAVE_LIBCHISE
955                                  feature,
956 #else
957                                  db,
958 #endif
959                                  c, place - 1, filter);
960           c += unit;
961         }
962       else if (UINT16_BYTE_TABLE_P (v))
963         {
964           save_uint16_byte_table (XUINT16_BYTE_TABLE(v), root,
965 #ifdef HAVE_LIBCHISE
966                                   feature,
967 #else
968                                   db,
969 #endif
970                                   c, place - 1, filter);
971           c += unit;
972         }
973       else if (BYTE_TABLE_P (v))
974         {
975           save_byte_table (XBYTE_TABLE(v), root,
976 #ifdef HAVE_LIBCHISE
977                            feature,
978 #else
979                            db,
980 #endif
981                            c, place - 1, filter);
982           c += unit;
983         }
984       else if (EQ (v, Qunloaded))
985         {
986           c += unit;
987         }
988       else if (!UNBOUNDP (v))
989         {
990           struct chartab_range rainj;
991           Emchar c1 = c + unit;
992
993           if (filter != NULL)
994             v = (*filter)(v);
995
996           rainj.type = CHARTAB_RANGE_CHAR;
997
998           for (; c < c1 && retval == 0; c++)
999             {
1000 #ifdef HAVE_LIBCHISE
1001               chise_char_set_feature_value
1002                 (c, feature, XSTRING_DATA (Fprin1_to_string (v, Qnil)));
1003 #else
1004               Fput_database (Fprin1_to_string (make_char (c), Qnil),
1005                              Fprin1_to_string (v, Qnil),
1006                              db, Qt);
1007 #endif
1008             }
1009         }
1010       else
1011         c += unit;
1012     }
1013 }
1014 #endif
1015
1016 Lisp_Object
1017 get_byte_table (Lisp_Object table, unsigned char idx)
1018 {
1019   if (UINT8_BYTE_TABLE_P (table))
1020     return UINT8_DECODE (XUINT8_BYTE_TABLE(table)->property[idx]);
1021   else if (UINT16_BYTE_TABLE_P (table))
1022     return UINT16_DECODE (XUINT16_BYTE_TABLE(table)->property[idx]);
1023   else if (BYTE_TABLE_P (table))
1024     return XBYTE_TABLE(table)->property[idx];
1025   else
1026     return table;
1027 }
1028
1029 Lisp_Object
1030 put_byte_table (Lisp_Object table, unsigned char idx, Lisp_Object value)
1031 {
1032   if (UINT8_BYTE_TABLE_P (table))
1033     {
1034       if (UINT8_VALUE_P (value))
1035         {
1036           XUINT8_BYTE_TABLE(table)->property[idx] = UINT8_ENCODE (value);
1037           if (!UINT8_BYTE_TABLE_P (value) &&
1038               !UINT16_BYTE_TABLE_P (value) && !BYTE_TABLE_P (value)
1039               && uint8_byte_table_same_value_p (table))
1040             {
1041               return value;
1042             }
1043         }
1044       else if (UINT16_VALUE_P (value))
1045         {
1046           Lisp_Object new = expand_uint8_byte_table_to_uint16 (table);
1047
1048           XUINT16_BYTE_TABLE(new)->property[idx] = UINT16_ENCODE (value);
1049           return new;
1050         }
1051       else
1052         {
1053           Lisp_Object new = make_byte_table (Qnil);
1054           int i;
1055
1056           for (i = 0; i < 256; i++)
1057             {
1058               XBYTE_TABLE(new)->property[i]
1059                 = UINT8_DECODE (XUINT8_BYTE_TABLE(table)->property[i]);
1060             }
1061           XBYTE_TABLE(new)->property[idx] = value;
1062           return new;
1063         }
1064     }
1065   else if (UINT16_BYTE_TABLE_P (table))
1066     {
1067       if (UINT16_VALUE_P (value))
1068         {
1069           XUINT16_BYTE_TABLE(table)->property[idx] = UINT16_ENCODE (value);
1070           if (!UINT8_BYTE_TABLE_P (value) &&
1071               !UINT16_BYTE_TABLE_P (value) && !BYTE_TABLE_P (value)
1072               && uint16_byte_table_same_value_p (table))
1073             {
1074               return value;
1075             }
1076         }
1077       else
1078         {
1079           Lisp_Object new = make_byte_table (Qnil);
1080           int i;
1081
1082           for (i = 0; i < 256; i++)
1083             {
1084               XBYTE_TABLE(new)->property[i]
1085                 = UINT16_DECODE (XUINT16_BYTE_TABLE(table)->property[i]);
1086             }
1087           XBYTE_TABLE(new)->property[idx] = value;
1088           return new;
1089         }
1090     }
1091   else if (BYTE_TABLE_P (table))
1092     {
1093       XBYTE_TABLE(table)->property[idx] = value;
1094       if (!UINT8_BYTE_TABLE_P (value) &&
1095           !UINT16_BYTE_TABLE_P (value) && !BYTE_TABLE_P (value)
1096           && byte_table_same_value_p (table))
1097         {
1098           return value;
1099         }
1100     }
1101   else if (!internal_equal (table, value, 0))
1102     {
1103       if (UINT8_VALUE_P (table) && UINT8_VALUE_P (value))
1104         {
1105           table = make_uint8_byte_table (UINT8_ENCODE (table));
1106           XUINT8_BYTE_TABLE(table)->property[idx] = UINT8_ENCODE (value);
1107         }
1108       else if (UINT16_VALUE_P (table) && UINT16_VALUE_P (value))
1109         {
1110           table = make_uint16_byte_table (UINT16_ENCODE (table));
1111           XUINT16_BYTE_TABLE(table)->property[idx] = UINT16_ENCODE (value);
1112         }
1113       else
1114         {
1115           table = make_byte_table (table);
1116           XBYTE_TABLE(table)->property[idx] = value;
1117         }
1118     }
1119   return table;
1120 }
1121
1122
1123 Lisp_Object
1124 make_char_id_table (Lisp_Object initval)
1125 {
1126   Lisp_Object obj;
1127   obj = Fmake_char_table (Qgeneric);
1128   fill_char_table (XCHAR_TABLE (obj), initval);
1129   return obj;
1130 }
1131
1132
1133 Lisp_Object Qcomposition;
1134 Lisp_Object Qrep_decomposition;
1135 Lisp_Object Qto_decomposition_at_superscript;
1136 Lisp_Object Qto_decomposition_at_circled;
1137 Lisp_Object Q_canonical;
1138 Lisp_Object Q_halfwidth_of;
1139 Lisp_Object Q_superscript_of;
1140 Lisp_Object Q_subscript_of;
1141 Lisp_Object Q_circled_of;
1142 Lisp_Object Q_decomposition;
1143 Lisp_Object Q_identical;
1144 Lisp_Object Q_identical_from;
1145 Lisp_Object Q_denotational;
1146 Lisp_Object Q_denotational_from;
1147 Lisp_Object Q_subsumptive;
1148 Lisp_Object Q_subsumptive_from;
1149 Lisp_Object Q_component;
1150 Lisp_Object Q_component_of;
1151 Lisp_Object Qto_ucs;
1152 Lisp_Object Q_ucs_unified;
1153 Lisp_Object Qcompat;
1154 Lisp_Object Qisolated;
1155 Lisp_Object Qinitial;
1156 Lisp_Object Qmedial;
1157 Lisp_Object Qfinal;
1158 Lisp_Object Qvertical;
1159 Lisp_Object QnoBreak;
1160 Lisp_Object Qfraction;
1161 Lisp_Object Qsuper;
1162 Lisp_Object Qsub;
1163 Lisp_Object Qcircle;
1164 Lisp_Object Qsquare;
1165 Lisp_Object Qwide;
1166 Lisp_Object Qnarrow;
1167 Lisp_Object Qsmall;
1168 Lisp_Object Qfont;
1169
1170 Emchar to_char_id (Lisp_Object v, char* err_msg, Lisp_Object err_arg);
1171
1172 Emchar
1173 to_char_id (Lisp_Object v, char* err_msg, Lisp_Object err_arg)
1174 {
1175   if (INTP (v))
1176     return XINT (v);
1177   if (CHARP (v))
1178     return XCHAR (v);
1179   else if (EQ (v, Qcompat))
1180     return -1;
1181   else if (EQ (v, Qisolated))
1182     return -2;
1183   else if (EQ (v, Qinitial))
1184     return -3;
1185   else if (EQ (v, Qmedial))
1186     return -4;
1187   else if (EQ (v, Qfinal))
1188     return -5;
1189   else if (EQ (v, Qvertical))
1190     return -6;
1191   else if (EQ (v, QnoBreak))
1192     return -7;
1193   else if (EQ (v, Qfraction))
1194     return -8;
1195   else if (EQ (v, Qsuper))
1196     return -9;
1197   else if (EQ (v, Qsub))
1198     return -10;
1199   else if (EQ (v, Qcircle))
1200     return -11;
1201   else if (EQ (v, Qsquare))
1202     return -12;
1203   else if (EQ (v, Qwide))
1204     return -13;
1205   else if (EQ (v, Qnarrow))
1206     return -14;
1207   else if (EQ (v, Qsmall))
1208     return -15;
1209   else if (EQ (v, Qfont))
1210     return -16;
1211   else 
1212     signal_simple_error (err_msg, err_arg);
1213 }
1214
1215 DEFUN ("get-composite-char", Fget_composite_char, 1, 1, 0, /*
1216 Return character corresponding with list.
1217 */
1218        (list))
1219 {
1220   Lisp_Object base, modifier;
1221   Lisp_Object rest;
1222
1223   if (!CONSP (list))
1224     signal_simple_error ("Invalid value for composition", list);
1225   base = Fcar (list);
1226   rest = Fcdr (list);
1227   while (!NILP (rest))
1228     {
1229       if (!CHARP (base))
1230         return Qnil;
1231       if (!CONSP (rest))
1232         signal_simple_error ("Invalid value for composition", list);
1233       modifier = Fcar (rest);
1234       rest = Fcdr (rest);
1235       base = Fcdr (Fassq (modifier,
1236                           Fchar_feature (base, Qcomposition, Qnil,
1237                                          Qnil, Qnil)));
1238     }
1239   return base;
1240 }
1241
1242 DEFUN ("char-variants", Fchar_variants, 1, 1, 0, /*
1243 Return variants of CHARACTER.
1244 */
1245        (character))
1246 {
1247   CHECK_CHAR (character);
1248   return
1249     nconc2
1250     (Fcopy_list (Fget_char_attribute (character, Q_subsumptive, Qnil)),
1251      (nconc2
1252       (Fcopy_list (Fget_char_attribute (character, Q_denotational, Qnil)),
1253        (nconc2
1254         (Fcopy_list (Fget_char_attribute (character, Q_identical, Qnil)),
1255          Fcopy_list (Fchar_feature (character, Q_ucs_unified, Qnil,
1256                                     Qnil, Qnil)))))));
1257 }
1258
1259 #endif
1260
1261 \f
1262 /* A char table maps from ranges of characters to values.
1263
1264    Implementing a general data structure that maps from arbitrary
1265    ranges of numbers to values is tricky to do efficiently.  As it
1266    happens, it should suffice (and is usually more convenient, anyway)
1267    when dealing with characters to restrict the sorts of ranges that
1268    can be assigned values, as follows:
1269
1270    1) All characters.
1271    2) All characters in a charset.
1272    3) All characters in a particular row of a charset, where a "row"
1273       means all characters with the same first byte.
1274    4) A particular character in a charset.
1275
1276    We use char tables to generalize the 256-element vectors now
1277    littering the Emacs code.
1278
1279    Possible uses (all should be converted at some point):
1280
1281    1) category tables
1282    2) syntax tables
1283    3) display tables
1284    4) case tables
1285    5) keyboard-translate-table?
1286
1287    We provide an
1288    abstract type to generalize the Emacs vectors and Mule
1289    vectors-of-vectors goo.
1290    */
1291
1292 /************************************************************************/
1293 /*                         Char Table object                            */
1294 /************************************************************************/
1295
1296 #if defined(MULE)&&!defined(UTF2000)
1297
1298 static Lisp_Object
1299 mark_char_table_entry (Lisp_Object obj)
1300 {
1301   Lisp_Char_Table_Entry *cte = XCHAR_TABLE_ENTRY (obj);
1302   int i;
1303
1304   for (i = 0; i < 96; i++)
1305     {
1306       mark_object (cte->level2[i]);
1307     }
1308   return Qnil;
1309 }
1310
1311 static int
1312 char_table_entry_equal (Lisp_Object obj1, Lisp_Object obj2, int depth)
1313 {
1314   Lisp_Char_Table_Entry *cte1 = XCHAR_TABLE_ENTRY (obj1);
1315   Lisp_Char_Table_Entry *cte2 = XCHAR_TABLE_ENTRY (obj2);
1316   int i;
1317
1318   for (i = 0; i < 96; i++)
1319     if (!internal_equal (cte1->level2[i], cte2->level2[i], depth + 1))
1320       return 0;
1321
1322   return 1;
1323 }
1324
1325 static unsigned long
1326 char_table_entry_hash (Lisp_Object obj, int depth)
1327 {
1328   Lisp_Char_Table_Entry *cte = XCHAR_TABLE_ENTRY (obj);
1329
1330   return internal_array_hash (cte->level2, 96, depth);
1331 }
1332
1333 static const struct lrecord_description char_table_entry_description[] = {
1334   { XD_LISP_OBJECT_ARRAY, offsetof (Lisp_Char_Table_Entry, level2), 96 },
1335   { XD_END }
1336 };
1337
1338 DEFINE_LRECORD_IMPLEMENTATION ("char-table-entry", char_table_entry,
1339                                mark_char_table_entry, internal_object_printer,
1340                                0, char_table_entry_equal,
1341                                char_table_entry_hash,
1342                                char_table_entry_description,
1343                                Lisp_Char_Table_Entry);
1344 #endif /* MULE */
1345
1346 static Lisp_Object
1347 mark_char_table (Lisp_Object obj)
1348 {
1349   Lisp_Char_Table *ct = XCHAR_TABLE (obj);
1350 #ifdef UTF2000
1351
1352   mark_object (ct->table);
1353   mark_object (ct->name);
1354 #ifndef HAVE_LIBCHISE
1355   mark_object (ct->db);
1356 #endif
1357 #else
1358   int i;
1359
1360   for (i = 0; i < NUM_ASCII_CHARS; i++)
1361     mark_object (ct->ascii[i]);
1362 #ifdef MULE
1363   for (i = 0; i < NUM_LEADING_BYTES; i++)
1364     mark_object (ct->level1[i]);
1365 #endif
1366 #endif
1367 #ifdef UTF2000
1368   return ct->default_value;
1369 #else
1370   return ct->mirror_table;
1371 #endif
1372 }
1373
1374 /* WARNING: All functions of this nature need to be written extremely
1375    carefully to avoid crashes during GC.  Cf. prune_specifiers()
1376    and prune_weak_hash_tables(). */
1377
1378 void
1379 prune_syntax_tables (void)
1380 {
1381   Lisp_Object rest, prev = Qnil;
1382
1383   for (rest = Vall_syntax_tables;
1384        !NILP (rest);
1385        rest = XCHAR_TABLE (rest)->next_table)
1386     {
1387       if (! marked_p (rest))
1388         {
1389           /* This table is garbage.  Remove it from the list. */
1390           if (NILP (prev))
1391             Vall_syntax_tables = XCHAR_TABLE (rest)->next_table;
1392           else
1393             XCHAR_TABLE (prev)->next_table =
1394               XCHAR_TABLE (rest)->next_table;
1395         }
1396     }
1397 }
1398
1399 static Lisp_Object
1400 char_table_type_to_symbol (enum char_table_type type)
1401 {
1402   switch (type)
1403   {
1404   default: ABORT();
1405   case CHAR_TABLE_TYPE_GENERIC:  return Qgeneric;
1406   case CHAR_TABLE_TYPE_SYNTAX:   return Qsyntax;
1407   case CHAR_TABLE_TYPE_DISPLAY:  return Qdisplay;
1408   case CHAR_TABLE_TYPE_CHAR:     return Qchar;
1409 #ifdef MULE
1410   case CHAR_TABLE_TYPE_CATEGORY: return Qcategory;
1411 #endif
1412   }
1413 }
1414
1415 static enum char_table_type
1416 symbol_to_char_table_type (Lisp_Object symbol)
1417 {
1418   CHECK_SYMBOL (symbol);
1419
1420   if (EQ (symbol, Qgeneric))  return CHAR_TABLE_TYPE_GENERIC;
1421   if (EQ (symbol, Qsyntax))   return CHAR_TABLE_TYPE_SYNTAX;
1422   if (EQ (symbol, Qdisplay))  return CHAR_TABLE_TYPE_DISPLAY;
1423   if (EQ (symbol, Qchar))     return CHAR_TABLE_TYPE_CHAR;
1424 #ifdef MULE
1425   if (EQ (symbol, Qcategory)) return CHAR_TABLE_TYPE_CATEGORY;
1426 #endif
1427
1428   signal_simple_error ("Unrecognized char table type", symbol);
1429   return CHAR_TABLE_TYPE_GENERIC; /* not reached */
1430 }
1431
1432 #ifndef UTF2000
1433 static void
1434 print_chartab_range (Emchar first, Emchar last, Lisp_Object val,
1435                      Lisp_Object printcharfun)
1436 {
1437   if (first != last)
1438     {
1439       write_c_string (" (", printcharfun);
1440       print_internal (make_char (first), printcharfun, 0);
1441       write_c_string (" ", printcharfun);
1442       print_internal (make_char (last), printcharfun, 0);
1443       write_c_string (") ", printcharfun);
1444     }
1445   else
1446     {
1447       write_c_string (" ", printcharfun);
1448       print_internal (make_char (first), printcharfun, 0);
1449       write_c_string (" ", printcharfun);
1450     }
1451   print_internal (val, printcharfun, 1);
1452 }
1453 #endif
1454
1455 #if defined(MULE)&&!defined(UTF2000)
1456
1457 static void
1458 print_chartab_charset_row (Lisp_Object charset,
1459                            int row,
1460                            Lisp_Char_Table_Entry *cte,
1461                            Lisp_Object printcharfun)
1462 {
1463   int i;
1464   Lisp_Object cat = Qunbound;
1465   int first = -1;
1466
1467   for (i = 32; i < 128; i++)
1468     {
1469       Lisp_Object pam = cte->level2[i - 32];
1470
1471       if (first == -1)
1472         {
1473           first = i;
1474           cat = pam;
1475           continue;
1476         }
1477
1478       if (!EQ (cat, pam))
1479         {
1480           if (row == -1)
1481             print_chartab_range (MAKE_CHAR (charset, first, 0),
1482                                  MAKE_CHAR (charset, i - 1, 0),
1483                                  cat, printcharfun);
1484           else
1485             print_chartab_range (MAKE_CHAR (charset, row, first),
1486                                  MAKE_CHAR (charset, row, i - 1),
1487                                  cat, printcharfun);
1488           first = -1;
1489           i--;
1490         }
1491     }
1492
1493   if (first != -1)
1494     {
1495       if (row == -1)
1496         print_chartab_range (MAKE_CHAR (charset, first, 0),
1497                              MAKE_CHAR (charset, i - 1, 0),
1498                              cat, printcharfun);
1499       else
1500         print_chartab_range (MAKE_CHAR (charset, row, first),
1501                              MAKE_CHAR (charset, row, i - 1),
1502                              cat, printcharfun);
1503     }
1504 }
1505
1506 static void
1507 print_chartab_two_byte_charset (Lisp_Object charset,
1508                                 Lisp_Char_Table_Entry *cte,
1509                                 Lisp_Object printcharfun)
1510 {
1511   int i;
1512
1513   for (i = 32; i < 128; i++)
1514     {
1515       Lisp_Object jen = cte->level2[i - 32];
1516
1517       if (!CHAR_TABLE_ENTRYP (jen))
1518         {
1519           char buf[100];
1520
1521           write_c_string (" [", printcharfun);
1522           print_internal (XCHARSET_NAME (charset), printcharfun, 0);
1523           sprintf (buf, " %d] ", i);
1524           write_c_string (buf, printcharfun);
1525           print_internal (jen, printcharfun, 0);
1526         }
1527       else
1528         print_chartab_charset_row (charset, i, XCHAR_TABLE_ENTRY (jen),
1529                                    printcharfun);
1530     }
1531 }
1532
1533 #endif /* MULE */
1534
1535 static void
1536 print_char_table (Lisp_Object obj, Lisp_Object printcharfun, int escapeflag)
1537 {
1538   Lisp_Char_Table *ct = XCHAR_TABLE (obj);
1539 #ifdef UTF2000
1540   int i;
1541   struct gcpro gcpro1, gcpro2;
1542   GCPRO2 (obj, printcharfun);
1543
1544   write_c_string ("#s(char-table ", printcharfun);
1545   write_c_string (" ", printcharfun);
1546   write_c_string (string_data
1547                   (symbol_name
1548                    (XSYMBOL (char_table_type_to_symbol (ct->type)))),
1549                   printcharfun);
1550   write_c_string ("\n ", printcharfun);
1551   print_internal (ct->default_value, printcharfun, escapeflag);
1552   for (i = 0; i < 256; i++)
1553     {
1554       Lisp_Object elt = get_byte_table (ct->table, i);
1555       if (i != 0) write_c_string ("\n  ", printcharfun);
1556       if (EQ (elt, Qunbound))
1557         write_c_string ("void", printcharfun);
1558       else
1559         print_internal (elt, printcharfun, escapeflag);
1560     }
1561   UNGCPRO;
1562 #else /* non UTF2000 */
1563   char buf[200];
1564
1565   sprintf (buf, "#s(char-table type %s data (",
1566            string_data (symbol_name (XSYMBOL
1567                                      (char_table_type_to_symbol (ct->type)))));
1568   write_c_string (buf, printcharfun);
1569
1570   /* Now write out the ASCII/Control-1 stuff. */
1571   {
1572     int i;
1573     int first = -1;
1574     Lisp_Object val = Qunbound;
1575
1576     for (i = 0; i < NUM_ASCII_CHARS; i++)
1577       {
1578         if (first == -1)
1579           {
1580             first = i;
1581             val = ct->ascii[i];
1582             continue;
1583           }
1584
1585         if (!EQ (ct->ascii[i], val))
1586           {
1587             print_chartab_range (first, i - 1, val, printcharfun);
1588             first = -1;
1589             i--;
1590           }
1591       }
1592
1593     if (first != -1)
1594       print_chartab_range (first, i - 1, val, printcharfun);
1595   }
1596
1597 #ifdef MULE
1598   {
1599     Charset_ID i;
1600
1601     for (i = MIN_LEADING_BYTE; i < MIN_LEADING_BYTE + NUM_LEADING_BYTES;
1602          i++)
1603       {
1604         Lisp_Object ann = ct->level1[i - MIN_LEADING_BYTE];
1605         Lisp_Object charset = CHARSET_BY_LEADING_BYTE (i);
1606
1607         if (!CHARSETP (charset) || i == LEADING_BYTE_ASCII
1608             || i == LEADING_BYTE_CONTROL_1)
1609           continue;
1610         if (!CHAR_TABLE_ENTRYP (ann))
1611           {
1612             write_c_string (" ", printcharfun);
1613             print_internal (XCHARSET_NAME (charset),
1614                             printcharfun, 0);
1615             write_c_string (" ", printcharfun);
1616             print_internal (ann, printcharfun, 0);
1617           }
1618         else
1619           {
1620             Lisp_Char_Table_Entry *cte = XCHAR_TABLE_ENTRY (ann);
1621             if (XCHARSET_DIMENSION (charset) == 1)
1622               print_chartab_charset_row (charset, -1, cte, printcharfun);
1623             else
1624               print_chartab_two_byte_charset (charset, cte, printcharfun);
1625           }
1626       }
1627   }
1628 #endif /* MULE */
1629 #endif /* non UTF2000 */
1630
1631   write_c_string ("))", printcharfun);
1632 }
1633
1634 static int
1635 char_table_equal (Lisp_Object obj1, Lisp_Object obj2, int depth)
1636 {
1637   Lisp_Char_Table *ct1 = XCHAR_TABLE (obj1);
1638   Lisp_Char_Table *ct2 = XCHAR_TABLE (obj2);
1639   int i;
1640
1641   if (CHAR_TABLE_TYPE (ct1) != CHAR_TABLE_TYPE (ct2))
1642     return 0;
1643
1644 #ifdef UTF2000
1645   for (i = 0; i < 256; i++)
1646     {
1647       if (!internal_equal (get_byte_table (ct1->table, i),
1648                            get_byte_table (ct2->table, i), 0))
1649         return 0;
1650     }
1651 #else
1652   for (i = 0; i < NUM_ASCII_CHARS; i++)
1653     if (!internal_equal (ct1->ascii[i], ct2->ascii[i], depth + 1))
1654       return 0;
1655
1656 #ifdef MULE
1657   for (i = 0; i < NUM_LEADING_BYTES; i++)
1658     if (!internal_equal (ct1->level1[i], ct2->level1[i], depth + 1))
1659       return 0;
1660 #endif /* MULE */
1661 #endif /* non UTF2000 */
1662
1663   return 1;
1664 }
1665
1666 static unsigned long
1667 char_table_hash (Lisp_Object obj, int depth)
1668 {
1669   Lisp_Char_Table *ct = XCHAR_TABLE (obj);
1670 #ifdef UTF2000
1671     return byte_table_hash (ct->table, depth + 1);
1672 #else
1673   unsigned long hashval = internal_array_hash (ct->ascii, NUM_ASCII_CHARS,
1674                                                depth);
1675 #ifdef MULE
1676   hashval = HASH2 (hashval,
1677                    internal_array_hash (ct->level1, NUM_LEADING_BYTES, depth));
1678 #endif /* MULE */
1679   return hashval;
1680 #endif
1681 }
1682
1683 static const struct lrecord_description char_table_description[] = {
1684 #ifdef UTF2000
1685   { XD_LISP_OBJECT, offsetof(Lisp_Char_Table, table) },
1686   { XD_LISP_OBJECT, offsetof(Lisp_Char_Table, default_value) },
1687   { XD_LISP_OBJECT, offsetof(Lisp_Char_Table, name) },
1688 #ifndef HAVE_LIBCHISE
1689   { XD_LISP_OBJECT, offsetof(Lisp_Char_Table, db) },
1690 #endif
1691 #else
1692   { XD_LISP_OBJECT_ARRAY, offsetof (Lisp_Char_Table, ascii), NUM_ASCII_CHARS },
1693 #ifdef MULE
1694   { XD_LISP_OBJECT_ARRAY, offsetof (Lisp_Char_Table, level1), NUM_LEADING_BYTES },
1695 #endif
1696 #endif
1697 #ifndef UTF2000
1698   { XD_LISP_OBJECT, offsetof (Lisp_Char_Table, mirror_table) },
1699 #endif
1700   { XD_LO_LINK,     offsetof (Lisp_Char_Table, next_table) },
1701   { XD_END }
1702 };
1703
1704 DEFINE_LRECORD_IMPLEMENTATION ("char-table", char_table,
1705                                mark_char_table, print_char_table, 0,
1706                                char_table_equal, char_table_hash,
1707                                char_table_description,
1708                                Lisp_Char_Table);
1709
1710 DEFUN ("char-table-p", Fchar_table_p, 1, 1, 0, /*
1711 Return non-nil if OBJECT is a char table.
1712
1713 A char table is a table that maps characters (or ranges of characters)
1714 to values.  Char tables are specialized for characters, only allowing
1715 particular sorts of ranges to be assigned values.  Although this
1716 loses in generality, it makes for extremely fast (constant-time)
1717 lookups, and thus is feasible for applications that do an extremely
1718 large number of lookups (e.g. scanning a buffer for a character in
1719 a particular syntax, where a lookup in the syntax table must occur
1720 once per character).
1721
1722 When Mule support exists, the types of ranges that can be assigned
1723 values are
1724
1725 -- all characters (represented by t)
1726 -- an entire charset
1727 -- a single row in a two-octet charset (represented by a vector of two
1728    elements: a two-octet charset and a row number; the row must be an
1729    integer, not a character)
1730 -- a single character
1731
1732 When Mule support is not present, the types of ranges that can be
1733 assigned values are
1734
1735 -- all characters (represented by t)
1736 -- a single character
1737
1738 To create a char table, use `make-char-table'.
1739 To modify a char table, use `put-char-table' or `remove-char-table'.
1740 To retrieve the value for a particular character, use `get-char-table'.
1741 See also `map-char-table', `clear-char-table', `copy-char-table',
1742 `valid-char-table-type-p', `char-table-type-list',
1743 `valid-char-table-value-p', and `check-char-table-value'.
1744 */
1745        (object))
1746 {
1747   return CHAR_TABLEP (object) ? Qt : Qnil;
1748 }
1749
1750 DEFUN ("char-table-type-list", Fchar_table_type_list, 0, 0, 0, /*
1751 Return a list of the recognized char table types.
1752 See `valid-char-table-type-p'.
1753 */
1754        ())
1755 {
1756 #ifdef MULE
1757   return list5 (Qchar, Qcategory, Qdisplay, Qgeneric, Qsyntax);
1758 #else
1759   return list4 (Qchar, Qdisplay, Qgeneric, Qsyntax);
1760 #endif
1761 }
1762
1763 DEFUN ("valid-char-table-type-p", Fvalid_char_table_type_p, 1, 1, 0, /*
1764 Return t if TYPE if a recognized char table type.
1765
1766 Each char table type is used for a different purpose and allows different
1767 sorts of values.  The different char table types are
1768
1769 `category'
1770         Used for category tables, which specify the regexp categories
1771         that a character is in.  The valid values are nil or a
1772         bit vector of 95 elements.  Higher-level Lisp functions are
1773         provided for working with category tables.  Currently categories
1774         and category tables only exist when Mule support is present.
1775 `char'
1776         A generalized char table, for mapping from one character to
1777         another.  Used for case tables, syntax matching tables,
1778         `keyboard-translate-table', etc.  The valid values are characters.
1779 `generic'
1780         An even more generalized char table, for mapping from a
1781         character to anything.
1782 `display'
1783         Used for display tables, which specify how a particular character
1784         is to appear when displayed.  #### Not yet implemented.
1785 `syntax'
1786         Used for syntax tables, which specify the syntax of a particular
1787         character.  Higher-level Lisp functions are provided for
1788         working with syntax tables.  The valid values are integers.
1789
1790 */
1791        (type))
1792 {
1793   return (EQ (type, Qchar)     ||
1794 #ifdef MULE
1795           EQ (type, Qcategory) ||
1796 #endif
1797           EQ (type, Qdisplay)  ||
1798           EQ (type, Qgeneric)  ||
1799           EQ (type, Qsyntax)) ? Qt : Qnil;
1800 }
1801
1802 DEFUN ("char-table-type", Fchar_table_type, 1, 1, 0, /*
1803 Return the type of CHAR-TABLE.
1804 See `valid-char-table-type-p'.
1805 */
1806        (char_table))
1807 {
1808   CHECK_CHAR_TABLE (char_table);
1809   return char_table_type_to_symbol (XCHAR_TABLE (char_table)->type);
1810 }
1811
1812 void
1813 fill_char_table (Lisp_Char_Table *ct, Lisp_Object value)
1814 {
1815 #ifdef UTF2000
1816   ct->table = Qunbound;
1817   ct->default_value = value;
1818   ct->unloaded = 0;
1819 #else
1820   int i;
1821
1822   for (i = 0; i < NUM_ASCII_CHARS; i++)
1823     ct->ascii[i] = value;
1824 #ifdef MULE
1825   for (i = 0; i < NUM_LEADING_BYTES; i++)
1826     ct->level1[i] = value;
1827 #endif /* MULE */
1828 #endif
1829
1830 #ifndef UTF2000
1831   if (ct->type == CHAR_TABLE_TYPE_SYNTAX)
1832     update_syntax_table (ct);
1833 #endif
1834 }
1835
1836 DEFUN ("reset-char-table", Freset_char_table, 1, 1, 0, /*
1837 Reset CHAR-TABLE to its default state.
1838 */
1839        (char_table))
1840 {
1841   Lisp_Char_Table *ct;
1842
1843   CHECK_CHAR_TABLE (char_table);
1844   ct = XCHAR_TABLE (char_table);
1845
1846   switch (ct->type)
1847     {
1848     case CHAR_TABLE_TYPE_CHAR:
1849       fill_char_table (ct, make_char (0));
1850       break;
1851     case CHAR_TABLE_TYPE_DISPLAY:
1852     case CHAR_TABLE_TYPE_GENERIC:
1853 #ifdef MULE
1854     case CHAR_TABLE_TYPE_CATEGORY:
1855 #endif /* MULE */
1856       fill_char_table (ct, Qnil);
1857       break;
1858
1859     case CHAR_TABLE_TYPE_SYNTAX:
1860       fill_char_table (ct, make_int (Sinherit));
1861       break;
1862
1863     default:
1864       ABORT ();
1865     }
1866
1867   return Qnil;
1868 }
1869
1870 DEFUN ("make-char-table", Fmake_char_table, 1, 1, 0, /*
1871 Return a new, empty char table of type TYPE.
1872 Currently recognized types are 'char, 'category, 'display, 'generic,
1873 and 'syntax.  See `valid-char-table-type-p'.
1874 */
1875        (type))
1876 {
1877   Lisp_Char_Table *ct;
1878   Lisp_Object obj;
1879   enum char_table_type ty = symbol_to_char_table_type (type);
1880
1881   ct = alloc_lcrecord_type (Lisp_Char_Table, &lrecord_char_table);
1882   ct->type = ty;
1883 #ifndef UTF2000
1884   if (ty == CHAR_TABLE_TYPE_SYNTAX)
1885     {
1886       ct->mirror_table = Fmake_char_table (Qgeneric);
1887       fill_char_table (XCHAR_TABLE (ct->mirror_table),
1888                        make_int (Spunct));
1889     }
1890   else
1891     ct->mirror_table = Qnil;
1892 #else
1893   ct->name = Qnil;
1894 #ifndef HAVE_LIBCHISE
1895   ct->db = Qnil;
1896 #endif
1897 #endif
1898   ct->next_table = Qnil;
1899   XSETCHAR_TABLE (obj, ct);
1900   if (ty == CHAR_TABLE_TYPE_SYNTAX)
1901     {
1902       ct->next_table = Vall_syntax_tables;
1903       Vall_syntax_tables = obj;
1904     }
1905   Freset_char_table (obj);
1906   return obj;
1907 }
1908
1909 #if defined(MULE)&&!defined(UTF2000)
1910
1911 static Lisp_Object
1912 make_char_table_entry (Lisp_Object initval)
1913 {
1914   Lisp_Object obj;
1915   int i;
1916   Lisp_Char_Table_Entry *cte =
1917     alloc_lcrecord_type (Lisp_Char_Table_Entry, &lrecord_char_table_entry);
1918
1919   for (i = 0; i < 96; i++)
1920     cte->level2[i] = initval;
1921
1922   XSETCHAR_TABLE_ENTRY (obj, cte);
1923   return obj;
1924 }
1925
1926 static Lisp_Object
1927 copy_char_table_entry (Lisp_Object entry)
1928 {
1929   Lisp_Char_Table_Entry *cte = XCHAR_TABLE_ENTRY (entry);
1930   Lisp_Object obj;
1931   int i;
1932   Lisp_Char_Table_Entry *ctenew =
1933     alloc_lcrecord_type (Lisp_Char_Table_Entry, &lrecord_char_table_entry);
1934
1935   for (i = 0; i < 96; i++)
1936     {
1937       Lisp_Object new = cte->level2[i];
1938       if (CHAR_TABLE_ENTRYP (new))
1939         ctenew->level2[i] = copy_char_table_entry (new);
1940       else
1941         ctenew->level2[i] = new;
1942     }
1943
1944   XSETCHAR_TABLE_ENTRY (obj, ctenew);
1945   return obj;
1946 }
1947
1948 #endif /* MULE */
1949
1950 DEFUN ("copy-char-table", Fcopy_char_table, 1, 1, 0, /*
1951 Return a new char table which is a copy of CHAR-TABLE.
1952 It will contain the same values for the same characters and ranges
1953 as CHAR-TABLE.  The values will not themselves be copied.
1954 */
1955        (char_table))
1956 {
1957   Lisp_Char_Table *ct, *ctnew;
1958   Lisp_Object obj;
1959 #ifndef UTF2000
1960   int i;
1961 #endif
1962
1963   CHECK_CHAR_TABLE (char_table);
1964   ct = XCHAR_TABLE (char_table);
1965   ctnew = alloc_lcrecord_type (Lisp_Char_Table, &lrecord_char_table);
1966   ctnew->type = ct->type;
1967 #ifdef UTF2000
1968   ctnew->default_value = ct->default_value;
1969   /* [tomo:2002-01-21] Perhaps this code seems wrong */
1970   ctnew->name = ct->name;
1971 #ifndef HAVE_LIBCHISE
1972   ctnew->db = ct->db;
1973 #endif
1974
1975   if (UINT8_BYTE_TABLE_P (ct->table))
1976     {
1977       ctnew->table = copy_uint8_byte_table (ct->table);
1978     }
1979   else if (UINT16_BYTE_TABLE_P (ct->table))
1980     {
1981       ctnew->table = copy_uint16_byte_table (ct->table);
1982     }
1983   else if (BYTE_TABLE_P (ct->table))
1984     {
1985       ctnew->table = copy_byte_table (ct->table);
1986     }
1987   else if (!UNBOUNDP (ct->table))
1988     ctnew->table = ct->table;
1989 #else /* non UTF2000 */
1990
1991   for (i = 0; i < NUM_ASCII_CHARS; i++)
1992     {
1993       Lisp_Object new = ct->ascii[i];
1994 #ifdef MULE
1995       assert (! (CHAR_TABLE_ENTRYP (new)));
1996 #endif /* MULE */
1997       ctnew->ascii[i] = new;
1998     }
1999
2000 #ifdef MULE
2001
2002   for (i = 0; i < NUM_LEADING_BYTES; i++)
2003     {
2004       Lisp_Object new = ct->level1[i];
2005       if (CHAR_TABLE_ENTRYP (new))
2006         ctnew->level1[i] = copy_char_table_entry (new);
2007       else
2008         ctnew->level1[i] = new;
2009     }
2010
2011 #endif /* MULE */
2012 #endif /* non UTF2000 */
2013
2014 #ifndef UTF2000
2015   if (CHAR_TABLEP (ct->mirror_table))
2016     ctnew->mirror_table = Fcopy_char_table (ct->mirror_table);
2017   else
2018     ctnew->mirror_table = ct->mirror_table;
2019 #endif
2020   ctnew->next_table = Qnil;
2021   XSETCHAR_TABLE (obj, ctnew);
2022   if (ctnew->type == CHAR_TABLE_TYPE_SYNTAX)
2023     {
2024       ctnew->next_table = Vall_syntax_tables;
2025       Vall_syntax_tables = obj;
2026     }
2027   return obj;
2028 }
2029
2030 INLINE_HEADER int XCHARSET_CELL_RANGE (Lisp_Object ccs);
2031 INLINE_HEADER int
2032 XCHARSET_CELL_RANGE (Lisp_Object ccs)
2033 {
2034   switch (XCHARSET_CHARS (ccs))
2035     {
2036     case 94:
2037       return (33 << 8) | 126;
2038     case 96:
2039       return (32 << 8) | 127;
2040 #ifdef UTF2000
2041     case 128:
2042       return (0 << 8) | 127;
2043     case 256:
2044       return (0 << 8) | 255;
2045 #endif
2046     default:
2047       ABORT ();
2048       return 0;
2049     }
2050 }
2051
2052 #ifndef UTF2000
2053 static
2054 #endif
2055 void
2056 decode_char_table_range (Lisp_Object range, struct chartab_range *outrange)
2057 {
2058   if (EQ (range, Qt))
2059     outrange->type = CHARTAB_RANGE_ALL;
2060 #ifdef UTF2000
2061   else if (EQ (range, Qnil))
2062     outrange->type = CHARTAB_RANGE_DEFAULT;
2063 #endif
2064   else if (CHAR_OR_CHAR_INTP (range))
2065     {
2066       outrange->type = CHARTAB_RANGE_CHAR;
2067       outrange->ch = XCHAR_OR_CHAR_INT (range);
2068     }
2069 #ifndef MULE
2070   else
2071     signal_simple_error ("Range must be t or a character", range);
2072 #else /* MULE */
2073   else if (VECTORP (range))
2074     {
2075       Lisp_Vector *vec = XVECTOR (range);
2076       Lisp_Object *elts = vector_data (vec);
2077       int cell_min, cell_max;
2078
2079       outrange->type = CHARTAB_RANGE_ROW;
2080       outrange->charset = Fget_charset (elts[0]);
2081       CHECK_INT (elts[1]);
2082       outrange->row = XINT (elts[1]);
2083       if (XCHARSET_DIMENSION (outrange->charset) < 2)
2084         signal_simple_error ("Charset in row vector must be multi-byte",
2085                              outrange->charset);
2086       else
2087         {
2088           int ret = XCHARSET_CELL_RANGE (outrange->charset);
2089
2090           cell_min = ret >> 8;
2091           cell_max = ret & 0xFF;
2092         }
2093       if (XCHARSET_DIMENSION (outrange->charset) == 2)
2094         check_int_range (outrange->row, cell_min, cell_max);
2095 #ifdef UTF2000
2096       else if (XCHARSET_DIMENSION (outrange->charset) == 3)
2097         {
2098           check_int_range (outrange->row >> 8  , cell_min, cell_max);
2099           check_int_range (outrange->row & 0xFF, cell_min, cell_max);
2100         }
2101       else if (XCHARSET_DIMENSION (outrange->charset) == 4)
2102         {
2103           check_int_range ( outrange->row >> 16       , cell_min, cell_max);
2104           check_int_range ((outrange->row >> 8) & 0xFF, cell_min, cell_max);
2105           check_int_range ( outrange->row       & 0xFF, cell_min, cell_max);
2106         }
2107 #endif
2108       else
2109         ABORT ();
2110     }
2111   else
2112     {
2113       if (!CHARSETP (range) && !SYMBOLP (range))
2114         signal_simple_error
2115           ("Char table range must be t, charset, char, or vector", range);
2116       outrange->type = CHARTAB_RANGE_CHARSET;
2117       outrange->charset = Fget_charset (range);
2118     }
2119 #endif /* MULE */
2120 }
2121
2122 #if defined(MULE)&&!defined(UTF2000)
2123
2124 /* called from CHAR_TABLE_VALUE(). */
2125 Lisp_Object
2126 get_non_ascii_char_table_value (Lisp_Char_Table *ct, Charset_ID leading_byte,
2127                                Emchar c)
2128 {
2129   Lisp_Object val;
2130 #ifdef UTF2000
2131   Lisp_Object charset;
2132 #else
2133   Lisp_Object charset = CHARSET_BY_LEADING_BYTE (leading_byte);
2134 #endif
2135   int byte1, byte2;
2136
2137 #ifdef UTF2000
2138   BREAKUP_CHAR (c, charset, byte1, byte2);
2139 #else
2140   BREAKUP_CHAR_1_UNSAFE (c, charset, byte1, byte2);
2141 #endif
2142   val = ct->level1[leading_byte - MIN_LEADING_BYTE];
2143   if (CHAR_TABLE_ENTRYP (val))
2144     {
2145       Lisp_Char_Table_Entry *cte = XCHAR_TABLE_ENTRY (val);
2146       val = cte->level2[byte1 - 32];
2147       if (CHAR_TABLE_ENTRYP (val))
2148         {
2149           cte = XCHAR_TABLE_ENTRY (val);
2150           assert (byte2 >= 32);
2151           val = cte->level2[byte2 - 32];
2152           assert (!CHAR_TABLE_ENTRYP (val));
2153         }
2154     }
2155
2156   return val;
2157 }
2158
2159 #endif /* MULE */
2160
2161 Lisp_Object
2162 get_char_table (Emchar ch, Lisp_Char_Table *ct)
2163 {
2164 #ifdef UTF2000
2165   {
2166     Lisp_Object ret = get_char_id_table (ct, ch);
2167
2168 #ifdef HAVE_CHISE
2169     if (NILP (ret))
2170       {
2171         if (EQ (CHAR_TABLE_NAME (ct), Qdowncase))
2172           ret = Fchar_feature (make_char (ch), Q_lowercase, Qnil,
2173                                Qnil, Qnil);
2174         else if (EQ (CHAR_TABLE_NAME (ct), Qflippedcase))
2175           ret = Fchar_feature (make_char (ch), Q_uppercase, Qnil,
2176                                Qnil, Qnil);
2177         if (CONSP (ret))
2178           {
2179             ret = XCAR (ret);
2180             if (CONSP (ret))
2181               ret = Ffind_char (ret);
2182           }
2183       }
2184 #endif
2185     return ret;
2186   }
2187 #elif defined(MULE)
2188   {
2189     Lisp_Object charset;
2190     int byte1, byte2;
2191     Lisp_Object val;
2192
2193     BREAKUP_CHAR (ch, charset, byte1, byte2);
2194
2195     if (EQ (charset, Vcharset_ascii))
2196       val = ct->ascii[byte1];
2197     else if (EQ (charset, Vcharset_control_1))
2198       val = ct->ascii[byte1 + 128];
2199     else
2200       {
2201         int lb = XCHARSET_LEADING_BYTE (charset) - MIN_LEADING_BYTE;
2202         val = ct->level1[lb];
2203         if (CHAR_TABLE_ENTRYP (val))
2204           {
2205             Lisp_Char_Table_Entry *cte = XCHAR_TABLE_ENTRY (val);
2206             val = cte->level2[byte1 - 32];
2207             if (CHAR_TABLE_ENTRYP (val))
2208               {
2209                 cte = XCHAR_TABLE_ENTRY (val);
2210                 assert (byte2 >= 32);
2211                 val = cte->level2[byte2 - 32];
2212                 assert (!CHAR_TABLE_ENTRYP (val));
2213               }
2214           }
2215       }
2216
2217     return val;
2218   }
2219 #else /* not MULE */
2220   return ct->ascii[(unsigned char)ch];
2221 #endif /* not MULE */
2222 }
2223
2224
2225 DEFUN ("get-char-table", Fget_char_table, 2, 2, 0, /*
2226 Find value for CHARACTER in CHAR-TABLE.
2227 */
2228        (character, char_table))
2229 {
2230   CHECK_CHAR_TABLE (char_table);
2231   CHECK_CHAR_COERCE_INT (character);
2232
2233   return get_char_table (XCHAR (character), XCHAR_TABLE (char_table));
2234 }
2235
2236 DEFUN ("get-range-char-table", Fget_range_char_table, 2, 3, 0, /*
2237 Find value for RANGE in CHAR-TABLE.
2238 If there is more than one value, return MULTI (defaults to nil).
2239
2240 Valid values for RANGE are single characters, charsets, a row in a
2241 two-octet charset, and all characters.  See `put-char-table'.
2242 */
2243        (range, char_table, multi))
2244 {
2245   Lisp_Char_Table *ct;
2246   struct chartab_range rainj;
2247
2248   if (CHAR_OR_CHAR_INTP (range))
2249     return Fget_char_table (range, char_table);
2250   CHECK_CHAR_TABLE (char_table);
2251   ct = XCHAR_TABLE (char_table);
2252
2253   decode_char_table_range (range, &rainj);
2254   switch (rainj.type)
2255     {
2256     case CHARTAB_RANGE_ALL:
2257       {
2258 #ifdef UTF2000
2259         if (UINT8_BYTE_TABLE_P (ct->table))
2260           return multi;
2261         else if (UINT16_BYTE_TABLE_P (ct->table))
2262           return multi;
2263         else if (BYTE_TABLE_P (ct->table))
2264           return multi;
2265         else
2266           return ct->table;
2267 #else /* non UTF2000 */
2268         int i;
2269         Lisp_Object first = ct->ascii[0];
2270
2271         for (i = 1; i < NUM_ASCII_CHARS; i++)
2272           if (!EQ (first, ct->ascii[i]))
2273             return multi;
2274
2275 #ifdef MULE
2276         for (i = MIN_LEADING_BYTE; i < MIN_LEADING_BYTE + NUM_LEADING_BYTES;
2277              i++)
2278           {
2279             if (!CHARSETP (CHARSET_BY_LEADING_BYTE (i))
2280                 || i == LEADING_BYTE_ASCII
2281                 || i == LEADING_BYTE_CONTROL_1)
2282               continue;
2283             if (!EQ (first, ct->level1[i - MIN_LEADING_BYTE]))
2284               return multi;
2285           }
2286 #endif /* MULE */
2287
2288         return first;
2289 #endif /* non UTF2000 */
2290       }
2291
2292 #ifdef MULE
2293     case CHARTAB_RANGE_CHARSET:
2294 #ifdef UTF2000
2295       return multi;
2296 #else
2297       if (EQ (rainj.charset, Vcharset_ascii))
2298         {
2299           int i;
2300           Lisp_Object first = ct->ascii[0];
2301
2302           for (i = 1; i < 128; i++)
2303             if (!EQ (first, ct->ascii[i]))
2304               return multi;
2305           return first;
2306         }
2307
2308       if (EQ (rainj.charset, Vcharset_control_1))
2309         {
2310           int i;
2311           Lisp_Object first = ct->ascii[128];
2312
2313           for (i = 129; i < 160; i++)
2314             if (!EQ (first, ct->ascii[i]))
2315               return multi;
2316           return first;
2317         }
2318
2319       {
2320         Lisp_Object val = ct->level1[XCHARSET_LEADING_BYTE (rainj.charset) -
2321                                      MIN_LEADING_BYTE];
2322         if (CHAR_TABLE_ENTRYP (val))
2323           return multi;
2324         return val;
2325       }
2326 #endif
2327
2328     case CHARTAB_RANGE_ROW:
2329 #ifdef UTF2000
2330       return multi;
2331 #else
2332       {
2333         Lisp_Object val = ct->level1[XCHARSET_LEADING_BYTE (rainj.charset) -
2334                                      MIN_LEADING_BYTE];
2335         if (!CHAR_TABLE_ENTRYP (val))
2336           return val;
2337         val = XCHAR_TABLE_ENTRY (val)->level2[rainj.row - 32];
2338         if (CHAR_TABLE_ENTRYP (val))
2339           return multi;
2340         return val;
2341       }
2342 #endif /* not UTF2000 */
2343 #endif /* not MULE */
2344
2345 #ifdef UTF2000
2346     case CHARTAB_RANGE_DEFAULT:
2347       return ct->default_value;
2348 #endif /* not UTF2000 */
2349
2350     default:
2351       ABORT ();
2352     }
2353
2354   return Qnil; /* not reached */
2355 }
2356
2357 static int
2358 check_valid_char_table_value (Lisp_Object value, enum char_table_type type,
2359                               Error_behavior errb)
2360 {
2361   switch (type)
2362     {
2363     case CHAR_TABLE_TYPE_SYNTAX:
2364       if (!ERRB_EQ (errb, ERROR_ME))
2365         return INTP (value) || (CONSP (value) && INTP (XCAR (value))
2366                                 && CHAR_OR_CHAR_INTP (XCDR (value)));
2367       if (CONSP (value))
2368         {
2369           Lisp_Object cdr = XCDR (value);
2370           CHECK_INT (XCAR (value));
2371           CHECK_CHAR_COERCE_INT (cdr);
2372          }
2373       else
2374         CHECK_INT (value);
2375       break;
2376
2377 #ifdef MULE
2378     case CHAR_TABLE_TYPE_CATEGORY:
2379       if (!ERRB_EQ (errb, ERROR_ME))
2380         return CATEGORY_TABLE_VALUEP (value);
2381       CHECK_CATEGORY_TABLE_VALUE (value);
2382       break;
2383 #endif /* MULE */
2384
2385     case CHAR_TABLE_TYPE_GENERIC:
2386       return 1;
2387
2388     case CHAR_TABLE_TYPE_DISPLAY:
2389       /* #### fix this */
2390       maybe_signal_simple_error ("Display char tables not yet implemented",
2391                                  value, Qchar_table, errb);
2392       return 0;
2393
2394     case CHAR_TABLE_TYPE_CHAR:
2395       if (!ERRB_EQ (errb, ERROR_ME))
2396         return CHAR_OR_CHAR_INTP (value);
2397       CHECK_CHAR_COERCE_INT (value);
2398       break;
2399
2400     default:
2401       ABORT ();
2402     }
2403
2404   return 0; /* not reached */
2405 }
2406
2407 static Lisp_Object
2408 canonicalize_char_table_value (Lisp_Object value, enum char_table_type type)
2409 {
2410   switch (type)
2411     {
2412     case CHAR_TABLE_TYPE_SYNTAX:
2413       if (CONSP (value))
2414         {
2415           Lisp_Object car = XCAR (value);
2416           Lisp_Object cdr = XCDR (value);
2417           CHECK_CHAR_COERCE_INT (cdr);
2418           return Fcons (car, cdr);
2419         }
2420       break;
2421     case CHAR_TABLE_TYPE_CHAR:
2422       CHECK_CHAR_COERCE_INT (value);
2423       break;
2424     default:
2425       break;
2426     }
2427   return value;
2428 }
2429
2430 DEFUN ("valid-char-table-value-p", Fvalid_char_table_value_p, 2, 2, 0, /*
2431 Return non-nil if VALUE is a valid value for CHAR-TABLE-TYPE.
2432 */
2433        (value, char_table_type))
2434 {
2435   enum char_table_type type = symbol_to_char_table_type (char_table_type);
2436
2437   return check_valid_char_table_value (value, type, ERROR_ME_NOT) ? Qt : Qnil;
2438 }
2439
2440 DEFUN ("check-valid-char-table-value", Fcheck_valid_char_table_value, 2, 2, 0, /*
2441 Signal an error if VALUE is not a valid value for CHAR-TABLE-TYPE.
2442 */
2443        (value, char_table_type))
2444 {
2445   enum char_table_type type = symbol_to_char_table_type (char_table_type);
2446
2447   check_valid_char_table_value (value, type, ERROR_ME);
2448   return Qnil;
2449 }
2450
2451 #ifdef UTF2000
2452 Lisp_Char_Table* char_attribute_table_to_put;
2453 Lisp_Object Qput_char_table_map_function;
2454 Lisp_Object value_to_put;
2455
2456 DEFUN ("put-char-table-map-function",
2457        Fput_char_table_map_function, 2, 2, 0, /*
2458 For internal use.  Don't use it.
2459 */
2460        (c, value))
2461 {
2462   put_char_id_table_0 (char_attribute_table_to_put,
2463                        XCHAR (c), value_to_put);
2464   return Qnil;
2465 }
2466 #endif
2467
2468 /* Assign VAL to all characters in RANGE in char table CT. */
2469
2470 void
2471 put_char_table (Lisp_Char_Table *ct, struct chartab_range *range,
2472                 Lisp_Object val)
2473 {
2474   switch (range->type)
2475     {
2476     case CHARTAB_RANGE_ALL:
2477       fill_char_table (ct, val);
2478       return; /* avoid the duplicate call to update_syntax_table() below,
2479                  since fill_char_table() also did that. */
2480
2481 #ifdef UTF2000
2482     case CHARTAB_RANGE_DEFAULT:
2483       ct->default_value = val;
2484       return;
2485 #endif
2486
2487 #ifdef MULE
2488     case CHARTAB_RANGE_CHARSET:
2489 #ifdef UTF2000
2490       {
2491         Lisp_Object encoding_table = XCHARSET_ENCODING_TABLE (range->charset);
2492
2493         if ( CHAR_TABLEP (encoding_table) )
2494           {
2495             Lisp_Object mother = XCHARSET_MOTHER (range->charset);
2496
2497             char_attribute_table_to_put = ct;
2498             value_to_put = val;
2499             Fmap_char_attribute (Qput_char_table_map_function,
2500                                  XCHAR_TABLE_NAME (encoding_table),
2501                                  Qnil);
2502             if ( CHARSETP (mother) )
2503               {
2504                 struct chartab_range r;
2505
2506                 r.type = CHARTAB_RANGE_CHARSET;
2507                 r.charset = mother;
2508                 put_char_table (ct, &r, val);
2509               }
2510           }
2511 #if 0
2512         else
2513           {
2514             Emchar c;
2515
2516             for (c = 0; c < 1 << 24; c++)
2517               {
2518                 if ( charset_code_point (range->charset, c) >= 0 )
2519                   put_char_id_table_0 (ct, c, val);
2520               }
2521           }
2522 #endif
2523       }
2524 #else
2525       if (EQ (range->charset, Vcharset_ascii))
2526         {
2527           int i;
2528           for (i = 0; i < 128; i++)
2529             ct->ascii[i] = val;
2530         }
2531       else if (EQ (range->charset, Vcharset_control_1))
2532         {
2533           int i;
2534           for (i = 128; i < 160; i++)
2535             ct->ascii[i] = val;
2536         }
2537       else
2538         {
2539           int lb = XCHARSET_LEADING_BYTE (range->charset) - MIN_LEADING_BYTE;
2540           ct->level1[lb] = val;
2541         }
2542 #endif
2543       break;
2544
2545     case CHARTAB_RANGE_ROW:
2546 #ifdef UTF2000
2547       {
2548         int cell_min, cell_max, i;
2549
2550         i = XCHARSET_CELL_RANGE (range->charset);
2551         cell_min = i >> 8;
2552         cell_max = i & 0xFF;
2553         for (i = cell_min; i <= cell_max; i++)
2554           {
2555             Emchar ch
2556               = DECODE_CHAR (range->charset, (range->row << 8) | i, 0);
2557
2558             if ( charset_code_point (range->charset, ch, 0) >= 0 )
2559               put_char_id_table_0 (ct, ch, val);
2560           }
2561       }
2562 #else
2563       {
2564         Lisp_Char_Table_Entry *cte;
2565         int lb = XCHARSET_LEADING_BYTE (range->charset) - MIN_LEADING_BYTE;
2566         /* make sure that there is a separate entry for the row. */
2567         if (!CHAR_TABLE_ENTRYP (ct->level1[lb]))
2568           ct->level1[lb] = make_char_table_entry (ct->level1[lb]);
2569         cte = XCHAR_TABLE_ENTRY (ct->level1[lb]);
2570         cte->level2[range->row - 32] = val;
2571       }
2572 #endif /* not UTF2000 */
2573       break;
2574 #endif /* MULE */
2575
2576     case CHARTAB_RANGE_CHAR:
2577 #ifdef UTF2000
2578       put_char_id_table_0 (ct, range->ch, val);
2579       break;
2580 #elif defined(MULE)
2581       {
2582         Lisp_Object charset;
2583         int byte1, byte2;
2584
2585         BREAKUP_CHAR (range->ch, charset, byte1, byte2);
2586         if (EQ (charset, Vcharset_ascii))
2587           ct->ascii[byte1] = val;
2588         else if (EQ (charset, Vcharset_control_1))
2589           ct->ascii[byte1 + 128] = val;
2590         else
2591           {
2592             Lisp_Char_Table_Entry *cte;
2593             int lb = XCHARSET_LEADING_BYTE (charset) - MIN_LEADING_BYTE;
2594             /* make sure that there is a separate entry for the row. */
2595             if (!CHAR_TABLE_ENTRYP (ct->level1[lb]))
2596               ct->level1[lb] = make_char_table_entry (ct->level1[lb]);
2597             cte = XCHAR_TABLE_ENTRY (ct->level1[lb]);
2598             /* now CTE is a char table entry for the charset;
2599                each entry is for a single row (or character of
2600                a one-octet charset). */
2601             if (XCHARSET_DIMENSION (charset) == 1)
2602               cte->level2[byte1 - 32] = val;
2603             else
2604               {
2605                 /* assigning to one character in a two-octet charset. */
2606                 /* make sure that the charset row contains a separate
2607                    entry for each character. */
2608                 if (!CHAR_TABLE_ENTRYP (cte->level2[byte1 - 32]))
2609                   cte->level2[byte1 - 32] =
2610                     make_char_table_entry (cte->level2[byte1 - 32]);
2611                 cte = XCHAR_TABLE_ENTRY (cte->level2[byte1 - 32]);
2612                 cte->level2[byte2 - 32] = val;
2613               }
2614           }
2615       }
2616 #else /* not MULE */
2617       ct->ascii[(unsigned char) (range->ch)] = val;
2618       break;
2619 #endif /* not MULE */
2620     }
2621
2622 #ifndef UTF2000
2623   if (ct->type == CHAR_TABLE_TYPE_SYNTAX)
2624     update_syntax_table (ct);
2625 #endif
2626 }
2627
2628 DEFUN ("put-char-table", Fput_char_table, 3, 3, 0, /*
2629 Set the value for chars in RANGE to be VALUE in CHAR-TABLE.
2630
2631 RANGE specifies one or more characters to be affected and should be
2632 one of the following:
2633
2634 -- t (all characters are affected)
2635 -- A charset (only allowed when Mule support is present)
2636 -- A vector of two elements: a two-octet charset and a row number; the row
2637    must be an integer, not a character (only allowed when Mule support is
2638    present)
2639 -- A single character
2640
2641 VALUE must be a value appropriate for the type of CHAR-TABLE.
2642 See `valid-char-table-type-p'.
2643 */
2644        (range, value, char_table))
2645 {
2646   Lisp_Char_Table *ct;
2647   struct chartab_range rainj;
2648
2649   CHECK_CHAR_TABLE (char_table);
2650   ct = XCHAR_TABLE (char_table);
2651   check_valid_char_table_value (value, ct->type, ERROR_ME);
2652   decode_char_table_range (range, &rainj);
2653   value = canonicalize_char_table_value (value, ct->type);
2654   put_char_table (ct, &rainj, value);
2655   return Qnil;
2656 }
2657
2658 #ifndef UTF2000
2659 /* Map FN over the ASCII chars in CT. */
2660
2661 static int
2662 map_over_charset_ascii (Lisp_Char_Table *ct,
2663                         int (*fn) (struct chartab_range *range,
2664                                    Lisp_Object val, void *arg),
2665                         void *arg)
2666 {
2667   struct chartab_range rainj;
2668   int i, retval;
2669   int start = 0;
2670 #ifdef MULE
2671   int stop = 128;
2672 #else
2673   int stop = 256;
2674 #endif
2675
2676   rainj.type = CHARTAB_RANGE_CHAR;
2677
2678   for (i = start, retval = 0; i < stop && retval == 0; i++)
2679     {
2680       rainj.ch = (Emchar) i;
2681       retval = (fn) (&rainj, ct->ascii[i], arg);
2682     }
2683
2684   return retval;
2685 }
2686
2687 #ifdef MULE
2688
2689 /* Map FN over the Control-1 chars in CT. */
2690
2691 static int
2692 map_over_charset_control_1 (Lisp_Char_Table *ct,
2693                             int (*fn) (struct chartab_range *range,
2694                                        Lisp_Object val, void *arg),
2695                             void *arg)
2696 {
2697   struct chartab_range rainj;
2698   int i, retval;
2699   int start = 128;
2700   int stop  = start + 32;
2701
2702   rainj.type = CHARTAB_RANGE_CHAR;
2703
2704   for (i = start, retval = 0; i < stop && retval == 0; i++)
2705     {
2706       rainj.ch = (Emchar) (i);
2707       retval = (fn) (&rainj, ct->ascii[i], arg);
2708     }
2709
2710   return retval;
2711 }
2712
2713 /* Map FN over the row ROW of two-byte charset CHARSET.
2714    There must be a separate value for that row in the char table.
2715    CTE specifies the char table entry for CHARSET. */
2716
2717 static int
2718 map_over_charset_row (Lisp_Char_Table_Entry *cte,
2719                       Lisp_Object charset, int row,
2720                       int (*fn) (struct chartab_range *range,
2721                                  Lisp_Object val, void *arg),
2722                       void *arg)
2723 {
2724   Lisp_Object val = cte->level2[row - 32];
2725
2726   if (!CHAR_TABLE_ENTRYP (val))
2727     {
2728       struct chartab_range rainj;
2729
2730       rainj.type = CHARTAB_RANGE_ROW;
2731       rainj.charset = charset;
2732       rainj.row = row;
2733       return (fn) (&rainj, val, arg);
2734     }
2735   else
2736     {
2737       struct chartab_range rainj;
2738       int i, retval;
2739       int charset94_p = (XCHARSET_CHARS (charset) == 94);
2740       int start = charset94_p ?  33 :  32;
2741       int stop  = charset94_p ? 127 : 128;
2742
2743       cte = XCHAR_TABLE_ENTRY (val);
2744
2745       rainj.type = CHARTAB_RANGE_CHAR;
2746
2747       for (i = start, retval = 0; i < stop && retval == 0; i++)
2748         {
2749           rainj.ch = MAKE_CHAR (charset, row, i);
2750           retval = (fn) (&rainj, cte->level2[i - 32], arg);
2751         }
2752       return retval;
2753     }
2754 }
2755
2756
2757 static int
2758 map_over_other_charset (Lisp_Char_Table *ct, Charset_ID lb,
2759                         int (*fn) (struct chartab_range *range,
2760                                    Lisp_Object val, void *arg),
2761                         void *arg)
2762 {
2763   Lisp_Object val = ct->level1[lb - MIN_LEADING_BYTE];
2764   Lisp_Object charset = CHARSET_BY_LEADING_BYTE (lb);
2765
2766   if (!CHARSETP (charset)
2767       || lb == LEADING_BYTE_ASCII
2768       || lb == LEADING_BYTE_CONTROL_1)
2769     return 0;
2770
2771   if (!CHAR_TABLE_ENTRYP (val))
2772     {
2773       struct chartab_range rainj;
2774
2775       rainj.type = CHARTAB_RANGE_CHARSET;
2776       rainj.charset = charset;
2777       return (fn) (&rainj, val, arg);
2778     }
2779
2780   {
2781     Lisp_Char_Table_Entry *cte = XCHAR_TABLE_ENTRY (val);
2782     int charset94_p = (XCHARSET_CHARS (charset) == 94);
2783     int start = charset94_p ?  33 :  32;
2784     int stop  = charset94_p ? 127 : 128;
2785     int i, retval;
2786
2787     if (XCHARSET_DIMENSION (charset) == 1)
2788       {
2789         struct chartab_range rainj;
2790         rainj.type = CHARTAB_RANGE_CHAR;
2791
2792         for (i = start, retval = 0; i < stop && retval == 0; i++)
2793           {
2794             rainj.ch = MAKE_CHAR (charset, i, 0);
2795             retval = (fn) (&rainj, cte->level2[i - 32], arg);
2796           }
2797       }
2798     else
2799       {
2800         for (i = start, retval = 0; i < stop && retval == 0; i++)
2801           retval = map_over_charset_row (cte, charset, i, fn, arg);
2802       }
2803
2804     return retval;
2805   }
2806 }
2807
2808 #endif /* MULE */
2809 #endif /* not UTF2000 */
2810
2811 #ifdef UTF2000
2812 struct map_char_table_for_charset_arg
2813 {
2814   int (*fn) (struct chartab_range *range, Lisp_Object val, void *arg);
2815   Lisp_Char_Table *ct;
2816   void *arg;
2817 };
2818
2819 static int
2820 map_char_table_for_charset_fun (struct chartab_range *range,
2821                                 Lisp_Object val, void *arg)
2822 {
2823   struct map_char_table_for_charset_arg *closure =
2824     (struct map_char_table_for_charset_arg *) arg;
2825   Lisp_Object ret;
2826
2827   switch (range->type)
2828     {
2829     case CHARTAB_RANGE_ALL:
2830       break;
2831
2832     case CHARTAB_RANGE_DEFAULT:
2833       break;
2834
2835     case CHARTAB_RANGE_CHARSET:
2836       break;
2837
2838     case CHARTAB_RANGE_ROW:
2839       break;
2840
2841     case CHARTAB_RANGE_CHAR:
2842       ret = get_char_table (range->ch, closure->ct);
2843       if (!UNBOUNDP (ret))
2844         return (closure->fn) (range, ret, closure->arg);
2845       break;
2846
2847     default:
2848       ABORT ();
2849     }
2850
2851   return 0;
2852 }
2853
2854 #endif
2855
2856 /* Map FN (with client data ARG) over range RANGE in char table CT.
2857    Mapping stops the first time FN returns non-zero, and that value
2858    becomes the return value of map_char_table(). */
2859
2860 int
2861 map_char_table (Lisp_Char_Table *ct,
2862                 struct chartab_range *range,
2863                 int (*fn) (struct chartab_range *range,
2864                            Lisp_Object val, void *arg),
2865                 void *arg)
2866 {
2867   switch (range->type)
2868     {
2869     case CHARTAB_RANGE_ALL:
2870 #ifdef UTF2000
2871       if (!UNBOUNDP (ct->default_value))
2872         {
2873           struct chartab_range rainj;
2874           int retval;
2875
2876           rainj.type = CHARTAB_RANGE_DEFAULT;
2877           retval = (fn) (&rainj, ct->default_value, arg);
2878           if (retval != 0)
2879             return retval;
2880         }
2881       if (UINT8_BYTE_TABLE_P (ct->table))
2882         return map_over_uint8_byte_table (XUINT8_BYTE_TABLE(ct->table), ct,
2883                                           0, 3, fn, arg);
2884       else if (UINT16_BYTE_TABLE_P (ct->table))
2885         return map_over_uint16_byte_table (XUINT16_BYTE_TABLE(ct->table), ct,
2886                                            0, 3, fn, arg);
2887       else if (BYTE_TABLE_P (ct->table))
2888         return map_over_byte_table (XBYTE_TABLE(ct->table), ct,
2889                                     0, 3, fn, arg);
2890       else if (EQ (ct->table, Qunloaded))
2891         {
2892 #if 0
2893           struct chartab_range rainj;
2894           int unit = 1 << 30;
2895           Emchar c = 0;
2896           Emchar c1 = c + unit;
2897           int retval;
2898
2899           rainj.type = CHARTAB_RANGE_CHAR;
2900
2901           for (retval = 0; c < c1 && retval == 0; c++)
2902             {
2903               Lisp_Object ret = get_char_id_table (ct, c);
2904
2905               if (!UNBOUNDP (ret))
2906                 {
2907                   rainj.ch = c;
2908                   retval = (fn) (&rainj, ct->table, arg);
2909                 }
2910             }
2911           return retval;
2912 #else
2913           ct->table = Qunbound;
2914 #endif
2915         }
2916       else if (!UNBOUNDP (ct->table))
2917         return (fn) (range, ct->table, arg);
2918       return 0;
2919 #else
2920       {
2921         int retval;
2922
2923         retval = map_over_charset_ascii (ct, fn, arg);
2924         if (retval)
2925           return retval;
2926 #ifdef MULE
2927         retval = map_over_charset_control_1 (ct, fn, arg);
2928         if (retval)
2929           return retval;
2930         {
2931           Charset_ID i;
2932           Charset_ID start = MIN_LEADING_BYTE;
2933           Charset_ID stop  = start + NUM_LEADING_BYTES;
2934
2935           for (i = start, retval = 0; i < stop && retval == 0; i++)
2936             {
2937               retval = map_over_other_charset (ct, i, fn, arg);
2938             }
2939         }
2940 #endif /* MULE */
2941         return retval;
2942       }
2943 #endif
2944
2945 #ifdef UTF2000
2946     case CHARTAB_RANGE_DEFAULT:
2947       if (!UNBOUNDP (ct->default_value))
2948         return (fn) (range, ct->default_value, arg);
2949       return 0;
2950 #endif
2951
2952 #ifdef MULE
2953     case CHARTAB_RANGE_CHARSET:
2954 #ifdef UTF2000
2955       {
2956         Lisp_Object encoding_table
2957           = XCHARSET_ENCODING_TABLE (range->charset);
2958
2959         if (!NILP (encoding_table))
2960           {
2961             struct chartab_range rainj;
2962             struct map_char_table_for_charset_arg mcarg;
2963
2964 #ifdef HAVE_CHISE
2965             if (XCHAR_TABLE_UNLOADED(encoding_table))
2966               Fload_char_attribute_table (XCHAR_TABLE_NAME (encoding_table));
2967 #endif
2968             mcarg.fn = fn;
2969             mcarg.ct = ct;
2970             mcarg.arg = arg;
2971             rainj.type = CHARTAB_RANGE_ALL;
2972             return map_char_table (XCHAR_TABLE(encoding_table),
2973                                    &rainj,
2974                                    &map_char_table_for_charset_fun,
2975                                    &mcarg);
2976           }
2977       }
2978       return 0;
2979 #else
2980       return map_over_other_charset (ct,
2981                                      XCHARSET_LEADING_BYTE (range->charset),
2982                                      fn, arg);
2983 #endif
2984
2985     case CHARTAB_RANGE_ROW:
2986 #ifdef UTF2000
2987       {
2988         int cell_min, cell_max, i;
2989         int retval;
2990         struct chartab_range rainj;
2991
2992         i = XCHARSET_CELL_RANGE (range->charset);
2993         cell_min = i >> 8;
2994         cell_max = i & 0xFF;
2995         rainj.type = CHARTAB_RANGE_CHAR;
2996         for (retval =0, i = cell_min; i <= cell_max && retval == 0; i++)
2997           {
2998             Emchar ch
2999               = DECODE_CHAR (range->charset, (range->row << 8) | i, 0);
3000
3001             if ( charset_code_point (range->charset, ch, 0) >= 0 )
3002               {
3003                 Lisp_Object val
3004                   = get_byte_table (get_byte_table
3005                                     (get_byte_table
3006                                      (get_byte_table
3007                                       (ct->table,
3008                                        (unsigned char)(ch >> 24)),
3009                                       (unsigned char) (ch >> 16)),
3010                                      (unsigned char)  (ch >> 8)),
3011                                     (unsigned char)    ch);
3012
3013                 if (UNBOUNDP (val))
3014                   val = ct->default_value;
3015                 rainj.ch = ch;
3016                 retval = (fn) (&rainj, val, arg);
3017               }
3018           }
3019         return retval;
3020       }
3021 #else
3022       {
3023         Lisp_Object val = ct->level1[XCHARSET_LEADING_BYTE (range->charset)
3024                                     - MIN_LEADING_BYTE];
3025         if (!CHAR_TABLE_ENTRYP (val))
3026           {
3027             struct chartab_range rainj;
3028
3029             rainj.type = CHARTAB_RANGE_ROW;
3030             rainj.charset = range->charset;
3031             rainj.row = range->row;
3032             return (fn) (&rainj, val, arg);
3033           }
3034         else
3035           return map_over_charset_row (XCHAR_TABLE_ENTRY (val),
3036                                        range->charset, range->row,
3037                                        fn, arg);
3038       }
3039 #endif /* not UTF2000 */
3040 #endif /* MULE */
3041
3042     case CHARTAB_RANGE_CHAR:
3043       {
3044         Emchar ch = range->ch;
3045         Lisp_Object val = CHAR_TABLE_VALUE_UNSAFE (ct, ch);
3046
3047         if (!UNBOUNDP (val))
3048           {
3049             struct chartab_range rainj;
3050
3051             rainj.type = CHARTAB_RANGE_CHAR;
3052             rainj.ch = ch;
3053             return (fn) (&rainj, val, arg);
3054           }
3055         return 0;
3056       }
3057
3058     default:
3059       ABORT ();
3060     }
3061
3062   return 0;
3063 }
3064
3065 struct slow_map_char_table_arg
3066 {
3067   Lisp_Object function;
3068   Lisp_Object retval;
3069 };
3070
3071 static int
3072 slow_map_char_table_fun (struct chartab_range *range,
3073                          Lisp_Object val, void *arg)
3074 {
3075   Lisp_Object ranjarg = Qnil;
3076   struct slow_map_char_table_arg *closure =
3077     (struct slow_map_char_table_arg *) arg;
3078
3079   switch (range->type)
3080     {
3081     case CHARTAB_RANGE_ALL:
3082       ranjarg = Qt;
3083       break;
3084
3085 #ifdef UTF2000
3086     case CHARTAB_RANGE_DEFAULT:
3087       ranjarg = Qnil;
3088       break;
3089 #endif
3090
3091 #ifdef MULE
3092     case CHARTAB_RANGE_CHARSET:
3093       ranjarg = XCHARSET_NAME (range->charset);
3094       break;
3095
3096     case CHARTAB_RANGE_ROW:
3097       ranjarg = vector2 (XCHARSET_NAME (range->charset),
3098                          make_int (range->row));
3099       break;
3100 #endif /* MULE */
3101     case CHARTAB_RANGE_CHAR:
3102       ranjarg = make_char (range->ch);
3103       break;
3104     default:
3105       ABORT ();
3106     }
3107
3108   closure->retval = call2 (closure->function, ranjarg, val);
3109   return !NILP (closure->retval);
3110 }
3111
3112 DEFUN ("map-char-table", Fmap_char_table, 2, 3, 0, /*
3113 Map FUNCTION over CHAR-TABLE until it returns non-nil; return that value.
3114 FUNCTION is called with two arguments, each key and entry in the table.
3115
3116 RANGE specifies a subrange to map over and is in the same format as
3117 the RANGE argument to `put-range-table'.  If omitted or t, it defaults to
3118 the entire table.
3119 */
3120        (function, char_table, range))
3121 {
3122   Lisp_Char_Table *ct;
3123   struct slow_map_char_table_arg slarg;
3124   struct gcpro gcpro1, gcpro2;
3125   struct chartab_range rainj;
3126
3127   CHECK_CHAR_TABLE (char_table);
3128   ct = XCHAR_TABLE (char_table);
3129   if (NILP (range))
3130     range = Qt;
3131   decode_char_table_range (range, &rainj);
3132   slarg.function = function;
3133   slarg.retval = Qnil;
3134   GCPRO2 (slarg.function, slarg.retval);
3135   map_char_table (ct, &rainj, slow_map_char_table_fun, &slarg);
3136   UNGCPRO;
3137
3138   return slarg.retval;
3139 }
3140
3141 \f
3142 /************************************************************************/
3143 /*                         Character Attributes                         */
3144 /************************************************************************/
3145
3146 #ifdef UTF2000
3147
3148 Lisp_Object Vchar_attribute_hash_table;
3149
3150 /* We store the char-attributes in hash tables with the names as the
3151    key and the actual char-id-table object as the value.  Occasionally
3152    we need to use them in a list format.  These routines provide us
3153    with that. */
3154 struct char_attribute_list_closure
3155 {
3156   Lisp_Object *char_attribute_list;
3157 };
3158
3159 static int
3160 add_char_attribute_to_list_mapper (Lisp_Object key, Lisp_Object value,
3161                                    void *char_attribute_list_closure)
3162 {
3163   /* This function can GC */
3164   struct char_attribute_list_closure *calcl
3165     = (struct char_attribute_list_closure*) char_attribute_list_closure;
3166   Lisp_Object *char_attribute_list = calcl->char_attribute_list;
3167
3168   *char_attribute_list = Fcons (key, *char_attribute_list);
3169   return 0;
3170 }
3171
3172 #ifdef HAVE_LIBCHISE
3173 static int
3174 char_attribute_list_reset_map_func (CHISE_DS *ds, unsigned char *name)
3175 {
3176   Fmount_char_attribute_table (intern (name));
3177   return 0;
3178 }
3179
3180 DEFUN ("char-attribute-list", Fchar_attribute_list, 0, 1, 0, /*
3181 Return the list of all existing character attributes except coded-charsets.
3182 */
3183        (rehash))
3184 #else
3185 DEFUN ("char-attribute-list", Fchar_attribute_list, 0, 0, 0, /*
3186 Return the list of all existing character attributes except coded-charsets.
3187 */
3188        ())
3189 #endif
3190 {
3191   Lisp_Object char_attribute_list = Qnil;
3192   struct gcpro gcpro1;
3193   struct char_attribute_list_closure char_attribute_list_closure;
3194   
3195 #ifdef HAVE_LIBCHISE
3196   if (!NILP (rehash))
3197     {
3198       open_chise_data_source_maybe ();
3199       chise_ds_foreach_char_feature_name
3200         (default_chise_data_source, &char_attribute_list_reset_map_func);
3201     }
3202 #endif
3203   GCPRO1 (char_attribute_list);
3204   char_attribute_list_closure.char_attribute_list = &char_attribute_list;
3205   elisp_maphash (add_char_attribute_to_list_mapper,
3206                  Vchar_attribute_hash_table,
3207                  &char_attribute_list_closure);
3208   UNGCPRO;
3209   return char_attribute_list;
3210 }
3211
3212 DEFUN ("find-char-attribute-table", Ffind_char_attribute_table, 1, 1, 0, /*
3213 Return char-id-table corresponding to ATTRIBUTE.
3214 */
3215        (attribute))
3216 {
3217   return Fgethash (attribute, Vchar_attribute_hash_table, Qnil);
3218 }
3219
3220
3221 /* We store the char-id-tables in hash tables with the attributes as
3222    the key and the actual char-id-table object as the value.  Each
3223    char-id-table stores values of an attribute corresponding with
3224    characters.  Occasionally we need to get attributes of a character
3225    in a association-list format.  These routines provide us with
3226    that. */
3227 struct char_attribute_alist_closure
3228 {
3229   Emchar char_id;
3230   Lisp_Object *char_attribute_alist;
3231 };
3232
3233 static int
3234 add_char_attribute_alist_mapper (Lisp_Object key, Lisp_Object value,
3235                                  void *char_attribute_alist_closure)
3236 {
3237   /* This function can GC */
3238   struct char_attribute_alist_closure *caacl =
3239     (struct char_attribute_alist_closure*) char_attribute_alist_closure;
3240   Lisp_Object ret
3241     = get_char_id_table (XCHAR_TABLE(value), caacl->char_id);
3242   if (!UNBOUNDP (ret))
3243     {
3244       Lisp_Object *char_attribute_alist = caacl->char_attribute_alist;
3245       *char_attribute_alist
3246         = Fcons (Fcons (key, ret), *char_attribute_alist);
3247     }
3248   return 0;
3249 }
3250
3251 DEFUN ("char-attribute-alist", Fchar_attribute_alist, 1, 1, 0, /*
3252 Return the alist of attributes of CHARACTER.
3253 */
3254        (character))
3255 {
3256   struct gcpro gcpro1;
3257   struct char_attribute_alist_closure char_attribute_alist_closure;
3258   Lisp_Object alist = Qnil;
3259
3260   CHECK_CHAR (character);
3261
3262   GCPRO1 (alist);
3263   char_attribute_alist_closure.char_id = XCHAR (character);
3264   char_attribute_alist_closure.char_attribute_alist = &alist;
3265   elisp_maphash (add_char_attribute_alist_mapper,
3266                  Vchar_attribute_hash_table,
3267                  &char_attribute_alist_closure);
3268   UNGCPRO;
3269
3270   return alist;
3271 }
3272
3273 DEFUN ("get-char-attribute", Fget_char_attribute, 2, 3, 0, /*
3274 Return the value of CHARACTER's ATTRIBUTE.
3275 Return DEFAULT-VALUE if the value is not exist.
3276 */
3277        (character, attribute, default_value))
3278 {
3279   Lisp_Object table;
3280
3281   CHECK_CHAR (character);
3282
3283   if (CHARSETP (attribute))
3284     attribute = XCHARSET_NAME (attribute);
3285
3286   table = Fgethash (attribute, Vchar_attribute_hash_table,
3287                     Qunbound);
3288   if (!UNBOUNDP (table))
3289     {
3290       Lisp_Object ret = get_char_id_table (XCHAR_TABLE(table),
3291                                            XCHAR (character));
3292       if (!UNBOUNDP (ret))
3293         return ret;
3294     }
3295   return default_value;
3296 }
3297
3298 static Lisp_Object
3299 find_char_feature_in_family (Lisp_Object character,
3300                              Lisp_Object con_feature,
3301                              Lisp_Object feature,
3302                              Lisp_Object feature_rel_max)
3303 {
3304   Lisp_Object ancestors
3305     = Fget_char_attribute (character, con_feature, Qnil);
3306
3307   while (!NILP (ancestors))
3308     {
3309       Lisp_Object ancestor = XCAR (ancestors);
3310       Lisp_Object ret;
3311
3312       if (EQ (ancestor, character))
3313         return Qunbound;
3314
3315       ret = Fchar_feature (ancestor, feature, Qunbound,
3316                            Qnil, make_int (0));
3317       if (!UNBOUNDP (ret))
3318         return ret;
3319
3320       ancestors = XCDR (ancestors);
3321
3322       ret = Fget_char_attribute (ancestor, Q_subsumptive_from, Qnil);
3323       if (!NILP (ret))
3324         ancestors = nconc2 (Fcopy_sequence (ancestors), ret);
3325
3326       ret = Fget_char_attribute (ancestor, Q_denotational_from, Qnil);
3327       if (!NILP (ret))
3328         ancestors = nconc2 (Fcopy_sequence (ancestors), ret);
3329     }
3330   return Qunbound;
3331 }
3332
3333 DEFUN ("char-feature", Fchar_feature, 2, 5, 0, /*
3334 Return the value of CHARACTER's FEATURE.
3335 Return DEFAULT-VALUE if the value is not exist.
3336 */
3337        (character, attribute, default_value,
3338         feature_rel_max, char_rel_max))
3339 {
3340   Lisp_Object ret
3341     = Fget_char_attribute (character, attribute, Qunbound);
3342
3343   if (!UNBOUNDP (ret))
3344     return ret;
3345
3346   if (NILP (feature_rel_max)
3347       || (INTP (feature_rel_max) &&
3348           XINT (feature_rel_max) > 0))
3349     {
3350       Lisp_String* name = symbol_name (XSYMBOL (attribute));
3351       Bufbyte *name_str = string_data (name);
3352
3353       if (name_str[0] == '=' && name_str[1] == '>')
3354         {
3355           Bytecount length = string_length (name) - 1;
3356           Lisp_Object map_to = make_uninit_string (length);
3357
3358           memcpy (XSTRING_DATA (map_to) + 1, name_str + 2, length - 1);
3359           XSTRING_DATA(map_to)[0] = '=';
3360           ret = Fchar_feature (character, Fintern (map_to, Qnil),
3361                                Qunbound,
3362                                NILP (feature_rel_max)
3363                                ? feature_rel_max
3364                                : make_int (XINT (feature_rel_max) - 1),
3365                                char_rel_max);
3366           if (!UNBOUNDP (ret))
3367             return ret;
3368         }
3369     }
3370
3371   if ( !(EQ (attribute, Q_identical)) &&
3372        !(EQ (attribute, Q_subsumptive_from)) &&
3373        !(EQ (attribute, Q_denotational_from)) &&
3374        ( (NILP (char_rel_max)
3375           || (INTP (char_rel_max) &&
3376               XINT (char_rel_max) > 0)) ) )
3377     {
3378       Lisp_String* name = symbol_name (XSYMBOL (attribute));
3379       Bufbyte *name_str = string_data (name);
3380
3381       if ( (name_str[0] != '=') || (name_str[1] == '>') )
3382         {
3383           ret = find_char_feature_in_family (character, Q_identical,
3384                                              attribute, feature_rel_max);
3385           if (!UNBOUNDP (ret))
3386             return ret;
3387
3388           ret = find_char_feature_in_family (character, Q_subsumptive_from,
3389                                              attribute, feature_rel_max);
3390           if (!UNBOUNDP (ret))
3391             return ret;
3392
3393           ret = find_char_feature_in_family (character, Q_denotational_from,
3394                                              attribute, feature_rel_max);
3395           if (!UNBOUNDP (ret))
3396             return ret;
3397         }
3398     }
3399   return default_value;
3400 }
3401
3402 Lisp_Object
3403 put_char_composition (Lisp_Object character, Lisp_Object value);
3404 Lisp_Object
3405 put_char_composition (Lisp_Object character, Lisp_Object value)
3406 {
3407   if (!CONSP (value))
3408     signal_simple_error ("Invalid value for =decomposition",
3409                          value);
3410
3411   if (CONSP (XCDR (value)))
3412     {
3413       if (NILP (Fcdr (XCDR (value))))
3414         {
3415           Lisp_Object base = XCAR (value);
3416           Lisp_Object modifier = XCAR (XCDR (value));
3417
3418           if (INTP (base))
3419             {
3420               base = make_char (XINT (base));
3421               Fsetcar (value, base);
3422             }
3423           if (INTP (modifier))
3424             {
3425               modifier = make_char (XINT (modifier));
3426               Fsetcar (XCDR (value), modifier);
3427             }
3428           if (CHARP (base))
3429             {
3430               Lisp_Object alist
3431                 = Fchar_feature (base, Qcomposition, Qnil,
3432                                  Qnil, Qnil);
3433               Lisp_Object ret = Fassq (modifier, alist);
3434
3435               if (NILP (ret))
3436                 Fput_char_attribute (base, Qcomposition,
3437                                      Fcons (Fcons (modifier, character),
3438                                             alist));
3439               else
3440                 Fsetcdr (ret, character);
3441             }
3442           else if (EQ (base, Qnarrow))
3443             return Q_halfwidth_of;
3444           else if (EQ (base, Qsuper))
3445             return Q_superscript_of;
3446           else if (EQ (base, Qsub))
3447             return Q_subscript_of;
3448           else if (EQ (base, Qcircle))
3449             return Q_circled_of;
3450           else if ( EQ (base, Qisolated)||
3451                     EQ (base, Qinitial) ||
3452                     EQ (base, Qmedial)  ||
3453                     EQ (base, Qfinal) )
3454             return
3455               Fintern (concat2 (build_string ("<-formed@"),
3456                                 Fsymbol_name (base)),
3457                        Qnil);
3458           else if (SYMBOLP (base))
3459             return
3460               Fintern (concat2 (build_string ("<-"),
3461                                 Fsymbol_name (base)),
3462                        Qnil);
3463         }
3464       else if (EQ (XCAR (value), Qsuper))
3465         return Qto_decomposition_at_superscript;
3466       else if (EQ (XCAR (value), Qcircle))
3467         return Qto_decomposition_at_circled;
3468       else
3469         return
3470           Fintern (concat2 (build_string ("=>decomposition@"),
3471                             Fsymbol_name (XCAR (value))),
3472                    Qnil);
3473     }
3474   else
3475     {
3476       return Q_canonical;
3477 #if 0
3478       Lisp_Object v = Fcar (value);
3479
3480       if (INTP (v))
3481         {
3482           Emchar c = DECODE_CHAR (Vcharset_ucs, XINT (v), 0);
3483           Lisp_Object ret
3484             = Fchar_feature (make_char (c), Q_ucs_unified, Qnil,
3485                              Qnil, Qnil);
3486
3487           if (!CONSP (ret))
3488             {
3489               Fput_char_attribute (make_char (c), Q_ucs_unified,
3490                                    Fcons (character, Qnil));
3491             }
3492           else if (NILP (Fmemq (character, ret)))
3493             {
3494               Fput_char_attribute (make_char (c), Q_ucs_unified,
3495                                    Fcons (character, ret));
3496             }
3497         }
3498 #endif
3499     }
3500   return Qrep_decomposition;
3501 }
3502
3503 static Lisp_Object
3504 put_char_attribute (Lisp_Object character, Lisp_Object attribute,
3505                     Lisp_Object value)
3506 {
3507   Lisp_Object table = Fgethash (attribute,
3508                                 Vchar_attribute_hash_table,
3509                                 Qnil);
3510
3511   if (NILP (table))
3512     {
3513       table = make_char_id_table (Qunbound);
3514       Fputhash (attribute, table, Vchar_attribute_hash_table);
3515 #ifdef HAVE_CHISE
3516       XCHAR_TABLE_NAME (table) = attribute;
3517 #endif
3518     }
3519   put_char_id_table (XCHAR_TABLE(table), character, value);
3520   return value;
3521 }
3522
3523 DEFUN ("put-char-attribute", Fput_char_attribute, 3, 3, 0, /*
3524 Store CHARACTER's ATTRIBUTE with VALUE.
3525 */
3526        (character, attribute, value))
3527 {
3528   Lisp_Object ccs = Ffind_charset (attribute);
3529
3530   CHECK_CHAR (character);
3531
3532   if (!NILP (ccs))
3533     {
3534       value = put_char_ccs_code_point (character, ccs, value);
3535       attribute = XCHARSET_NAME (ccs);
3536     }
3537   else if ( EQ (attribute, Qrep_decomposition) ||
3538             EQ (attribute, Q_decomposition) ||
3539             !NILP (Fstring_match (build_string ("^=decomposition@[^*]+$"),
3540                                   Fsymbol_name (attribute),
3541                                   Qnil, Qnil))
3542             )
3543     {
3544       Lisp_Object ret;
3545
3546       value = Fcopy_sequence (Fchar_refs_simplify_char_specs (value));
3547       ret = put_char_composition (character, value);
3548       if ( !EQ (ret, Qrep_decomposition) &&
3549            SYMBOLP (XCAR (value)) )
3550         {
3551           attribute = ret;
3552           value = XCDR (value);
3553         }
3554     }
3555   else if (EQ (attribute, Qto_ucs))
3556     {
3557       Lisp_Object ret;
3558       Emchar c;
3559
3560       if (!INTP (value))
3561         signal_simple_error ("Invalid value for =>ucs", value);
3562
3563       c = DECODE_CHAR (Vcharset_ucs, XINT (value), 0);
3564
3565       ret = Fchar_feature (make_char (c), Q_ucs_unified, Qnil,
3566                            Qnil, Qnil);
3567       if (!CONSP (ret))
3568         put_char_attribute (make_char (c), Q_ucs_unified,
3569                             list1 (character));
3570       else if (NILP (Fmemq (character, ret)))
3571         Fput_char_attribute (make_char (c), Q_ucs_unified,
3572                              Fcons (character, ret));
3573     }
3574   if ( EQ (attribute, Q_subsumptive)            ||
3575        EQ (attribute, Q_subsumptive_from)       ||
3576        EQ (attribute, Q_denotational)           ||
3577        EQ (attribute, Q_denotational_from)      ||
3578        EQ (attribute, Q_identical)              ||
3579        EQ (attribute, Q_identical_from)         ||
3580        EQ (attribute, Q_canonical)              ||
3581        EQ (attribute, Q_halfwidth_of)           ||
3582        EQ (attribute, Q_superscript_of)         ||
3583        EQ (attribute, Q_subscript_of)           ||
3584        EQ (attribute, Q_circled_of)             ||
3585        EQ (attribute, Q_component)              ||
3586        EQ (attribute, Q_component_of)           ||
3587        ( !EQ (attribute, Q_ucs_unified)
3588          && !NILP (Fstring_match
3589                    (build_string ("^\\(<-\\|->\\)[^*]*$"),
3590                     Fsymbol_name (attribute),
3591                     Qnil, Qnil))
3592          )
3593        )
3594     {
3595       Lisp_Object rest = value;
3596       Lisp_Object ret;
3597       Lisp_Object rev_feature = Qnil;
3598       struct gcpro gcpro1;
3599       GCPRO1 (rev_feature);
3600
3601       if (EQ (attribute, Q_identical))
3602         rev_feature = Q_identical_from;
3603       else if (EQ (attribute, Q_identical_from))
3604         rev_feature = Q_identical;
3605       else if (EQ (attribute, Q_subsumptive))
3606         rev_feature = Q_subsumptive_from;
3607       else if (EQ (attribute, Q_subsumptive_from))
3608         rev_feature = Q_subsumptive;
3609       else if (EQ (attribute, Q_denotational))
3610         rev_feature = Q_denotational_from;
3611       else if (EQ (attribute, Q_denotational_from))
3612         rev_feature = Q_denotational;
3613       else if (EQ (attribute, Q_component))
3614         rev_feature = Q_component_of;
3615       else if (EQ (attribute, Q_component_of))
3616         rev_feature = Q_component;
3617       else
3618         {
3619           Lisp_String* name = symbol_name (XSYMBOL (attribute));
3620           Bufbyte *name_str = string_data (name);
3621
3622           if ( (name_str[0] == '<' && name_str[1] == '-') || 
3623                (name_str[0] == '-' && name_str[1] == '>') )
3624             {
3625               Bytecount length = string_length (name);
3626               Bufbyte *rev_name_str = alloca (length + 1);
3627
3628               memcpy (rev_name_str + 2, name_str + 2, length - 2);
3629               if (name_str[0] == '<')
3630                 {
3631                   rev_name_str[0] = '-';
3632                   rev_name_str[1] = '>';
3633                 }
3634               else
3635                 {
3636                   rev_name_str[0] = '<';
3637                   rev_name_str[1] = '-';
3638                 }
3639               rev_name_str[length] = 0;
3640               rev_feature = intern (rev_name_str);
3641             }
3642         }
3643
3644       while (CONSP (rest))
3645         {
3646           ret = XCAR (rest);
3647
3648           if (CONSP (ret))
3649             ret = Fdefine_char (ret);
3650           else if (INTP (ret))
3651             {
3652               int code_point = XINT (ret);
3653               Emchar cid = DECODE_CHAR (Vcharset_ucs, code_point, 0);
3654
3655               if (cid >= 0)
3656                 ret = make_char (cid);
3657               else
3658                 ret = make_char (code_point);
3659             }
3660
3661           if ( !NILP (ret) && !EQ (ret, character) )
3662             {
3663               Lisp_Object ffv;
3664
3665               ffv = Fget_char_attribute (ret, rev_feature, Qnil);
3666               if (!CONSP (ffv))
3667                 put_char_attribute (ret, rev_feature, list1 (character));
3668               else if (NILP (Fmemq (character, ffv)))
3669                 put_char_attribute
3670                   (ret, rev_feature,
3671                    nconc2 (Fcopy_sequence (ffv), list1 (character)));
3672               Fsetcar (rest, ret);
3673             }
3674           rest = XCDR (rest);
3675         }
3676       UNGCPRO;
3677     }
3678 #if 1
3679   else if ( EQ (attribute, Qideographic_structure) ||
3680             !NILP (Fstring_match
3681                    (build_string ("^=>decomposition\\(\\|@[^*]+\\)$"),
3682                     Fsymbol_name (attribute),
3683                     Qnil, Qnil)) )
3684     value = Fcopy_sequence (Fchar_refs_simplify_char_specs (value));
3685 #endif
3686   return put_char_attribute (character, attribute, value);
3687 }
3688   
3689 DEFUN ("remove-char-attribute", Fremove_char_attribute, 2, 2, 0, /*
3690 Remove CHARACTER's ATTRIBUTE.
3691 */
3692        (character, attribute))
3693 {
3694   Lisp_Object ccs;
3695
3696   CHECK_CHAR (character);
3697   ccs = Ffind_charset (attribute);
3698   if (!NILP (ccs))
3699     {
3700       return remove_char_ccs (character, ccs);
3701     }
3702   else
3703     {
3704       Lisp_Object table = Fgethash (attribute,
3705                                     Vchar_attribute_hash_table,
3706                                     Qunbound);
3707       if (!UNBOUNDP (table))
3708         {
3709           put_char_id_table (XCHAR_TABLE(table), character, Qunbound);
3710           return Qt;
3711         }
3712     }
3713   return Qnil;
3714 }
3715
3716 #ifdef HAVE_CHISE
3717
3718 int char_table_open_db_maybe (Lisp_Char_Table* cit);
3719 void char_table_close_db_maybe (Lisp_Char_Table* cit);
3720 Lisp_Object char_table_get_db (Lisp_Char_Table* cit, Emchar ch);
3721
3722 #ifdef HAVE_LIBCHISE
3723 int
3724 open_chise_data_source_maybe ()
3725 {
3726   if (default_chise_data_source == NULL)
3727     {
3728       Lisp_Object db_dir = Vdata_directory;
3729       int modemask = 0755;              /* rwxr-xr-x */
3730
3731       if (NILP (db_dir))
3732         db_dir = build_string ("../etc");
3733       db_dir = Fexpand_file_name (build_string ("chise-db"), db_dir);
3734
3735       default_chise_data_source
3736         = CHISE_DS_open (CHISE_DS_Berkeley_DB, XSTRING_DATA (db_dir),
3737                          0 /* DB_HASH */, modemask);
3738       if (default_chise_data_source == NULL)
3739         return -1;
3740 #if 0
3741       chise_ds_set_make_string_function (default_chise_data_source,
3742                                          &make_string);
3743 #endif
3744     }
3745   return 0;
3746 }
3747 #endif /* HAVE_LIBCHISE */
3748
3749 DEFUN ("close-char-data-source", Fclose_char_data_source, 0, 0, 0, /*
3750 Close data-source of CHISE.
3751 */
3752        ())
3753 {
3754 #ifdef HAVE_LIBCHISE
3755   int status = CHISE_DS_close (default_chise_data_source);
3756
3757   default_chise_data_source = NULL;
3758   if (status)
3759     return Qt;
3760 #endif /* HAVE_LIBCHISE */
3761   return Qnil;
3762 }
3763
3764 int
3765 char_table_open_db_maybe (Lisp_Char_Table* cit)
3766 {
3767   Lisp_Object attribute = CHAR_TABLE_NAME (cit);
3768
3769   if (!NILP (attribute))
3770     {
3771 #ifdef HAVE_LIBCHISE
3772       if ( open_chise_data_source_maybe () )
3773         return -1;
3774 #else /* HAVE_LIBCHISE */
3775       if (NILP (Fdatabase_live_p (cit->db)))
3776         {
3777           Lisp_Object db_file
3778             = char_attribute_system_db_file (Qsystem_char_id, attribute, 0);
3779
3780           cit->db = Fopen_database (db_file, Qnil, Qnil,
3781                                     build_string ("r"), Qnil);
3782           if (NILP (cit->db))
3783             return -1;
3784         }
3785 #endif /* not HAVE_LIBCHISE */
3786       return 0;
3787     }
3788   else
3789     return -1;
3790 }
3791
3792 void
3793 char_table_close_db_maybe (Lisp_Char_Table* cit)
3794 {
3795 #ifndef HAVE_LIBCHISE
3796   if (!NILP (cit->db))
3797     {
3798       if (!NILP (Fdatabase_live_p (cit->db)))
3799         Fclose_database (cit->db);
3800       cit->db = Qnil;
3801     }
3802 #endif /* not HAVE_LIBCHISE */
3803 }
3804
3805 Lisp_Object
3806 char_table_get_db (Lisp_Char_Table* cit, Emchar ch)
3807 {
3808   Lisp_Object val;
3809 #ifdef HAVE_LIBCHISE
3810   CHISE_Value value;
3811   int status
3812     = chise_ds_load_char_feature_value (default_chise_data_source, ch,
3813                                         XSTRING_DATA(Fsymbol_name
3814                                                      (cit->name)),
3815                                         &value);
3816
3817   if (!status)
3818     {
3819 #if 0
3820       val = Fread (make_string (chise_value_data (&value),
3821                                 chise_value_size (&value) ));
3822 #else
3823       val = read_from_c_string (chise_value_data (&value),
3824                                 chise_value_size (&value) );
3825 #endif
3826     }
3827   else
3828     val = Qunbound;
3829 #else /* HAVE_LIBCHISE */
3830   val = Fget_database (Fprin1_to_string (make_char (ch), Qnil),
3831                        cit->db, Qunbound);
3832   if (!UNBOUNDP (val))
3833     val = Fread (val);
3834   else
3835     val = Qunbound;
3836 #endif /* not HAVE_LIBCHISE */
3837   return val;
3838 }
3839
3840 #ifndef HAVE_LIBCHISE
3841 Lisp_Object
3842 char_attribute_system_db_file (Lisp_Object key_type, Lisp_Object attribute,
3843                                int writing_mode)
3844 {
3845   Lisp_Object db_dir = Vdata_directory;
3846
3847   if (NILP (db_dir))
3848     db_dir = build_string ("../etc");
3849
3850   db_dir = Fexpand_file_name (build_string ("chise-db"), db_dir);
3851   if (writing_mode && NILP (Ffile_exists_p (db_dir)))
3852     Fmake_directory_internal (db_dir);
3853
3854   db_dir = Fexpand_file_name (Fsymbol_name (key_type), db_dir);
3855   if (writing_mode && NILP (Ffile_exists_p (db_dir)))
3856     Fmake_directory_internal (db_dir);
3857
3858   {
3859     Lisp_Object attribute_name = Fsymbol_name (attribute);
3860     Lisp_Object dest = Qnil, ret;
3861     int base = 0;
3862     struct gcpro gcpro1, gcpro2;
3863     int len = XSTRING_CHAR_LENGTH (attribute_name);
3864     int i;
3865
3866     GCPRO2 (dest, ret);
3867     for (i = 0; i < len; i++)
3868       {
3869         Emchar c = string_char (XSTRING (attribute_name), i);
3870
3871         if ( (c == '/') || (c == '%') )
3872           {
3873             char str[4];
3874
3875             sprintf (str, "%%%02X", c);
3876             dest = concat3 (dest,
3877                             Fsubstring (attribute_name,
3878                                         make_int (base), make_int (i)),
3879                             build_string (str));
3880             base = i + 1;
3881           }
3882       }
3883     ret = Fsubstring (attribute_name, make_int (base), make_int (len));
3884     dest = concat2 (dest, ret);
3885     UNGCPRO;
3886     return Fexpand_file_name (dest, db_dir);
3887   }
3888 }
3889 #endif /* not HAVE_LIBCHISE */
3890
3891 DEFUN ("save-char-attribute-table", Fsave_char_attribute_table, 1, 1, 0, /*
3892 Save values of ATTRIBUTE into database file.
3893 */
3894        (attribute))
3895 {
3896   Lisp_Object table = Fgethash (attribute,
3897                                 Vchar_attribute_hash_table, Qunbound);
3898   Lisp_Char_Table *ct;
3899 #ifdef HAVE_LIBCHISE
3900   CHISE_Feature feature;
3901 #else /* HAVE_LIBCHISE */
3902   Lisp_Object db_file;
3903   Lisp_Object db;
3904 #endif /* not HAVE_LIBCHISE */
3905
3906   if (CHAR_TABLEP (table))
3907     ct = XCHAR_TABLE (table);
3908   else
3909     return Qnil;
3910
3911 #ifdef HAVE_LIBCHISE
3912   if ( open_chise_data_source_maybe () )
3913     return -1;
3914   feature
3915     = chise_ds_get_feature (default_chise_data_source,
3916                             XSTRING_DATA (Fsymbol_name (attribute)));
3917 #else /* HAVE_LIBCHISE */
3918   db_file = char_attribute_system_db_file (Qsystem_char_id, attribute, 1);
3919   db = Fopen_database (db_file, Qnil, Qnil, build_string ("w+"), Qnil);
3920 #endif /* not HAVE_LIBCHISE */
3921   if (
3922 #ifdef HAVE_LIBCHISE
3923       feature != NULL
3924 #else /* HAVE_LIBCHISE */
3925       !NILP (db)
3926 #endif /* not HAVE_LIBCHISE */
3927       )
3928     {
3929       Lisp_Object (*filter)(Lisp_Object value);
3930
3931       if ( !NILP (Ffind_charset (attribute)) )
3932         filter = NULL;
3933       else if ( EQ (attribute, Qideographic_structure)  ||
3934                 EQ (attribute, Q_identical)             ||
3935                 EQ (attribute, Q_identical_from)        ||
3936                 EQ (attribute, Q_canonical)             ||
3937                 EQ (attribute, Q_halfwidth_of)          ||
3938                 EQ (attribute, Q_superscript_of)        ||
3939                 EQ (attribute, Q_subscript_of)          ||
3940                 EQ (attribute, Q_circled_of)            ||
3941                 !NILP (Fstring_match
3942                        (build_string ("^\\(<-\\|->\\)\\(simplified"
3943                                       "\\|same\\|vulgar\\|wrong"
3944                                       "\\|original\\|ancient"
3945                                       "\\|Oracle-Bones\\)[^*]*$"),
3946                         Fsymbol_name (attribute),
3947                         Qnil, Qnil)) )
3948         filter = &Fchar_refs_simplify_char_specs;
3949       else
3950         filter = NULL;
3951
3952       if (UINT8_BYTE_TABLE_P (ct->table))
3953         save_uint8_byte_table (XUINT8_BYTE_TABLE(ct->table), ct,
3954 #ifdef HAVE_LIBCHISE
3955                                feature,
3956 #else /* HAVE_LIBCHISE */
3957                                db,
3958 #endif /* not HAVE_LIBCHISE */
3959                                0, 3, filter);
3960       else if (UINT16_BYTE_TABLE_P (ct->table))
3961         save_uint16_byte_table (XUINT16_BYTE_TABLE(ct->table), ct,
3962 #ifdef HAVE_LIBCHISE
3963                                 feature,
3964 #else /* HAVE_LIBCHISE */
3965                                 db,
3966 #endif /* not HAVE_LIBCHISE */
3967                                 0, 3, filter);
3968       else if (BYTE_TABLE_P (ct->table))
3969         save_byte_table (XBYTE_TABLE(ct->table), ct,
3970 #ifdef HAVE_LIBCHISE
3971                          feature,
3972 #else /* HAVE_LIBCHISE */
3973                          db,
3974 #endif /* not HAVE_LIBCHISE */
3975                          0, 3, filter);
3976 #ifdef HAVE_LIBCHISE
3977       chise_feature_sync (feature);
3978 #else /* HAVE_LIBCHISE */
3979       Fclose_database (db);
3980 #endif /* not HAVE_LIBCHISE */
3981       return Qt;
3982     }
3983   else
3984     return Qnil;
3985 }
3986
3987 DEFUN ("mount-char-attribute-table", Fmount_char_attribute_table, 1, 1, 0, /*
3988 Mount database file on char-attribute-table ATTRIBUTE.
3989 */
3990        (attribute))
3991 {
3992   Lisp_Object table = Fgethash (attribute,
3993                                 Vchar_attribute_hash_table, Qunbound);
3994
3995   if (UNBOUNDP (table))
3996     {
3997       Lisp_Char_Table *ct;
3998
3999       table = make_char_id_table (Qunbound);
4000       Fputhash (attribute, table, Vchar_attribute_hash_table);
4001       XCHAR_TABLE_NAME(table) = attribute;
4002       ct = XCHAR_TABLE (table);
4003       ct->table = Qunloaded;
4004       XCHAR_TABLE_UNLOADED(table) = 1;
4005 #ifndef HAVE_LIBCHISE
4006       ct->db = Qnil;
4007 #endif /* not HAVE_LIBCHISE */
4008       return Qt;
4009     }
4010   return Qnil;
4011 }
4012
4013 DEFUN ("close-char-attribute-table", Fclose_char_attribute_table, 1, 1, 0, /*
4014 Close database of ATTRIBUTE.
4015 */
4016        (attribute))
4017 {
4018   Lisp_Object table = Fgethash (attribute,
4019                                 Vchar_attribute_hash_table, Qunbound);
4020   Lisp_Char_Table *ct;
4021
4022   if (CHAR_TABLEP (table))
4023     ct = XCHAR_TABLE (table);
4024   else
4025     return Qnil;
4026   char_table_close_db_maybe (ct);
4027   return Qnil;
4028 }
4029
4030 DEFUN ("reset-char-attribute-table", Freset_char_attribute_table, 1, 1, 0, /*
4031 Reset values of ATTRIBUTE with database file.
4032 */
4033        (attribute))
4034 {
4035 #ifdef HAVE_LIBCHISE
4036   CHISE_Feature feature
4037     = chise_ds_get_feature (default_chise_data_source,
4038                             XSTRING_DATA (Fsymbol_name
4039                                           (attribute)));
4040
4041   if (feature == NULL)
4042     return Qnil;
4043
4044   if (chise_feature_setup_db (feature, 0) == 0)
4045     {
4046       Lisp_Object table = Fgethash (attribute,
4047                                     Vchar_attribute_hash_table, Qunbound);
4048       Lisp_Char_Table *ct;
4049
4050       chise_feature_sync (feature);
4051       if (UNBOUNDP (table))
4052         {
4053           table = make_char_id_table (Qunbound);
4054           Fputhash (attribute, table, Vchar_attribute_hash_table);
4055           XCHAR_TABLE_NAME(table) = attribute;
4056         }
4057       ct = XCHAR_TABLE (table);
4058       ct->table = Qunloaded;
4059       char_table_close_db_maybe (ct);
4060       XCHAR_TABLE_UNLOADED(table) = 1;
4061       return Qt;
4062     }
4063 #else
4064   Lisp_Object table = Fgethash (attribute,
4065                                 Vchar_attribute_hash_table, Qunbound);
4066   Lisp_Char_Table *ct;
4067   Lisp_Object db_file
4068     = char_attribute_system_db_file (Qsystem_char_id, attribute, 0);
4069
4070   if (!NILP (Ffile_exists_p (db_file)))
4071     {
4072       if (UNBOUNDP (table))
4073         {
4074           table = make_char_id_table (Qunbound);
4075           Fputhash (attribute, table, Vchar_attribute_hash_table);
4076           XCHAR_TABLE_NAME(table) = attribute;
4077         }
4078       ct = XCHAR_TABLE (table);
4079       ct->table = Qunloaded;
4080       char_table_close_db_maybe (ct);
4081       XCHAR_TABLE_UNLOADED(table) = 1;
4082       return Qt;
4083     }
4084 #endif
4085   return Qnil;
4086 }
4087
4088 Lisp_Object
4089 load_char_attribute_maybe (Lisp_Char_Table* cit, Emchar ch)
4090 {
4091   Lisp_Object attribute = CHAR_TABLE_NAME (cit);
4092
4093   if (!NILP (attribute))
4094     {
4095       Lisp_Object val;
4096
4097       if (char_table_open_db_maybe (cit))
4098         return Qunbound;
4099
4100       val = char_table_get_db (cit, ch);
4101
4102       if (!NILP (Vchar_db_stingy_mode))
4103         char_table_close_db_maybe (cit);
4104
4105       return val;
4106     }
4107   return Qunbound;
4108 }
4109
4110 Lisp_Char_Table* char_attribute_table_to_load;
4111
4112 #ifdef HAVE_LIBCHISE
4113 int
4114 load_char_attribute_table_map_func (CHISE_Char_ID cid,
4115                                     CHISE_Feature feature,
4116                                     CHISE_Value *value);
4117 int
4118 load_char_attribute_table_map_func (CHISE_Char_ID cid,
4119                                     CHISE_Feature feature,
4120                                     CHISE_Value *value)
4121 {
4122   Emchar code = cid;
4123   Lisp_Object ret = get_char_id_table_0 (char_attribute_table_to_load, code);
4124
4125   if (EQ (ret, Qunloaded))
4126     put_char_id_table_0 (char_attribute_table_to_load, code,
4127                          Fread (make_string ((Bufbyte *) value->data,
4128                                              value->size)));
4129   return 0;
4130 }
4131 #else /* HAVE_LIBCHISE */
4132 Lisp_Object Qload_char_attribute_table_map_function;
4133
4134 DEFUN ("load-char-attribute-table-map-function",
4135        Fload_char_attribute_table_map_function, 2, 2, 0, /*
4136 For internal use.  Don't use it.
4137 */
4138        (key, value))
4139 {
4140   Lisp_Object c = Fread (key);
4141   Emchar code = XCHAR (c);
4142   Lisp_Object ret = get_char_id_table_0 (char_attribute_table_to_load, code);
4143
4144   if (EQ (ret, Qunloaded))
4145     put_char_id_table_0 (char_attribute_table_to_load, code, Fread (value));
4146   return Qnil;
4147 }
4148 #endif /* not HAVE_LIBCHISE */
4149
4150 DEFUN ("load-char-attribute-table", Fload_char_attribute_table, 1, 1, 0, /*
4151 Load values of ATTRIBUTE into database file.
4152 */
4153        (attribute))
4154 {
4155   Lisp_Object table = Fgethash (attribute,
4156                                 Vchar_attribute_hash_table,
4157                                 Qunbound);
4158   if (CHAR_TABLEP (table))
4159     {
4160       Lisp_Char_Table *cit = XCHAR_TABLE (table);
4161
4162       if (char_table_open_db_maybe (cit))
4163         return Qnil;
4164
4165       char_attribute_table_to_load = XCHAR_TABLE (table);
4166       {
4167         struct gcpro gcpro1;
4168
4169         GCPRO1 (table);
4170 #ifdef HAVE_LIBCHISE
4171         chise_feature_foreach_char_with_value
4172           (chise_ds_get_feature (default_chise_data_source,
4173                                  XSTRING_DATA (Fsymbol_name (cit->name))),
4174            &load_char_attribute_table_map_func);
4175 #else /* HAVE_LIBCHISE */
4176         Fmap_database (Qload_char_attribute_table_map_function, cit->db);
4177 #endif /* not HAVE_LIBCHISE */
4178         UNGCPRO;
4179       }
4180       char_table_close_db_maybe (cit);
4181       XCHAR_TABLE_UNLOADED(table) = 0;
4182       return Qt;
4183     }
4184   return Qnil;
4185 }
4186 #endif /* HAVE_CHISE */
4187
4188 DEFUN ("map-char-attribute", Fmap_char_attribute, 2, 3, 0, /*
4189 Map FUNCTION over ATTRIBUTE until it returns non-nil; return that value.
4190 FUNCTION is called with two arguments, each key and entry in the table.
4191
4192 RANGE specifies a subrange to map over.  If omitted or t, it defaults to
4193 the entire table.
4194
4195 Both RANGE and the keys passed to FUNCTION are in the same format as the
4196 RANGE argument to `put-char-table'.  N.B. This function does NOT map over
4197 all characters in RANGE, but over the subranges that have been assigned to.
4198 Thus this function is most suitable for searching a char-table, or for
4199 populating one char-table based on the contents of another.  The current
4200 implementation does not coalesce ranges all of whose values are the same.
4201 */
4202        (function, attribute, range))
4203 {
4204   Lisp_Object ccs;
4205   Lisp_Char_Table *ct;
4206   struct slow_map_char_table_arg slarg;
4207   struct gcpro gcpro1, gcpro2;
4208   struct chartab_range rainj;
4209
4210   if (!NILP (ccs = Ffind_charset (attribute)))
4211     {
4212       Lisp_Object encoding_table = XCHARSET_ENCODING_TABLE (ccs);
4213
4214       if (CHAR_TABLEP (encoding_table))
4215         ct = XCHAR_TABLE (encoding_table);
4216       else
4217         return Qnil;
4218     }
4219   else
4220     {
4221       Lisp_Object table = Fgethash (attribute,
4222                                     Vchar_attribute_hash_table,
4223                                     Qunbound);
4224       if (CHAR_TABLEP (table))
4225         ct = XCHAR_TABLE (table);
4226       else
4227         return Qnil;
4228     }
4229   if (NILP (range))
4230     range = Qt;
4231   decode_char_table_range (range, &rainj);
4232 #ifdef HAVE_CHISE
4233   if (CHAR_TABLE_UNLOADED(ct))
4234     Fload_char_attribute_table (attribute);
4235 #endif
4236   slarg.function = function;
4237   slarg.retval = Qnil;
4238   GCPRO2 (slarg.function, slarg.retval);
4239   map_char_table (ct, &rainj, slow_map_char_table_fun, &slarg);
4240   UNGCPRO;
4241
4242   return slarg.retval;
4243 }
4244
4245 static Lisp_Object
4246 allocate_character ()
4247 {
4248   int cid = XINT (Vnext_defined_char_id);
4249
4250   if (cid <= 0xE00000)
4251     {
4252       Vnext_defined_char_id = make_int (cid + 1);
4253       return make_char (cid);
4254     }
4255   else
4256     return Qnil;
4257 }
4258
4259 DEFUN ("define-char", Fdefine_char, 1, 1, 0, /*
4260 Store character's ATTRIBUTES.
4261 */
4262        (attributes))
4263 {
4264   Lisp_Object rest;
4265   Lisp_Object code = Fcdr (Fassq (Qrep_ucs, attributes));
4266   Lisp_Object character;
4267
4268   if (NILP (code))
4269     code = Fcdr (Fassq (Qucs, attributes));
4270
4271   if (NILP (code))
4272     {
4273       rest = attributes;
4274       while (CONSP (rest))
4275         {
4276           Lisp_Object cell = Fcar (rest);
4277           Lisp_Object ccs;
4278
4279           if ( !LISTP (cell) )
4280             signal_simple_error ("Invalid argument", attributes);
4281
4282           ccs = Ffind_charset (Fcar (cell));
4283           if (!NILP (ccs))
4284             {
4285               cell = Fcdr (cell);
4286               if (INTP (cell))
4287                 {
4288                   character = Fdecode_char (ccs, cell, Qt, Qt);
4289                   if (!NILP (character))
4290                     goto setup_attributes;
4291                 }
4292               if ( (XCHARSET_FINAL (ccs) != 0) ||
4293                    (XCHARSET_MAX_CODE (ccs) > 0) ||
4294                    (EQ (ccs, Vcharset_chinese_big5)) )
4295                 {
4296                   if (CONSP (cell))
4297                     character
4298                       = Fmake_char (ccs, Fcar (cell), Fcar (Fcdr (cell)));
4299                   else
4300                     character = Fdecode_char (ccs, cell, Qnil, Qt);
4301                   if (!NILP (character))
4302                     goto setup_attributes;
4303                 }
4304             }
4305           rest = Fcdr (rest);
4306         }
4307 #if 0
4308       {
4309         int cid = XINT (Vnext_defined_char_id);
4310
4311         if (cid <= 0xE00000)
4312           {
4313             character = make_char (cid);
4314             Vnext_defined_char_id = make_int (cid + 1);
4315             goto setup_attributes;
4316           }
4317       }
4318 #else
4319       if ( NILP (character = allocate_character ()) )
4320 #endif
4321         return Qnil;
4322     }
4323   else if (!INTP (code))
4324     signal_simple_error ("Invalid argument", attributes);
4325   else
4326     character = make_char (XINT (code));
4327
4328  setup_attributes:
4329   rest = attributes;
4330   while (CONSP (rest))
4331     {
4332       Lisp_Object cell = Fcar (rest);
4333
4334       if (!LISTP (cell))
4335         signal_simple_error ("Invalid argument", attributes);
4336
4337       Fput_char_attribute (character, Fcar (cell), Fcdr (cell));
4338       rest = Fcdr (rest);
4339     }
4340   return character;
4341 }
4342
4343 DEFUN ("find-char", Ffind_char, 1, 1, 0, /*
4344 Retrieve the character of the given ATTRIBUTES.
4345 */
4346        (attributes))
4347 {
4348   Lisp_Object rest = attributes;
4349   Lisp_Object code;
4350
4351   while (CONSP (rest))
4352     {
4353       Lisp_Object cell = Fcar (rest);
4354       Lisp_Object ccs;
4355
4356       if (!LISTP (cell))
4357         signal_simple_error ("Invalid argument", attributes);
4358       if (!NILP (ccs = Ffind_charset (Fcar (cell))))
4359         {
4360           cell = Fcdr (cell);
4361           if (CONSP (cell))
4362             return Fmake_char (ccs, Fcar (cell), Fcar (Fcdr (cell)));
4363           else
4364             return Fdecode_char (ccs, cell, Qnil, Qnil);
4365         }
4366       rest = Fcdr (rest);
4367     }
4368   if ( (!NILP (code = Fcdr (Fassq (Qto_ucs, attributes)))) )
4369     {
4370       if (!INTP (code))
4371         signal_simple_error ("Invalid argument", attributes);
4372       else
4373         return make_char (XINT (code) + 0x100000);
4374     }
4375   return Qnil;
4376 }
4377
4378 #endif
4379
4380 \f
4381 /************************************************************************/
4382 /*                      Character Feature Property                      */
4383 /************************************************************************/
4384
4385 #ifdef HAVE_LIBCHISE
4386 DEFUN ("char-feature-property", Fchar_feature_property, 2, 3, 0, /*
4387 Return the value of FEATURE's PROPERTY.
4388 Return DEFAULT-VALUE if the value is not exist.
4389 */
4390        (feature, property, default_value))
4391 {
4392   unsigned char* feature_name;
4393   unsigned char* property_name;
4394   CHISE_Value value;
4395   int status;
4396
4397   feature_name = XSTRING_DATA (Fsymbol_name (feature));
4398   property_name = XSTRING_DATA (Fsymbol_name (property));
4399   status
4400     = chise_feature_load_property_value (chise_ds_get_feature
4401                                          (default_chise_data_source,
4402                                           feature_name),
4403                                          chise_ds_get_property
4404                                          (default_chise_data_source,
4405                                           property_name),
4406                                          &value);
4407   if (!status)
4408     return read_from_c_string (chise_value_data (&value),
4409                                chise_value_size (&value) );
4410   else
4411     return default_value;
4412 }
4413
4414 DEFUN ("put-char-feature-property", Fput_char_feature_property, 3, 3, 0, /*
4415 Store FEATURE's PROPERTY with VALUE.
4416 */
4417        (feature, property, value))
4418 {
4419   unsigned char* feature_name;
4420   unsigned char* property_name;
4421   CHISE_Property prop;
4422
4423   feature_name = XSTRING_DATA (Fsymbol_name (feature));
4424   property_name = XSTRING_DATA (Fsymbol_name (property));
4425   prop = chise_ds_get_property (default_chise_data_source,
4426                                 property_name);
4427   chise_feature_set_property_value
4428     (chise_ds_get_feature (default_chise_data_source, feature_name),
4429      prop, XSTRING_DATA (Fprin1_to_string
4430                          (value, Qnil)));
4431   chise_property_sync (prop);
4432   return Qnil;
4433 }
4434 #endif
4435
4436 \f
4437 /************************************************************************/
4438 /*                         Char table read syntax                       */
4439 /************************************************************************/
4440
4441 static int
4442 chartab_type_validate (Lisp_Object keyword, Lisp_Object value,
4443                        Error_behavior errb)
4444 {
4445   /* #### should deal with ERRB */
4446   symbol_to_char_table_type (value);
4447   return 1;
4448 }
4449
4450 static int
4451 chartab_data_validate (Lisp_Object keyword, Lisp_Object value,
4452                        Error_behavior errb)
4453 {
4454   Lisp_Object rest;
4455
4456   /* #### should deal with ERRB */
4457   EXTERNAL_LIST_LOOP (rest, value)
4458     {
4459       Lisp_Object range = XCAR (rest);
4460       struct chartab_range dummy;
4461
4462       rest = XCDR (rest);
4463       if (!CONSP (rest))
4464         signal_simple_error ("Invalid list format", value);
4465       if (CONSP (range))
4466         {
4467           if (!CONSP (XCDR (range))
4468               || !NILP (XCDR (XCDR (range))))
4469             signal_simple_error ("Invalid range format", range);
4470           decode_char_table_range (XCAR (range), &dummy);
4471           decode_char_table_range (XCAR (XCDR (range)), &dummy);
4472         }
4473       else
4474         decode_char_table_range (range, &dummy);
4475     }
4476
4477   return 1;
4478 }
4479
4480 static Lisp_Object
4481 chartab_instantiate (Lisp_Object data)
4482 {
4483   Lisp_Object chartab;
4484   Lisp_Object type = Qgeneric;
4485   Lisp_Object dataval = Qnil;
4486
4487   while (!NILP (data))
4488     {
4489       Lisp_Object keyw = Fcar (data);
4490       Lisp_Object valw;
4491
4492       data = Fcdr (data);
4493       valw = Fcar (data);
4494       data = Fcdr (data);
4495       if (EQ (keyw, Qtype))
4496         type = valw;
4497       else if (EQ (keyw, Qdata))
4498         dataval = valw;
4499     }
4500
4501   chartab = Fmake_char_table (type);
4502
4503   data = dataval;
4504   while (!NILP (data))
4505     {
4506       Lisp_Object range = Fcar (data);
4507       Lisp_Object val = Fcar (Fcdr (data));
4508
4509       data = Fcdr (Fcdr (data));
4510       if (CONSP (range))
4511         {
4512           if (CHAR_OR_CHAR_INTP (XCAR (range)))
4513             {
4514               Emchar first = XCHAR_OR_CHAR_INT (Fcar (range));
4515               Emchar last = XCHAR_OR_CHAR_INT (Fcar (Fcdr (range)));
4516               Emchar i;
4517
4518               for (i = first; i <= last; i++)
4519                  Fput_char_table (make_char (i), val, chartab);
4520             }
4521           else
4522             ABORT ();
4523         }
4524       else
4525         Fput_char_table (range, val, chartab);
4526     }
4527
4528   return chartab;
4529 }
4530
4531 #ifdef MULE
4532
4533 \f
4534 /************************************************************************/
4535 /*                     Category Tables, specifically                    */
4536 /************************************************************************/
4537
4538 DEFUN ("category-table-p", Fcategory_table_p, 1, 1, 0, /*
4539 Return t if OBJECT is a category table.
4540 A category table is a type of char table used for keeping track of
4541 categories.  Categories are used for classifying characters for use
4542 in regexps -- you can refer to a category rather than having to use
4543 a complicated [] expression (and category lookups are significantly
4544 faster).
4545
4546 There are 95 different categories available, one for each printable
4547 character (including space) in the ASCII charset.  Each category
4548 is designated by one such character, called a "category designator".
4549 They are specified in a regexp using the syntax "\\cX", where X is
4550 a category designator.
4551
4552 A category table specifies, for each character, the categories that
4553 the character is in.  Note that a character can be in more than one
4554 category.  More specifically, a category table maps from a character
4555 to either the value nil (meaning the character is in no categories)
4556 or a 95-element bit vector, specifying for each of the 95 categories
4557 whether the character is in that category.
4558
4559 Special Lisp functions are provided that abstract this, so you do not
4560 have to directly manipulate bit vectors.
4561 */
4562        (object))
4563 {
4564   return (CHAR_TABLEP (object) &&
4565           XCHAR_TABLE_TYPE (object) == CHAR_TABLE_TYPE_CATEGORY) ?
4566     Qt : Qnil;
4567 }
4568
4569 static Lisp_Object
4570 check_category_table (Lisp_Object object, Lisp_Object default_)
4571 {
4572   if (NILP (object))
4573     object = default_;
4574   while (NILP (Fcategory_table_p (object)))
4575     object = wrong_type_argument (Qcategory_table_p, object);
4576   return object;
4577 }
4578
4579 int
4580 check_category_char (Emchar ch, Lisp_Object table,
4581                      unsigned int designator, unsigned int not_p)
4582 {
4583   REGISTER Lisp_Object temp;
4584   Lisp_Char_Table *ctbl;
4585 #ifdef ERROR_CHECK_TYPECHECK
4586   if (NILP (Fcategory_table_p (table)))
4587     signal_simple_error ("Expected category table", table);
4588 #endif
4589   ctbl = XCHAR_TABLE (table);
4590   temp = get_char_table (ch, ctbl);
4591   if (NILP (temp))
4592     return not_p;
4593
4594   designator -= ' ';
4595   return bit_vector_bit (XBIT_VECTOR (temp), designator) ? !not_p : not_p;
4596 }
4597
4598 DEFUN ("check-category-at", Fcheck_category_at, 2, 4, 0, /*
4599 Return t if category of the character at POSITION includes DESIGNATOR.
4600 Optional third arg BUFFER specifies which buffer to use, and defaults
4601 to the current buffer.
4602 Optional fourth arg CATEGORY-TABLE specifies the category table to
4603 use, and defaults to BUFFER's category table.
4604 */
4605        (position, designator, buffer, category_table))
4606 {
4607   Lisp_Object ctbl;
4608   Emchar ch;
4609   unsigned int des;
4610   struct buffer *buf = decode_buffer (buffer, 0);
4611
4612   CHECK_INT (position);
4613   CHECK_CATEGORY_DESIGNATOR (designator);
4614   des = XCHAR (designator);
4615   ctbl = check_category_table (category_table, Vstandard_category_table);
4616   ch = BUF_FETCH_CHAR (buf, XINT (position));
4617   return check_category_char (ch, ctbl, des, 0) ? Qt : Qnil;
4618 }
4619
4620 DEFUN ("char-in-category-p", Fchar_in_category_p, 2, 3, 0, /*
4621 Return t if category of CHARACTER includes DESIGNATOR, else nil.
4622 Optional third arg CATEGORY-TABLE specifies the category table to use,
4623 and defaults to the standard category table.
4624 */
4625        (character, designator, category_table))
4626 {
4627   Lisp_Object ctbl;
4628   Emchar ch;
4629   unsigned int des;
4630
4631   CHECK_CATEGORY_DESIGNATOR (designator);
4632   des = XCHAR (designator);
4633   CHECK_CHAR (character);
4634   ch = XCHAR (character);
4635   ctbl = check_category_table (category_table, Vstandard_category_table);
4636   return check_category_char (ch, ctbl, des, 0) ? Qt : Qnil;
4637 }
4638
4639 DEFUN ("category-table", Fcategory_table, 0, 1, 0, /*
4640 Return BUFFER's current category table.
4641 BUFFER defaults to the current buffer.
4642 */
4643        (buffer))
4644 {
4645   return decode_buffer (buffer, 0)->category_table;
4646 }
4647
4648 DEFUN ("standard-category-table", Fstandard_category_table, 0, 0, 0, /*
4649 Return the standard category table.
4650 This is the one used for new buffers.
4651 */
4652        ())
4653 {
4654   return Vstandard_category_table;
4655 }
4656
4657 DEFUN ("copy-category-table", Fcopy_category_table, 0, 1, 0, /*
4658 Return a new category table which is a copy of CATEGORY-TABLE.
4659 CATEGORY-TABLE defaults to the standard category table.
4660 */
4661        (category_table))
4662 {
4663   if (NILP (Vstandard_category_table))
4664     return Fmake_char_table (Qcategory);
4665
4666   category_table =
4667     check_category_table (category_table, Vstandard_category_table);
4668   return Fcopy_char_table (category_table);
4669 }
4670
4671 DEFUN ("set-category-table", Fset_category_table, 1, 2, 0, /*
4672 Select CATEGORY-TABLE as the new category table for BUFFER.
4673 BUFFER defaults to the current buffer if omitted.
4674 */
4675        (category_table, buffer))
4676 {
4677   struct buffer *buf = decode_buffer (buffer, 0);
4678   category_table = check_category_table (category_table, Qnil);
4679   buf->category_table = category_table;
4680   /* Indicate that this buffer now has a specified category table.  */
4681   buf->local_var_flags |= XINT (buffer_local_flags.category_table);
4682   return category_table;
4683 }
4684
4685 DEFUN ("category-designator-p", Fcategory_designator_p, 1, 1, 0, /*
4686 Return t if OBJECT is a category designator (a char in the range ' ' to '~').
4687 */
4688        (object))
4689 {
4690   return CATEGORY_DESIGNATORP (object) ? Qt : Qnil;
4691 }
4692
4693 DEFUN ("category-table-value-p", Fcategory_table_value_p, 1, 1, 0, /*
4694 Return t if OBJECT is a category table value.
4695 Valid values are nil or a bit vector of size 95.
4696 */
4697        (object))
4698 {
4699   return CATEGORY_TABLE_VALUEP (object) ? Qt : Qnil;
4700 }
4701
4702
4703 #define CATEGORYP(x) \
4704   (CHARP (x) && XCHAR (x) >= 0x20 && XCHAR (x) <= 0x7E)
4705
4706 #define CATEGORY_SET(c)                                         \
4707   (get_char_table(c, XCHAR_TABLE(current_buffer->category_table)))
4708
4709 /* Return 1 if CATEGORY_SET contains CATEGORY, else return 0.
4710    The faster version of `!NILP (Faref (category_set, category))'.  */
4711 #define CATEGORY_MEMBER(category, category_set)                 \
4712   (bit_vector_bit(XBIT_VECTOR (category_set), category - 32))
4713
4714 /* Return 1 if there is a word boundary between two word-constituent
4715    characters C1 and C2 if they appear in this order, else return 0.
4716    Use the macro WORD_BOUNDARY_P instead of calling this function
4717    directly.  */
4718
4719 int word_boundary_p (Emchar c1, Emchar c2);
4720 int
4721 word_boundary_p (Emchar c1, Emchar c2)
4722 {
4723   Lisp_Object category_set1, category_set2;
4724   Lisp_Object tail;
4725   int default_result;
4726
4727 #if 0
4728   if (COMPOSITE_CHAR_P (c1))
4729     c1 = cmpchar_component (c1, 0, 1);
4730   if (COMPOSITE_CHAR_P (c2))
4731     c2 = cmpchar_component (c2, 0, 1);
4732 #endif
4733
4734 #ifndef UTF2000
4735   if (EQ (CHAR_CHARSET (c1), CHAR_CHARSET (c2)))
4736 #endif
4737     {
4738       tail = Vword_separating_categories;
4739       default_result = 0;
4740     }
4741 #ifndef UTF2000
4742   else
4743     {
4744       tail = Vword_combining_categories;
4745       default_result = 1;
4746     }
4747 #endif
4748
4749   category_set1 = CATEGORY_SET (c1);
4750   if (NILP (category_set1))
4751     return default_result;
4752   category_set2 = CATEGORY_SET (c2);
4753   if (NILP (category_set2))
4754     return default_result;
4755
4756   for (; CONSP (tail); tail = XCONS (tail)->cdr)
4757     {
4758       Lisp_Object elt = XCONS(tail)->car;
4759
4760       if (CONSP (elt)
4761           && CATEGORYP (XCONS (elt)->car)
4762           && CATEGORYP (XCONS (elt)->cdr)
4763           && CATEGORY_MEMBER (XCHAR (XCONS (elt)->car), category_set1)
4764           && CATEGORY_MEMBER (XCHAR (XCONS (elt)->cdr), category_set2))
4765         return !default_result;
4766     }
4767   return default_result;
4768 }
4769 #endif /* MULE */
4770
4771 \f
4772 void
4773 syms_of_chartab (void)
4774 {
4775 #if defined(UTF2000) || defined(HAVE_CONCORD)
4776   defsymbol (&Q_subsumptive,            "->subsumptive");
4777   defsymbol (&Q_subsumptive_from,       "<-subsumptive");
4778   defsymbol (&Q_denotational,           "->denotational");
4779   defsymbol (&Q_denotational_from,      "<-denotational");
4780 #endif
4781 #ifdef UTF2000
4782   INIT_LRECORD_IMPLEMENTATION (uint8_byte_table);
4783   INIT_LRECORD_IMPLEMENTATION (uint16_byte_table);
4784   INIT_LRECORD_IMPLEMENTATION (byte_table);
4785
4786   defsymbol (&Qto_ucs,                  "=>ucs");
4787   defsymbol (&Q_ucs_unified,            "->ucs-unified");
4788   defsymbol (&Q_identical,              "->identical");
4789   defsymbol (&Q_identical_from,         "<-identical");
4790   defsymbol (&Q_component,              "->ideographic-component-forms");
4791   defsymbol (&Q_component_of,           "<-ideographic-component-forms");
4792   defsymbol (&Qcomposition,             "composition");
4793   defsymbol (&Qrep_decomposition,       "=decomposition");
4794   defsymbol (&Qto_decomposition_at_superscript,
4795              "=>decomposition@superscript");
4796   defsymbol (&Qto_decomposition_at_circled, "=>decomposition@circled");
4797   defsymbol (&Q_canonical,              "->canonical");
4798   defsymbol (&Q_halfwidth_of,           "<-halfwidth");
4799   defsymbol (&Q_superscript_of,         "<-superscript");
4800   defsymbol (&Q_subscript_of,           "<-subscript");
4801   defsymbol (&Q_circled_of,             "<-circled");
4802   defsymbol (&Q_decomposition,          "->decomposition");
4803   defsymbol (&Qcompat,                  "compat");
4804   defsymbol (&Qisolated,                "isolated");
4805   defsymbol (&Qinitial,                 "initial");
4806   defsymbol (&Qmedial,                  "medial");
4807   defsymbol (&Qfinal,                   "final");
4808   defsymbol (&Qvertical,                "vertical");
4809   defsymbol (&QnoBreak,                 "noBreak");
4810   defsymbol (&Qfraction,                "fraction");
4811   defsymbol (&Qsuper,                   "super");
4812   defsymbol (&Qsub,                     "sub");
4813   defsymbol (&Qcircle,                  "circle");
4814   defsymbol (&Qsquare,                  "square");
4815   defsymbol (&Qwide,                    "wide");
4816   defsymbol (&Qnarrow,                  "narrow");
4817   defsymbol (&Qsmall,                   "small");
4818   defsymbol (&Qfont,                    "font");
4819
4820   DEFSUBR (Fchar_attribute_list);
4821   DEFSUBR (Ffind_char_attribute_table);
4822   defsymbol (&Qput_char_table_map_function, "put-char-table-map-function");
4823   DEFSUBR (Fput_char_table_map_function);
4824 #ifdef HAVE_CHISE
4825   DEFSUBR (Fsave_char_attribute_table);
4826   DEFSUBR (Fmount_char_attribute_table);
4827   DEFSUBR (Freset_char_attribute_table);
4828   DEFSUBR (Fclose_char_attribute_table);
4829   DEFSUBR (Fclose_char_data_source);
4830 #ifndef HAVE_LIBCHISE
4831   defsymbol (&Qload_char_attribute_table_map_function,
4832              "load-char-attribute-table-map-function");
4833   DEFSUBR (Fload_char_attribute_table_map_function);
4834 #endif
4835   DEFSUBR (Fload_char_attribute_table);
4836 #endif
4837   DEFSUBR (Fchar_feature);
4838   DEFSUBR (Fchar_attribute_alist);
4839   DEFSUBR (Fget_char_attribute);
4840   DEFSUBR (Fput_char_attribute);
4841   DEFSUBR (Fremove_char_attribute);
4842   DEFSUBR (Fmap_char_attribute);
4843   DEFSUBR (Fdefine_char);
4844   DEFSUBR (Ffind_char);
4845   DEFSUBR (Fchar_variants);
4846
4847   DEFSUBR (Fget_composite_char);
4848 #ifdef HAVE_LIBCHISE
4849   DEFSUBR (Fchar_feature_property);
4850   DEFSUBR (Fput_char_feature_property);
4851 #endif /* HAVE_LIBCHISE */
4852 #endif
4853
4854   INIT_LRECORD_IMPLEMENTATION (char_table);
4855
4856 #ifdef MULE
4857 #ifndef UTF2000
4858   INIT_LRECORD_IMPLEMENTATION (char_table_entry);
4859 #endif
4860
4861   defsymbol (&Qcategory_table_p, "category-table-p");
4862   defsymbol (&Qcategory_designator_p, "category-designator-p");
4863   defsymbol (&Qcategory_table_value_p, "category-table-value-p");
4864 #endif /* MULE */
4865
4866   defsymbol (&Qchar_table, "char-table");
4867   defsymbol (&Qchar_tablep, "char-table-p");
4868
4869   DEFSUBR (Fchar_table_p);
4870   DEFSUBR (Fchar_table_type_list);
4871   DEFSUBR (Fvalid_char_table_type_p);
4872   DEFSUBR (Fchar_table_type);
4873   DEFSUBR (Freset_char_table);
4874   DEFSUBR (Fmake_char_table);
4875   DEFSUBR (Fcopy_char_table);
4876   DEFSUBR (Fget_char_table);
4877   DEFSUBR (Fget_range_char_table);
4878   DEFSUBR (Fvalid_char_table_value_p);
4879   DEFSUBR (Fcheck_valid_char_table_value);
4880   DEFSUBR (Fput_char_table);
4881   DEFSUBR (Fmap_char_table);
4882
4883 #ifdef MULE
4884   DEFSUBR (Fcategory_table_p);
4885   DEFSUBR (Fcategory_table);
4886   DEFSUBR (Fstandard_category_table);
4887   DEFSUBR (Fcopy_category_table);
4888   DEFSUBR (Fset_category_table);
4889   DEFSUBR (Fcheck_category_at);
4890   DEFSUBR (Fchar_in_category_p);
4891   DEFSUBR (Fcategory_designator_p);
4892   DEFSUBR (Fcategory_table_value_p);
4893 #endif /* MULE */
4894
4895 }
4896
4897 void
4898 vars_of_chartab (void)
4899 {
4900 #ifdef UTF2000
4901   DEFVAR_LISP ("next-defined-char-id", &Vnext_defined_char_id /*
4902 */ );
4903   Vnext_defined_char_id = make_int (0x0F0000);
4904 #endif
4905
4906 #ifdef HAVE_CHISE
4907   DEFVAR_LISP ("char-db-stingy-mode", &Vchar_db_stingy_mode /*
4908 */ );
4909   Vchar_db_stingy_mode = Qt;
4910
4911 #ifdef HAVE_LIBCHISE
4912   Vchise_db_directory = build_string(chise_db_dir);
4913   DEFVAR_LISP ("chise-db-directory", &Vchise_db_directory /*
4914 Directory of CHISE character databases.
4915 */ );
4916
4917   Vchise_system_db_directory = build_string(chise_system_db_dir);
4918   DEFVAR_LISP ("chise-system-db-directory", &Vchise_system_db_directory /*
4919 Directory of system character database of CHISE.
4920 */ );
4921 #endif
4922
4923 #endif /* HAVE_CHISE */
4924   /* DO NOT staticpro this.  It works just like Vweak_hash_tables. */
4925   Vall_syntax_tables = Qnil;
4926   dump_add_weak_object_chain (&Vall_syntax_tables);
4927 }
4928
4929 void
4930 structure_type_create_chartab (void)
4931 {
4932   struct structure_type *st;
4933
4934   st = define_structure_type (Qchar_table, 0, chartab_instantiate);
4935
4936   define_structure_type_keyword (st, Qtype, chartab_type_validate);
4937   define_structure_type_keyword (st, Qdata, chartab_data_validate);
4938 }
4939
4940 void
4941 complex_vars_of_chartab (void)
4942 {
4943 #ifdef UTF2000
4944   staticpro (&Vchar_attribute_hash_table);
4945   Vchar_attribute_hash_table
4946     = make_lisp_hash_table (16, HASH_TABLE_NON_WEAK, HASH_TABLE_EQ);
4947 #endif /* UTF2000 */
4948 #ifdef MULE
4949   /* Set this now, so first buffer creation can refer to it. */
4950   /* Make it nil before calling copy-category-table
4951      so that copy-category-table will know not to try to copy from garbage */
4952   Vstandard_category_table = Qnil;
4953   Vstandard_category_table = Fcopy_category_table (Qnil);
4954   staticpro (&Vstandard_category_table);
4955
4956   DEFVAR_LISP ("word-combining-categories", &Vword_combining_categories /*
4957 List of pair (cons) of categories to determine word boundary.
4958
4959 Emacs treats a sequence of word constituent characters as a single
4960 word (i.e. finds no word boundary between them) iff they belongs to
4961 the same charset.  But, exceptions are allowed in the following cases.
4962
4963 \(1) The case that characters are in different charsets is controlled
4964 by the variable `word-combining-categories'.
4965
4966 Emacs finds no word boundary between characters of different charsets
4967 if they have categories matching some element of this list.
4968
4969 More precisely, if an element of this list is a cons of category CAT1
4970 and CAT2, and a multibyte character C1 which has CAT1 is followed by
4971 C2 which has CAT2, there's no word boundary between C1 and C2.
4972
4973 For instance, to tell that ASCII characters and Latin-1 characters can
4974 form a single word, the element `(?l . ?l)' should be in this list
4975 because both characters have the category `l' (Latin characters).
4976
4977 \(2) The case that character are in the same charset is controlled by
4978 the variable `word-separating-categories'.
4979
4980 Emacs find a word boundary between characters of the same charset
4981 if they have categories matching some element of this list.
4982
4983 More precisely, if an element of this list is a cons of category CAT1
4984 and CAT2, and a multibyte character C1 which has CAT1 is followed by
4985 C2 which has CAT2, there's a word boundary between C1 and C2.
4986
4987 For instance, to tell that there's a word boundary between Japanese
4988 Hiragana and Japanese Kanji (both are in the same charset), the
4989 element `(?H . ?C) should be in this list.
4990 */ );
4991
4992   Vword_combining_categories = Qnil;
4993
4994   DEFVAR_LISP ("word-separating-categories", &Vword_separating_categories /*
4995 List of pair (cons) of categories to determine word boundary.
4996 See the documentation of the variable `word-combining-categories'.
4997 */ );
4998
4999   Vword_separating_categories = Qnil;
5000 #endif /* MULE */
5001 }