Updated to fedora-glibc-20070731T1624
[glibc.git] / locale / programs / ld-collate.c
blob09237ea38c52f664c42b54ab585810a41c933dfb
1 /* Copyright (C) 1995-2003, 2005, 2006, 2007 Free Software Foundation, Inc.
2 This file is part of the GNU C Library.
3 Contributed by Ulrich Drepper <drepper@gnu.org>, 1995.
5 This program is free software; you can redistribute it and/or modify
6 it under the terms of the GNU General Public License as published
7 by the Free Software Foundation; version 2 of the License, or
8 (at your option) any later version.
10 This program is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 GNU General Public License for more details.
15 You should have received a copy of the GNU General Public License
16 along with this program; if not, write to the Free Software Foundation,
17 Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
19 #ifdef HAVE_CONFIG_H
20 # include <config.h>
21 #endif
23 #include <errno.h>
24 #include <error.h>
25 #include <stdlib.h>
26 #include <wchar.h>
27 #include <sys/param.h>
29 #include "localedef.h"
30 #include "charmap.h"
31 #include "localeinfo.h"
32 #include "linereader.h"
33 #include "locfile.h"
34 #include "elem-hash.h"
36 /* Uncomment the following line in the production version. */
37 /* #define NDEBUG 1 */
38 #include <assert.h>
40 #define obstack_chunk_alloc malloc
41 #define obstack_chunk_free free
43 static inline void
44 __attribute ((always_inline))
45 obstack_int32_grow (struct obstack *obstack, int32_t data)
47 if (sizeof (int32_t) == sizeof (int))
48 obstack_int_grow (obstack, data);
49 else
50 obstack_grow (obstack, &data, sizeof (int32_t));
53 static inline void
54 __attribute ((always_inline))
55 obstack_int32_grow_fast (struct obstack *obstack, int32_t data)
57 if (sizeof (int32_t) == sizeof (int))
58 obstack_int_grow_fast (obstack, data);
59 else
60 obstack_grow (obstack, &data, sizeof (int32_t));
63 /* Forward declaration. */
64 struct element_t;
66 /* Data type for list of strings. */
67 struct section_list
69 /* Successor in the known_sections list. */
70 struct section_list *def_next;
71 /* Successor in the sections list. */
72 struct section_list *next;
73 /* Name of the section. */
74 const char *name;
75 /* First element of this section. */
76 struct element_t *first;
77 /* Last element of this section. */
78 struct element_t *last;
79 /* These are the rules for this section. */
80 enum coll_sort_rule *rules;
81 /* Index of the rule set in the appropriate section of the output file. */
82 int ruleidx;
85 struct element_t;
87 struct element_list_t
89 /* Number of elements. */
90 int cnt;
92 struct element_t **w;
95 /* Data type for collating element. */
96 struct element_t
98 const char *name;
100 const char *mbs;
101 size_t nmbs;
102 const uint32_t *wcs;
103 size_t nwcs;
104 int *mborder;
105 int wcorder;
107 /* The following is a bit mask which bits are set if this element is
108 used in the appropriate level. Interesting for the singlebyte
109 weight computation.
111 XXX The type here restricts the number of levels to 32. It could
112 be changed if necessary but I doubt this is necessary. */
113 unsigned int used_in_level;
115 struct element_list_t *weights;
117 /* Nonzero if this is a real character definition. */
118 int is_character;
120 /* Order of the character in the sequence. This information will
121 be used in range expressions. */
122 int mbseqorder;
123 int wcseqorder;
125 /* Where does the definition come from. */
126 const char *file;
127 size_t line;
129 /* Which section does this belong to. */
130 struct section_list *section;
132 /* Predecessor and successor in the order list. */
133 struct element_t *last;
134 struct element_t *next;
136 /* Next element in multibyte output list. */
137 struct element_t *mbnext;
138 struct element_t *mblast;
140 /* Next element in wide character output list. */
141 struct element_t *wcnext;
142 struct element_t *wclast;
145 /* Special element value. */
146 #define ELEMENT_ELLIPSIS2 ((struct element_t *) 1)
147 #define ELEMENT_ELLIPSIS3 ((struct element_t *) 2)
148 #define ELEMENT_ELLIPSIS4 ((struct element_t *) 3)
150 /* Data type for collating symbol. */
151 struct symbol_t
153 const char *name;
155 /* Point to place in the order list. */
156 struct element_t *order;
158 /* Where does the definition come from. */
159 const char *file;
160 size_t line;
163 /* Sparse table of struct element_t *. */
164 #define TABLE wchead_table
165 #define ELEMENT struct element_t *
166 #define DEFAULT NULL
167 #define ITERATE
168 #define NO_FINALIZE
169 #include "3level.h"
171 /* Sparse table of int32_t. */
172 #define TABLE collidx_table
173 #define ELEMENT int32_t
174 #define DEFAULT 0
175 #include "3level.h"
177 /* Sparse table of uint32_t. */
178 #define TABLE collseq_table
179 #define ELEMENT uint32_t
180 #define DEFAULT ~((uint32_t) 0)
181 #include "3level.h"
184 /* The real definition of the struct for the LC_COLLATE locale. */
185 struct locale_collate_t
187 int col_weight_max;
188 int cur_weight_max;
190 /* List of known scripts. */
191 struct section_list *known_sections;
192 /* List of used sections. */
193 struct section_list *sections;
194 /* Current section using definition. */
195 struct section_list *current_section;
196 /* There always can be an unnamed section. */
197 struct section_list unnamed_section;
198 /* To make handling of errors easier we have another section. */
199 struct section_list error_section;
200 /* Sometimes we are defining the values for collating symbols before
201 the first actual section. */
202 struct section_list symbol_section;
204 /* Start of the order list. */
205 struct element_t *start;
207 /* The undefined element. */
208 struct element_t undefined;
210 /* This is the cursor for `reorder_after' insertions. */
211 struct element_t *cursor;
213 /* This value is used when handling ellipsis. */
214 struct element_t ellipsis_weight;
216 /* Known collating elements. */
217 hash_table elem_table;
219 /* Known collating symbols. */
220 hash_table sym_table;
222 /* Known collation sequences. */
223 hash_table seq_table;
225 struct obstack mempool;
227 /* The LC_COLLATE category is a bit special as it is sometimes possible
228 that the definitions from more than one input file contains information.
229 Therefore we keep all relevant input in a list. */
230 struct locale_collate_t *next;
232 /* Arrays with heads of the list for each of the leading bytes in
233 the multibyte sequences. */
234 struct element_t *mbheads[256];
236 /* Arrays with heads of the list for each of the leading bytes in
237 the multibyte sequences. */
238 struct wchead_table wcheads;
240 /* The arrays with the collation sequence order. */
241 unsigned char mbseqorder[256];
242 struct collseq_table wcseqorder;
246 /* We have a few global variables which are used for reading all
247 LC_COLLATE category descriptions in all files. */
248 static uint32_t nrules;
251 /* We need UTF-8 encoding of numbers. */
252 static inline int
253 __attribute ((always_inline))
254 utf8_encode (char *buf, int val)
256 int retval;
258 if (val < 0x80)
260 *buf++ = (char) val;
261 retval = 1;
263 else
265 int step;
267 for (step = 2; step < 6; ++step)
268 if ((val & (~(uint32_t)0 << (5 * step + 1))) == 0)
269 break;
270 retval = step;
272 *buf = (unsigned char) (~0xff >> step);
273 --step;
276 buf[step] = 0x80 | (val & 0x3f);
277 val >>= 6;
279 while (--step > 0);
280 *buf |= val;
283 return retval;
287 static struct section_list *
288 make_seclist_elem (struct locale_collate_t *collate, const char *string,
289 struct section_list *next)
291 struct section_list *newp;
293 newp = (struct section_list *) obstack_alloc (&collate->mempool,
294 sizeof (*newp));
295 newp->next = next;
296 newp->name = string;
297 newp->first = NULL;
298 newp->last = NULL;
300 return newp;
304 static struct element_t *
305 new_element (struct locale_collate_t *collate, const char *mbs, size_t mbslen,
306 const uint32_t *wcs, const char *name, size_t namelen,
307 int is_character)
309 struct element_t *newp;
311 newp = (struct element_t *) obstack_alloc (&collate->mempool,
312 sizeof (*newp));
313 newp->name = name == NULL ? NULL : obstack_copy0 (&collate->mempool,
314 name, namelen);
315 if (mbs != NULL)
317 newp->mbs = obstack_copy0 (&collate->mempool, mbs, mbslen);
318 newp->nmbs = mbslen;
320 else
322 newp->mbs = NULL;
323 newp->nmbs = 0;
325 if (wcs != NULL)
327 size_t nwcs = wcslen ((wchar_t *) wcs);
328 uint32_t zero = 0;
329 obstack_grow (&collate->mempool, wcs, nwcs * sizeof (uint32_t));
330 obstack_grow (&collate->mempool, &zero, sizeof (uint32_t));
331 newp->wcs = (uint32_t *) obstack_finish (&collate->mempool);
332 newp->nwcs = nwcs;
334 else
336 newp->wcs = NULL;
337 newp->nwcs = 0;
339 newp->mborder = NULL;
340 newp->wcorder = 0;
341 newp->used_in_level = 0;
342 newp->is_character = is_character;
344 /* Will be assigned later. XXX */
345 newp->mbseqorder = 0;
346 newp->wcseqorder = 0;
348 /* Will be allocated later. */
349 newp->weights = NULL;
351 newp->file = NULL;
352 newp->line = 0;
354 newp->section = collate->current_section;
356 newp->last = NULL;
357 newp->next = NULL;
359 newp->mbnext = NULL;
360 newp->mblast = NULL;
362 newp->wcnext = NULL;
363 newp->wclast = NULL;
365 return newp;
369 static struct symbol_t *
370 new_symbol (struct locale_collate_t *collate, const char *name, size_t len)
372 struct symbol_t *newp;
374 newp = (struct symbol_t *) obstack_alloc (&collate->mempool, sizeof (*newp));
376 newp->name = obstack_copy0 (&collate->mempool, name, len);
377 newp->order = NULL;
379 newp->file = NULL;
380 newp->line = 0;
382 return newp;
386 /* Test whether this name is already defined somewhere. */
387 static int
388 check_duplicate (struct linereader *ldfile, struct locale_collate_t *collate,
389 const struct charmap_t *charmap,
390 struct repertoire_t *repertoire, const char *symbol,
391 size_t symbol_len)
393 void *ignore = NULL;
395 if (find_entry (&charmap->char_table, symbol, symbol_len, &ignore) == 0)
397 lr_error (ldfile, _("`%.*s' already defined in charmap"),
398 (int) symbol_len, symbol);
399 return 1;
402 if (repertoire != NULL
403 && (find_entry (&repertoire->char_table, symbol, symbol_len, &ignore)
404 == 0))
406 lr_error (ldfile, _("`%.*s' already defined in repertoire"),
407 (int) symbol_len, symbol);
408 return 1;
411 if (find_entry (&collate->sym_table, symbol, symbol_len, &ignore) == 0)
413 lr_error (ldfile, _("`%.*s' already defined as collating symbol"),
414 (int) symbol_len, symbol);
415 return 1;
418 if (find_entry (&collate->elem_table, symbol, symbol_len, &ignore) == 0)
420 lr_error (ldfile, _("`%.*s' already defined as collating element"),
421 (int) symbol_len, symbol);
422 return 1;
425 return 0;
429 /* Read the direction specification. */
430 static void
431 read_directions (struct linereader *ldfile, struct token *arg,
432 const struct charmap_t *charmap,
433 struct repertoire_t *repertoire, struct localedef_t *result)
435 int cnt = 0;
436 int max = nrules ?: 10;
437 enum coll_sort_rule *rules = calloc (max, sizeof (*rules));
438 int warned = 0;
439 struct locale_collate_t *collate = result->categories[LC_COLLATE].collate;
441 while (1)
443 int valid = 0;
445 if (arg->tok == tok_forward)
447 if (rules[cnt] & sort_backward)
449 if (! warned)
451 lr_error (ldfile, _("\
452 %s: `forward' and `backward' are mutually excluding each other"),
453 "LC_COLLATE");
454 warned = 1;
457 else if (rules[cnt] & sort_forward)
459 if (! warned)
461 lr_error (ldfile, _("\
462 %s: `%s' mentioned more than once in definition of weight %d"),
463 "LC_COLLATE", "forward", cnt + 1);
466 else
467 rules[cnt] |= sort_forward;
469 valid = 1;
471 else if (arg->tok == tok_backward)
473 if (rules[cnt] & sort_forward)
475 if (! warned)
477 lr_error (ldfile, _("\
478 %s: `forward' and `backward' are mutually excluding each other"),
479 "LC_COLLATE");
480 warned = 1;
483 else if (rules[cnt] & sort_backward)
485 if (! warned)
487 lr_error (ldfile, _("\
488 %s: `%s' mentioned more than once in definition of weight %d"),
489 "LC_COLLATE", "backward", cnt + 1);
492 else
493 rules[cnt] |= sort_backward;
495 valid = 1;
497 else if (arg->tok == tok_position)
499 if (rules[cnt] & sort_position)
501 if (! warned)
503 lr_error (ldfile, _("\
504 %s: `%s' mentioned more than once in definition of weight %d"),
505 "LC_COLLATE", "position", cnt + 1);
508 else
509 rules[cnt] |= sort_position;
511 valid = 1;
514 if (valid)
515 arg = lr_token (ldfile, charmap, result, repertoire, verbose);
517 if (arg->tok == tok_eof || arg->tok == tok_eol || arg->tok == tok_comma
518 || arg->tok == tok_semicolon)
520 if (! valid && ! warned)
522 lr_error (ldfile, _("%s: syntax error"), "LC_COLLATE");
523 warned = 1;
526 /* See whether we have to increment the counter. */
527 if (arg->tok != tok_comma && rules[cnt] != 0)
529 /* Add the default `forward' if we have seen only `position'. */
530 if (rules[cnt] == sort_position)
531 rules[cnt] = sort_position | sort_forward;
533 ++cnt;
536 if (arg->tok == tok_eof || arg->tok == tok_eol)
537 /* End of line or file, so we exit the loop. */
538 break;
540 if (nrules == 0)
542 /* See whether we have enough room in the array. */
543 if (cnt == max)
545 max += 10;
546 rules = (enum coll_sort_rule *) xrealloc (rules,
548 * sizeof (*rules));
549 memset (&rules[cnt], '\0', (max - cnt) * sizeof (*rules));
552 else
554 if (cnt == nrules)
556 /* There must not be any more rule. */
557 if (! warned)
559 lr_error (ldfile, _("\
560 %s: too many rules; first entry only had %d"),
561 "LC_COLLATE", nrules);
562 warned = 1;
565 lr_ignore_rest (ldfile, 0);
566 break;
570 else
572 if (! warned)
574 lr_error (ldfile, _("%s: syntax error"), "LC_COLLATE");
575 warned = 1;
579 arg = lr_token (ldfile, charmap, result, repertoire, verbose);
582 if (nrules == 0)
584 /* Now we know how many rules we have. */
585 nrules = cnt;
586 rules = (enum coll_sort_rule *) xrealloc (rules,
587 nrules * sizeof (*rules));
589 else
591 if (cnt < nrules)
593 /* Not enough rules in this specification. */
594 if (! warned)
595 lr_error (ldfile, _("%s: not enough sorting rules"), "LC_COLLATE");
598 rules[cnt] = sort_forward;
599 while (++cnt < nrules);
603 collate->current_section->rules = rules;
607 static struct element_t *
608 find_element (struct linereader *ldfile, struct locale_collate_t *collate,
609 const char *str, size_t len)
611 void *result = NULL;
613 /* Search for the entries among the collation sequences already define. */
614 if (find_entry (&collate->seq_table, str, len, &result) != 0)
616 /* Nope, not define yet. So we see whether it is a
617 collation symbol. */
618 void *ptr;
620 if (find_entry (&collate->sym_table, str, len, &ptr) == 0)
622 /* It's a collation symbol. */
623 struct symbol_t *sym = (struct symbol_t *) ptr;
624 result = sym->order;
626 if (result == NULL)
627 result = sym->order = new_element (collate, NULL, 0, NULL,
628 NULL, 0, 0);
630 else if (find_entry (&collate->elem_table, str, len, &result) != 0)
632 /* It's also no collation element. So it is a character
633 element defined later. */
634 result = new_element (collate, NULL, 0, NULL, str, len, 1);
635 /* Insert it into the sequence table. */
636 insert_entry (&collate->seq_table, str, len, result);
640 return (struct element_t *) result;
644 static void
645 unlink_element (struct locale_collate_t *collate)
647 if (collate->cursor == collate->start)
649 assert (collate->cursor->next == NULL);
650 assert (collate->cursor->last == NULL);
651 collate->cursor = NULL;
653 else
655 if (collate->cursor->next != NULL)
656 collate->cursor->next->last = collate->cursor->last;
657 if (collate->cursor->last != NULL)
658 collate->cursor->last->next = collate->cursor->next;
659 collate->cursor = collate->cursor->last;
664 static void
665 insert_weights (struct linereader *ldfile, struct element_t *elem,
666 const struct charmap_t *charmap,
667 struct repertoire_t *repertoire, struct localedef_t *result,
668 enum token_t ellipsis)
670 int weight_cnt;
671 struct token *arg;
672 struct locale_collate_t *collate = result->categories[LC_COLLATE].collate;
674 /* Initialize all the fields. */
675 elem->file = ldfile->fname;
676 elem->line = ldfile->lineno;
678 elem->last = collate->cursor;
679 elem->next = collate->cursor ? collate->cursor->next : NULL;
680 if (collate->cursor != NULL && collate->cursor->next != NULL)
681 collate->cursor->next->last = elem;
682 if (collate->cursor != NULL)
683 collate->cursor->next = elem;
684 if (collate->start == NULL)
686 assert (collate->cursor == NULL);
687 collate->start = elem;
690 elem->section = collate->current_section;
692 if (collate->current_section->first == NULL)
693 collate->current_section->first = elem;
694 if (collate->current_section->last == collate->cursor)
695 collate->current_section->last = elem;
697 collate->cursor = elem;
699 elem->weights = (struct element_list_t *)
700 obstack_alloc (&collate->mempool, nrules * sizeof (struct element_list_t));
701 memset (elem->weights, '\0', nrules * sizeof (struct element_list_t));
703 weight_cnt = 0;
705 arg = lr_token (ldfile, charmap, result, repertoire, verbose);
708 if (arg->tok == tok_eof || arg->tok == tok_eol)
709 break;
711 if (arg->tok == tok_ignore)
713 /* The weight for this level has to be ignored. We use the
714 null pointer to indicate this. */
715 elem->weights[weight_cnt].w = (struct element_t **)
716 obstack_alloc (&collate->mempool, sizeof (struct element_t *));
717 elem->weights[weight_cnt].w[0] = NULL;
718 elem->weights[weight_cnt].cnt = 1;
720 else if (arg->tok == tok_bsymbol || arg->tok == tok_ucs4)
722 char ucs4str[10];
723 struct element_t *val;
724 char *symstr;
725 size_t symlen;
727 if (arg->tok == tok_bsymbol)
729 symstr = arg->val.str.startmb;
730 symlen = arg->val.str.lenmb;
732 else
734 snprintf (ucs4str, sizeof (ucs4str), "U%08X", arg->val.ucs4);
735 symstr = ucs4str;
736 symlen = 9;
739 val = find_element (ldfile, collate, symstr, symlen);
740 if (val == NULL)
741 break;
743 elem->weights[weight_cnt].w = (struct element_t **)
744 obstack_alloc (&collate->mempool, sizeof (struct element_t *));
745 elem->weights[weight_cnt].w[0] = val;
746 elem->weights[weight_cnt].cnt = 1;
748 else if (arg->tok == tok_string)
750 /* Split the string up in the individual characters and put
751 the element definitions in the list. */
752 const char *cp = arg->val.str.startmb;
753 int cnt = 0;
754 struct element_t *charelem;
755 struct element_t **weights = NULL;
756 int max = 0;
758 if (*cp == '\0')
760 lr_error (ldfile, _("%s: empty weight string not allowed"),
761 "LC_COLLATE");
762 lr_ignore_rest (ldfile, 0);
763 break;
768 if (*cp == '<')
770 /* Ahh, it's a bsymbol or an UCS4 value. If it's
771 the latter we have to unify the name. */
772 const char *startp = ++cp;
773 size_t len;
775 while (*cp != '>')
777 if (*cp == ldfile->escape_char)
778 ++cp;
779 if (*cp == '\0')
780 /* It's a syntax error. */
781 goto syntax;
783 ++cp;
786 if (cp - startp == 5 && startp[0] == 'U'
787 && isxdigit (startp[1]) && isxdigit (startp[2])
788 && isxdigit (startp[3]) && isxdigit (startp[4]))
790 unsigned int ucs4 = strtoul (startp + 1, NULL, 16);
791 char *newstr;
793 newstr = (char *) xmalloc (10);
794 snprintf (newstr, 10, "U%08X", ucs4);
795 startp = newstr;
797 len = 9;
799 else
800 len = cp - startp;
802 charelem = find_element (ldfile, collate, startp, len);
803 ++cp;
805 else
807 /* People really shouldn't use characters directly in
808 the string. Especially since it's not really clear
809 what this means. We interpret all characters in the
810 string as if that would be bsymbols. Otherwise we
811 would have to match back to bsymbols somehow and this
812 is normally not what people normally expect. */
813 charelem = find_element (ldfile, collate, cp++, 1);
816 if (charelem == NULL)
818 /* We ignore the rest of the line. */
819 lr_ignore_rest (ldfile, 0);
820 break;
823 /* Add the pointer. */
824 if (cnt >= max)
826 struct element_t **newp;
827 max += 10;
828 newp = (struct element_t **)
829 alloca (max * sizeof (struct element_t *));
830 memcpy (newp, weights, cnt * sizeof (struct element_t *));
831 weights = newp;
833 weights[cnt++] = charelem;
835 while (*cp != '\0');
837 /* Now store the information. */
838 elem->weights[weight_cnt].w = (struct element_t **)
839 obstack_alloc (&collate->mempool,
840 cnt * sizeof (struct element_t *));
841 memcpy (elem->weights[weight_cnt].w, weights,
842 cnt * sizeof (struct element_t *));
843 elem->weights[weight_cnt].cnt = cnt;
845 /* We don't need the string anymore. */
846 free (arg->val.str.startmb);
848 else if (ellipsis != tok_none
849 && (arg->tok == tok_ellipsis2
850 || arg->tok == tok_ellipsis3
851 || arg->tok == tok_ellipsis4))
853 /* It must be the same ellipsis as used in the initial column. */
854 if (arg->tok != ellipsis)
855 lr_error (ldfile, _("\
856 %s: weights must use the same ellipsis symbol as the name"),
857 "LC_COLLATE");
859 /* The weight for this level will depend on the element
860 iterating over the range. Put a placeholder. */
861 elem->weights[weight_cnt].w = (struct element_t **)
862 obstack_alloc (&collate->mempool, sizeof (struct element_t *));
863 elem->weights[weight_cnt].w[0] = ELEMENT_ELLIPSIS2;
864 elem->weights[weight_cnt].cnt = 1;
866 else
868 syntax:
869 /* It's a syntax error. */
870 lr_error (ldfile, _("%s: syntax error"), "LC_COLLATE");
871 lr_ignore_rest (ldfile, 0);
872 break;
875 arg = lr_token (ldfile, charmap, result, repertoire, verbose);
876 /* This better should be the end of the line or a semicolon. */
877 if (arg->tok == tok_semicolon)
878 /* OK, ignore this and read the next token. */
879 arg = lr_token (ldfile, charmap, result, repertoire, verbose);
880 else if (arg->tok != tok_eof && arg->tok != tok_eol)
882 /* It's a syntax error. */
883 lr_error (ldfile, _("%s: syntax error"), "LC_COLLATE");
884 lr_ignore_rest (ldfile, 0);
885 break;
888 while (++weight_cnt < nrules);
890 if (weight_cnt < nrules)
892 /* This means the rest of the line uses the current element as
893 the weight. */
896 elem->weights[weight_cnt].w = (struct element_t **)
897 obstack_alloc (&collate->mempool, sizeof (struct element_t *));
898 if (ellipsis == tok_none)
899 elem->weights[weight_cnt].w[0] = elem;
900 else
901 elem->weights[weight_cnt].w[0] = ELEMENT_ELLIPSIS2;
902 elem->weights[weight_cnt].cnt = 1;
904 while (++weight_cnt < nrules);
906 else
908 if (arg->tok == tok_ignore || arg->tok == tok_bsymbol)
910 /* Too many rule values. */
911 lr_error (ldfile, _("%s: too many values"), "LC_COLLATE");
912 lr_ignore_rest (ldfile, 0);
914 else
915 lr_ignore_rest (ldfile, arg->tok != tok_eol && arg->tok != tok_eof);
920 static int
921 insert_value (struct linereader *ldfile, const char *symstr, size_t symlen,
922 const struct charmap_t *charmap, struct repertoire_t *repertoire,
923 struct localedef_t *result)
925 /* First find out what kind of symbol this is. */
926 struct charseq *seq;
927 uint32_t wc;
928 struct element_t *elem = NULL;
929 struct locale_collate_t *collate = result->categories[LC_COLLATE].collate;
931 /* Try to find the character in the charmap. */
932 seq = charmap_find_value (charmap, symstr, symlen);
934 /* Determine the wide character. */
935 if (seq == NULL || seq->ucs4 == UNINITIALIZED_CHAR_VALUE)
937 wc = repertoire_find_value (repertoire, symstr, symlen);
938 if (seq != NULL)
939 seq->ucs4 = wc;
941 else
942 wc = seq->ucs4;
944 if (wc == ILLEGAL_CHAR_VALUE && seq == NULL)
946 /* It's no character, so look through the collation elements and
947 symbol list. */
948 void *ptr = elem;
949 if (find_entry (&collate->elem_table, symstr, symlen, &ptr) != 0)
951 void *result;
952 struct symbol_t *sym = NULL;
954 /* It's also collation element. Therefore it's either a
955 collating symbol or it's a character which is not
956 supported by the character set. In the later case we
957 simply create a dummy entry. */
958 if (find_entry (&collate->sym_table, symstr, symlen, &result) == 0)
960 /* It's a collation symbol. */
961 sym = (struct symbol_t *) result;
963 elem = sym->order;
966 if (elem == NULL)
968 elem = new_element (collate, NULL, 0, NULL, symstr, symlen, 0);
970 if (sym != NULL)
971 sym->order = elem;
972 else
973 /* Enter a fake element in the sequence table. This
974 won't cause anything in the output since there is
975 no multibyte or wide character associated with
976 it. */
977 insert_entry (&collate->seq_table, symstr, symlen, elem);
980 else
981 /* Copy the result back. */
982 elem = ptr;
984 else
986 /* Otherwise the symbols stands for a character. */
987 void *ptr = elem;
988 if (find_entry (&collate->seq_table, symstr, symlen, &ptr) != 0)
990 uint32_t wcs[2] = { wc, 0 };
992 /* We have to allocate an entry. */
993 elem = new_element (collate,
994 seq != NULL ? (char *) seq->bytes : NULL,
995 seq != NULL ? seq->nbytes : 0,
996 wc == ILLEGAL_CHAR_VALUE ? NULL : wcs,
997 symstr, symlen, 1);
999 /* And add it to the table. */
1000 if (insert_entry (&collate->seq_table, symstr, symlen, elem) != 0)
1001 /* This cannot happen. */
1002 assert (! "Internal error");
1004 else
1006 /* Copy the result back. */
1007 elem = ptr;
1009 /* Maybe the character was used before the definition. In this case
1010 we have to insert the byte sequences now. */
1011 if (elem->mbs == NULL && seq != NULL)
1013 elem->mbs = obstack_copy0 (&collate->mempool,
1014 seq->bytes, seq->nbytes);
1015 elem->nmbs = seq->nbytes;
1018 if (elem->wcs == NULL && wc != ILLEGAL_CHAR_VALUE)
1020 uint32_t wcs[2] = { wc, 0 };
1022 elem->wcs = obstack_copy (&collate->mempool, wcs, sizeof (wcs));
1023 elem->nwcs = 1;
1028 /* Test whether this element is not already in the list. */
1029 if (elem->next != NULL || elem == collate->cursor)
1031 lr_error (ldfile, _("order for `%.*s' already defined at %s:%Zu"),
1032 (int) symlen, symstr, elem->file, elem->line);
1033 lr_ignore_rest (ldfile, 0);
1034 return 1;
1037 insert_weights (ldfile, elem, charmap, repertoire, result, tok_none);
1039 return 0;
1043 static void
1044 handle_ellipsis (struct linereader *ldfile, const char *symstr, size_t symlen,
1045 enum token_t ellipsis, const struct charmap_t *charmap,
1046 struct repertoire_t *repertoire,
1047 struct localedef_t *result)
1049 struct element_t *startp;
1050 struct element_t *endp;
1051 struct locale_collate_t *collate = result->categories[LC_COLLATE].collate;
1053 /* Unlink the entry added for the ellipsis. */
1054 unlink_element (collate);
1055 startp = collate->cursor;
1057 /* Process and add the end-entry. */
1058 if (symstr != NULL
1059 && insert_value (ldfile, symstr, symlen, charmap, repertoire, result))
1060 /* Something went wrong with inserting the to-value. This means
1061 we cannot process the ellipsis. */
1062 return;
1064 /* Reset the cursor. */
1065 collate->cursor = startp;
1067 /* Now we have to handle many different situations:
1068 - we have to distinguish between the three different ellipsis forms
1069 - the is the ellipsis at the beginning, in the middle, or at the end.
1071 endp = collate->cursor->next;
1072 assert (symstr == NULL || endp != NULL);
1074 /* XXX The following is probably very wrong since also collating symbols
1075 can appear in ranges. But do we want/can refine the test for that? */
1076 #if 0
1077 /* Both, the start and the end symbol, must stand for characters. */
1078 if ((startp != NULL && (startp->name == NULL || ! startp->is_character))
1079 || (endp != NULL && (endp->name == NULL|| ! endp->is_character)))
1081 lr_error (ldfile, _("\
1082 %s: the start and the end symbol of a range must stand for characters"),
1083 "LC_COLLATE");
1084 return;
1086 #endif
1088 if (ellipsis == tok_ellipsis3)
1090 /* One requirement we make here: the length of the byte
1091 sequences for the first and end character must be the same.
1092 This is mainly to prevent unwanted effects and this is often
1093 not what is wanted. */
1094 size_t len = (startp->mbs != NULL ? startp->nmbs
1095 : (endp->mbs != NULL ? endp->nmbs : 0));
1096 char mbcnt[len + 1];
1097 char mbend[len + 1];
1099 /* Well, this should be caught somewhere else already. Just to
1100 make sure. */
1101 assert (startp == NULL || startp->wcs == NULL || startp->wcs[1] == 0);
1102 assert (endp == NULL || endp->wcs == NULL || endp->wcs[1] == 0);
1104 if (startp != NULL && endp != NULL
1105 && startp->mbs != NULL && endp->mbs != NULL
1106 && startp->nmbs != endp->nmbs)
1108 lr_error (ldfile, _("\
1109 %s: byte sequences of first and last character must have the same length"),
1110 "LC_COLLATE");
1111 return;
1114 /* Determine whether we have to generate multibyte sequences. */
1115 if ((startp == NULL || startp->mbs != NULL)
1116 && (endp == NULL || endp->mbs != NULL))
1118 int cnt;
1119 int ret;
1121 /* Prepare the beginning byte sequence. This is either from the
1122 beginning byte sequence or it is all nulls if it was an
1123 initial ellipsis. */
1124 if (startp == NULL || startp->mbs == NULL)
1125 memset (mbcnt, '\0', len);
1126 else
1128 memcpy (mbcnt, startp->mbs, len);
1130 /* And increment it so that the value is the first one we will
1131 try to insert. */
1132 for (cnt = len - 1; cnt >= 0; --cnt)
1133 if (++mbcnt[cnt] != '\0')
1134 break;
1136 mbcnt[len] = '\0';
1138 /* And the end sequence. */
1139 if (endp == NULL || endp->mbs == NULL)
1140 memset (mbend, '\0', len);
1141 else
1142 memcpy (mbend, endp->mbs, len);
1143 mbend[len] = '\0';
1145 /* Test whether we have a correct range. */
1146 ret = memcmp (mbcnt, mbend, len);
1147 if (ret >= 0)
1149 if (ret > 0)
1150 lr_error (ldfile, _("%s: byte sequence of first character of \
1151 range is not lower than that of the last character"), "LC_COLLATE");
1152 return;
1155 /* Generate the byte sequences data. */
1156 while (1)
1158 struct charseq *seq;
1160 /* Quite a bit of work ahead. We have to find the character
1161 definition for the byte sequence and then determine the
1162 wide character belonging to it. */
1163 seq = charmap_find_symbol (charmap, mbcnt, len);
1164 if (seq != NULL)
1166 struct element_t *elem;
1167 size_t namelen;
1169 /* I don't think this can ever happen. */
1170 assert (seq->name != NULL);
1171 namelen = strlen (seq->name);
1173 if (seq->ucs4 == UNINITIALIZED_CHAR_VALUE)
1174 seq->ucs4 = repertoire_find_value (repertoire, seq->name,
1175 namelen);
1177 /* Now we are ready to insert the new value in the
1178 sequence. Find out whether the element is
1179 already known. */
1180 void *ptr;
1181 if (find_entry (&collate->seq_table, seq->name, namelen,
1182 &ptr) != 0)
1184 uint32_t wcs[2] = { seq->ucs4, 0 };
1186 /* We have to allocate an entry. */
1187 elem = new_element (collate, mbcnt, len,
1188 seq->ucs4 == ILLEGAL_CHAR_VALUE
1189 ? NULL : wcs, seq->name,
1190 namelen, 1);
1192 /* And add it to the table. */
1193 if (insert_entry (&collate->seq_table, seq->name,
1194 namelen, elem) != 0)
1195 /* This cannot happen. */
1196 assert (! "Internal error");
1198 else
1199 /* Copy the result. */
1200 elem = ptr;
1202 /* Test whether this element is not already in the list. */
1203 if (elem->next != NULL || (collate->cursor != NULL
1204 && elem->next == collate->cursor))
1206 lr_error (ldfile, _("\
1207 order for `%.*s' already defined at %s:%Zu"),
1208 (int) namelen, seq->name,
1209 elem->file, elem->line);
1210 goto increment;
1213 /* Enqueue the new element. */
1214 elem->last = collate->cursor;
1215 if (collate->cursor == NULL)
1216 elem->next = NULL;
1217 else
1219 elem->next = collate->cursor->next;
1220 elem->last->next = elem;
1221 if (elem->next != NULL)
1222 elem->next->last = elem;
1224 if (collate->start == NULL)
1226 assert (collate->cursor == NULL);
1227 collate->start = elem;
1229 collate->cursor = elem;
1231 /* Add the weight value. We take them from the
1232 `ellipsis_weights' member of `collate'. */
1233 elem->weights = (struct element_list_t *)
1234 obstack_alloc (&collate->mempool,
1235 nrules * sizeof (struct element_list_t));
1236 for (cnt = 0; cnt < nrules; ++cnt)
1237 if (collate->ellipsis_weight.weights[cnt].cnt == 1
1238 && (collate->ellipsis_weight.weights[cnt].w[0]
1239 == ELEMENT_ELLIPSIS2))
1241 elem->weights[cnt].w = (struct element_t **)
1242 obstack_alloc (&collate->mempool,
1243 sizeof (struct element_t *));
1244 elem->weights[cnt].w[0] = elem;
1245 elem->weights[cnt].cnt = 1;
1247 else
1249 /* Simply use the weight from `ellipsis_weight'. */
1250 elem->weights[cnt].w =
1251 collate->ellipsis_weight.weights[cnt].w;
1252 elem->weights[cnt].cnt =
1253 collate->ellipsis_weight.weights[cnt].cnt;
1257 /* Increment for the next round. */
1258 increment:
1259 for (cnt = len - 1; cnt >= 0; --cnt)
1260 if (++mbcnt[cnt] != '\0')
1261 break;
1263 /* Find out whether this was all. */
1264 if (cnt < 0 || memcmp (mbcnt, mbend, len) >= 0)
1265 /* Yep, that's all. */
1266 break;
1270 else
1272 /* For symbolic range we naturally must have a beginning and an
1273 end specified by the user. */
1274 if (startp == NULL)
1275 lr_error (ldfile, _("\
1276 %s: symbolic range ellipsis must not directly follow `order_start'"),
1277 "LC_COLLATE");
1278 else if (endp == NULL)
1279 lr_error (ldfile, _("\
1280 %s: symbolic range ellipsis must not be directly followed by `order_end'"),
1281 "LC_COLLATE");
1282 else
1284 /* Determine the range. To do so we have to determine the
1285 common prefix of the both names and then the numeric
1286 values of both ends. */
1287 size_t lenfrom = strlen (startp->name);
1288 size_t lento = strlen (endp->name);
1289 char buf[lento + 1];
1290 int preflen = 0;
1291 long int from;
1292 long int to;
1293 char *cp;
1294 int base = ellipsis == tok_ellipsis2 ? 16 : 10;
1296 if (lenfrom != lento)
1298 invalid_range:
1299 lr_error (ldfile, _("\
1300 `%s' and `%.*s' are not valid names for symbolic range"),
1301 startp->name, (int) lento, endp->name);
1302 return;
1305 while (startp->name[preflen] == endp->name[preflen])
1306 if (startp->name[preflen] == '\0')
1307 /* Nothing to be done. The start and end point are identical
1308 and while inserting the end point we have already given
1309 the user an error message. */
1310 return;
1311 else
1312 ++preflen;
1314 errno = 0;
1315 from = strtol (startp->name + preflen, &cp, base);
1316 if ((from == UINT_MAX && errno == ERANGE) || *cp != '\0')
1317 goto invalid_range;
1319 errno = 0;
1320 to = strtol (endp->name + preflen, &cp, base);
1321 if ((to == UINT_MAX && errno == ERANGE) || *cp != '\0')
1322 goto invalid_range;
1324 /* Copy the prefix. */
1325 memcpy (buf, startp->name, preflen);
1327 /* Loop over all values. */
1328 for (++from; from < to; ++from)
1330 struct element_t *elem = NULL;
1331 struct charseq *seq;
1332 uint32_t wc;
1333 int cnt;
1335 /* Generate the name. */
1336 sprintf (buf + preflen, base == 10 ? "%0*ld" : "%0*lX",
1337 (int) (lenfrom - preflen), from);
1339 /* Look whether this name is already defined. */
1340 void *ptr;
1341 if (find_entry (&collate->seq_table, buf, symlen, &ptr) == 0)
1343 /* Copy back the result. */
1344 elem = ptr;
1346 if (elem->next != NULL || (collate->cursor != NULL
1347 && elem->next == collate->cursor))
1349 lr_error (ldfile, _("\
1350 %s: order for `%.*s' already defined at %s:%Zu"),
1351 "LC_COLLATE", (int) lenfrom, buf,
1352 elem->file, elem->line);
1353 continue;
1356 if (elem->name == NULL)
1358 lr_error (ldfile, _("%s: `%s' must be a character"),
1359 "LC_COLLATE", buf);
1360 continue;
1364 if (elem == NULL || (elem->mbs == NULL && elem->wcs == NULL))
1366 /* Search for a character of this name. */
1367 seq = charmap_find_value (charmap, buf, lenfrom);
1368 if (seq == NULL || seq->ucs4 == UNINITIALIZED_CHAR_VALUE)
1370 wc = repertoire_find_value (repertoire, buf, lenfrom);
1372 if (seq != NULL)
1373 seq->ucs4 = wc;
1375 else
1376 wc = seq->ucs4;
1378 if (wc == ILLEGAL_CHAR_VALUE && seq == NULL)
1379 /* We don't know anything about a character with this
1380 name. XXX Should we warn? */
1381 continue;
1383 if (elem == NULL)
1385 uint32_t wcs[2] = { wc, 0 };
1387 /* We have to allocate an entry. */
1388 elem = new_element (collate,
1389 seq != NULL
1390 ? (char *) seq->bytes : NULL,
1391 seq != NULL ? seq->nbytes : 0,
1392 wc == ILLEGAL_CHAR_VALUE
1393 ? NULL : wcs, buf, lenfrom, 1);
1395 else
1397 /* Update the element. */
1398 if (seq != NULL)
1400 elem->mbs = obstack_copy0 (&collate->mempool,
1401 seq->bytes, seq->nbytes);
1402 elem->nmbs = seq->nbytes;
1405 if (wc != ILLEGAL_CHAR_VALUE)
1407 uint32_t zero = 0;
1409 obstack_grow (&collate->mempool,
1410 &wc, sizeof (uint32_t));
1411 obstack_grow (&collate->mempool,
1412 &zero, sizeof (uint32_t));
1413 elem->wcs = obstack_finish (&collate->mempool);
1414 elem->nwcs = 1;
1418 elem->file = ldfile->fname;
1419 elem->line = ldfile->lineno;
1420 elem->section = collate->current_section;
1423 /* Enqueue the new element. */
1424 elem->last = collate->cursor;
1425 elem->next = collate->cursor->next;
1426 elem->last->next = elem;
1427 if (elem->next != NULL)
1428 elem->next->last = elem;
1429 collate->cursor = elem;
1431 /* Now add the weights. They come from the `ellipsis_weights'
1432 member of `collate'. */
1433 elem->weights = (struct element_list_t *)
1434 obstack_alloc (&collate->mempool,
1435 nrules * sizeof (struct element_list_t));
1436 for (cnt = 0; cnt < nrules; ++cnt)
1437 if (collate->ellipsis_weight.weights[cnt].cnt == 1
1438 && (collate->ellipsis_weight.weights[cnt].w[0]
1439 == ELEMENT_ELLIPSIS2))
1441 elem->weights[cnt].w = (struct element_t **)
1442 obstack_alloc (&collate->mempool,
1443 sizeof (struct element_t *));
1444 elem->weights[cnt].w[0] = elem;
1445 elem->weights[cnt].cnt = 1;
1447 else
1449 /* Simly use the weight from `ellipsis_weight'. */
1450 elem->weights[cnt].w =
1451 collate->ellipsis_weight.weights[cnt].w;
1452 elem->weights[cnt].cnt =
1453 collate->ellipsis_weight.weights[cnt].cnt;
1461 static void
1462 collate_startup (struct linereader *ldfile, struct localedef_t *locale,
1463 struct localedef_t *copy_locale, int ignore_content)
1465 if (!ignore_content && locale->categories[LC_COLLATE].collate == NULL)
1467 struct locale_collate_t *collate;
1469 if (copy_locale == NULL)
1471 collate = locale->categories[LC_COLLATE].collate =
1472 (struct locale_collate_t *)
1473 xcalloc (1, sizeof (struct locale_collate_t));
1475 /* Init the various data structures. */
1476 init_hash (&collate->elem_table, 100);
1477 init_hash (&collate->sym_table, 100);
1478 init_hash (&collate->seq_table, 500);
1479 obstack_init (&collate->mempool);
1481 collate->col_weight_max = -1;
1483 else
1484 /* Reuse the copy_locale's data structures. */
1485 collate = locale->categories[LC_COLLATE].collate =
1486 copy_locale->categories[LC_COLLATE].collate;
1489 ldfile->translate_strings = 0;
1490 ldfile->return_widestr = 0;
1494 void
1495 collate_finish (struct localedef_t *locale, const struct charmap_t *charmap)
1497 /* Now is the time when we can assign the individual collation
1498 values for all the symbols. We have possibly different values
1499 for the wide- and the multibyte-character symbols. This is done
1500 since it might make a difference in the encoding if there is in
1501 some cases no multibyte-character but there are wide-characters.
1502 (The other way around it is not important since theencoded
1503 collation value in the wide-character case is 32 bits wide and
1504 therefore requires no encoding).
1506 The lowest collation value assigned is 2. Zero is reserved for
1507 the NUL byte terminating the strings in the `strxfrm'/`wcsxfrm'
1508 functions and 1 is used to separate the individual passes for the
1509 different rules.
1511 We also have to construct is list with all the bytes/words which
1512 can come first in a sequence, followed by all the elements which
1513 also start with this byte/word. The order is reverse which has
1514 among others the important effect that longer strings are located
1515 first in the list. This is required for the output data since
1516 the algorithm used in `strcoll' etc depends on this.
1518 The multibyte case is easy. We simply sort into an array with
1519 256 elements. */
1520 struct locale_collate_t *collate = locale->categories[LC_COLLATE].collate;
1521 int mbact[nrules];
1522 int wcact;
1523 int mbseqact;
1524 int wcseqact;
1525 struct element_t *runp;
1526 int i;
1527 int need_undefined = 0;
1528 struct section_list *sect;
1529 int ruleidx;
1530 int nr_wide_elems = 0;
1532 if (collate == NULL)
1534 /* No data, no check. */
1535 if (! be_quiet)
1536 WITH_CUR_LOCALE (error (0, 0, _("No definition for %s category found"),
1537 "LC_COLLATE"));
1538 return;
1541 /* If this assertion is hit change the type in `element_t'. */
1542 assert (nrules <= sizeof (runp->used_in_level) * 8);
1544 /* Make sure that the `position' rule is used either in all sections
1545 or in none. */
1546 for (i = 0; i < nrules; ++i)
1547 for (sect = collate->sections; sect != NULL; sect = sect->next)
1548 if (sect->rules != NULL
1549 && ((sect->rules[i] & sort_position)
1550 != (collate->sections->rules[i] & sort_position)))
1552 WITH_CUR_LOCALE (error (0, 0, _("\
1553 %s: `position' must be used for a specific level in all sections or none"),
1554 "LC_COLLATE"));
1555 break;
1558 /* Find out which elements are used at which level. At the same
1559 time we find out whether we have any undefined symbols. */
1560 runp = collate->start;
1561 while (runp != NULL)
1563 if (runp->mbs != NULL)
1565 for (i = 0; i < nrules; ++i)
1567 int j;
1569 for (j = 0; j < runp->weights[i].cnt; ++j)
1570 /* A NULL pointer as the weight means IGNORE. */
1571 if (runp->weights[i].w[j] != NULL)
1573 if (runp->weights[i].w[j]->weights == NULL)
1575 WITH_CUR_LOCALE (error_at_line (0, 0, runp->file,
1576 runp->line,
1577 _("symbol `%s' not defined"),
1578 runp->weights[i].w[j]->name));
1580 need_undefined = 1;
1581 runp->weights[i].w[j] = &collate->undefined;
1583 else
1584 /* Set the bit for the level. */
1585 runp->weights[i].w[j]->used_in_level |= 1 << i;
1590 /* Up to the next entry. */
1591 runp = runp->next;
1594 /* Walk through the list of defined sequences and assign weights. Also
1595 create the data structure which will allow generating the single byte
1596 character based tables.
1598 Since at each time only the weights for each of the rules are
1599 only compared to other weights for this rule it is possible to
1600 assign more compact weight values than simply counting all
1601 weights in sequence. We can assign weights from 3, one for each
1602 rule individually and only for those elements, which are actually
1603 used for this rule.
1605 Why is this important? It is not for the wide char table. But
1606 it is for the singlebyte output since here larger numbers have to
1607 be encoded to make it possible to emit the value as a byte
1608 string. */
1609 for (i = 0; i < nrules; ++i)
1610 mbact[i] = 2;
1611 wcact = 2;
1612 mbseqact = 0;
1613 wcseqact = 0;
1614 runp = collate->start;
1615 while (runp != NULL)
1617 /* Determine the order. */
1618 if (runp->used_in_level != 0)
1620 runp->mborder = (int *) obstack_alloc (&collate->mempool,
1621 nrules * sizeof (int));
1623 for (i = 0; i < nrules; ++i)
1624 if ((runp->used_in_level & (1 << i)) != 0)
1625 runp->mborder[i] = mbact[i]++;
1626 else
1627 runp->mborder[i] = 0;
1630 if (runp->mbs != NULL)
1632 struct element_t **eptr;
1633 struct element_t *lastp = NULL;
1635 /* Find the point where to insert in the list. */
1636 eptr = &collate->mbheads[((unsigned char *) runp->mbs)[0]];
1637 while (*eptr != NULL)
1639 if ((*eptr)->nmbs < runp->nmbs)
1640 break;
1642 if ((*eptr)->nmbs == runp->nmbs)
1644 int c = memcmp ((*eptr)->mbs, runp->mbs, runp->nmbs);
1646 if (c == 0)
1648 /* This should not happen. It means that we have
1649 to symbols with the same byte sequence. It is
1650 of course an error. */
1651 WITH_CUR_LOCALE (error_at_line (0, 0, (*eptr)->file,
1652 (*eptr)->line,
1653 _("\
1654 symbol `%s' has the same encoding as"), (*eptr)->name);
1655 error_at_line (0, 0, runp->file,
1656 runp->line,
1657 _("symbol `%s'"),
1658 runp->name));
1659 goto dont_insert;
1661 else if (c < 0)
1662 /* Insert it here. */
1663 break;
1666 /* To the next entry. */
1667 lastp = *eptr;
1668 eptr = &(*eptr)->mbnext;
1671 /* Set the pointers. */
1672 runp->mbnext = *eptr;
1673 runp->mblast = lastp;
1674 if (*eptr != NULL)
1675 (*eptr)->mblast = runp;
1676 *eptr = runp;
1677 dont_insert:
1681 if (runp->used_in_level)
1683 runp->wcorder = wcact++;
1685 /* We take the opportunity to count the elements which have
1686 wide characters. */
1687 ++nr_wide_elems;
1690 if (runp->is_character)
1692 if (runp->nmbs == 1)
1693 collate->mbseqorder[((unsigned char *) runp->mbs)[0]] = mbseqact++;
1695 runp->wcseqorder = wcseqact++;
1697 else if (runp->mbs != NULL && runp->weights != NULL)
1698 /* This is for collation elements. */
1699 runp->wcseqorder = wcseqact++;
1701 /* Up to the next entry. */
1702 runp = runp->next;
1705 /* Find out whether any of the `mbheads' entries is unset. In this
1706 case we use the UNDEFINED entry. */
1707 for (i = 1; i < 256; ++i)
1708 if (collate->mbheads[i] == NULL)
1710 need_undefined = 1;
1711 collate->mbheads[i] = &collate->undefined;
1714 /* Now to the wide character case. */
1715 collate->wcheads.p = 6;
1716 collate->wcheads.q = 10;
1717 wchead_table_init (&collate->wcheads);
1719 collate->wcseqorder.p = 6;
1720 collate->wcseqorder.q = 10;
1721 collseq_table_init (&collate->wcseqorder);
1723 /* Start adding. */
1724 runp = collate->start;
1725 while (runp != NULL)
1727 if (runp->wcs != NULL)
1729 struct element_t *e;
1730 struct element_t **eptr;
1731 struct element_t *lastp;
1733 /* Insert the collation sequence value. */
1734 if (runp->is_character)
1735 collseq_table_add (&collate->wcseqorder, runp->wcs[0],
1736 runp->wcseqorder);
1738 /* Find the point where to insert in the list. */
1739 e = wchead_table_get (&collate->wcheads, runp->wcs[0]);
1740 eptr = &e;
1741 lastp = NULL;
1742 while (*eptr != NULL)
1744 if ((*eptr)->nwcs < runp->nwcs)
1745 break;
1747 if ((*eptr)->nwcs == runp->nwcs)
1749 int c = wmemcmp ((wchar_t *) (*eptr)->wcs,
1750 (wchar_t *) runp->wcs, runp->nwcs);
1752 if (c == 0)
1754 /* This should not happen. It means that we have
1755 two symbols with the same byte sequence. It is
1756 of course an error. */
1757 WITH_CUR_LOCALE (error_at_line (0, 0, (*eptr)->file,
1758 (*eptr)->line,
1759 _("\
1760 symbol `%s' has the same encoding as"), (*eptr)->name);
1761 error_at_line (0, 0, runp->file,
1762 runp->line,
1763 _("symbol `%s'"),
1764 runp->name));
1765 goto dont_insertwc;
1767 else if (c < 0)
1768 /* Insert it here. */
1769 break;
1772 /* To the next entry. */
1773 lastp = *eptr;
1774 eptr = &(*eptr)->wcnext;
1777 /* Set the pointers. */
1778 runp->wcnext = *eptr;
1779 runp->wclast = lastp;
1780 if (*eptr != NULL)
1781 (*eptr)->wclast = runp;
1782 *eptr = runp;
1783 if (eptr == &e)
1784 wchead_table_add (&collate->wcheads, runp->wcs[0], e);
1785 dont_insertwc:
1789 /* Up to the next entry. */
1790 runp = runp->next;
1793 collseq_table_finalize (&collate->wcseqorder);
1795 /* Now determine whether the UNDEFINED entry is needed and if yes,
1796 whether it was defined. */
1797 collate->undefined.used_in_level = need_undefined ? ~0ul : 0;
1798 if (collate->undefined.file == NULL)
1800 if (need_undefined)
1802 /* This seems not to be enforced by recent standards. Don't
1803 emit an error, simply append UNDEFINED at the end. */
1804 if (0)
1805 WITH_CUR_LOCALE (error (0, 0, _("no definition of `UNDEFINED'")));
1807 /* Add UNDEFINED at the end. */
1808 collate->undefined.mborder =
1809 (int *) obstack_alloc (&collate->mempool, nrules * sizeof (int));
1811 for (i = 0; i < nrules; ++i)
1812 collate->undefined.mborder[i] = mbact[i]++;
1815 /* In any case we will need the definition for the wide character
1816 case. But we will not complain that it is missing since the
1817 specification strangely enough does not seem to account for
1818 this. */
1819 collate->undefined.wcorder = wcact++;
1822 /* Finally, try to unify the rules for the sections. Whenever the rules
1823 for a section are the same as those for another section give the
1824 ruleset the same index. Since there are never many section we can
1825 use an O(n^2) algorithm here. */
1826 sect = collate->sections;
1827 while (sect != NULL && sect->rules == NULL)
1828 sect = sect->next;
1830 /* Bail out if we have no sections because of earlier errors. */
1831 if (sect == NULL)
1833 WITH_CUR_LOCALE (error (EXIT_FAILURE, 0,
1834 _("too many errors; giving up")));
1835 return;
1838 ruleidx = 0;
1841 struct section_list *osect = collate->sections;
1843 while (osect != sect)
1844 if (osect->rules != NULL
1845 && memcmp (osect->rules, sect->rules, nrules) == 0)
1846 break;
1847 else
1848 osect = osect->next;
1850 if (osect == sect)
1851 sect->ruleidx = ruleidx++;
1852 else
1853 sect->ruleidx = osect->ruleidx;
1855 /* Next section. */
1857 sect = sect->next;
1858 while (sect != NULL && sect->rules == NULL);
1860 while (sect != NULL);
1861 /* We are currently not prepared for more than 128 rulesets. But this
1862 should never really be a problem. */
1863 assert (ruleidx <= 128);
1867 static int32_t
1868 output_weight (struct obstack *pool, struct locale_collate_t *collate,
1869 struct element_t *elem)
1871 size_t cnt;
1872 int32_t retval;
1874 /* Optimize the use of UNDEFINED. */
1875 if (elem == &collate->undefined)
1876 /* The weights are already inserted. */
1877 return 0;
1879 /* This byte can start exactly one collation element and this is
1880 a single byte. We can directly give the index to the weights. */
1881 retval = obstack_object_size (pool);
1883 /* Construct the weight. */
1884 for (cnt = 0; cnt < nrules; ++cnt)
1886 char buf[elem->weights[cnt].cnt * 7];
1887 int len = 0;
1888 int i;
1890 for (i = 0; i < elem->weights[cnt].cnt; ++i)
1891 /* Encode the weight value. We do nothing for IGNORE entries. */
1892 if (elem->weights[cnt].w[i] != NULL)
1893 len += utf8_encode (&buf[len],
1894 elem->weights[cnt].w[i]->mborder[cnt]);
1896 /* And add the buffer content. */
1897 obstack_1grow (pool, len);
1898 obstack_grow (pool, buf, len);
1901 return retval | ((elem->section->ruleidx & 0x7f) << 24);
1905 static int32_t
1906 output_weightwc (struct obstack *pool, struct locale_collate_t *collate,
1907 struct element_t *elem)
1909 size_t cnt;
1910 int32_t retval;
1912 /* Optimize the use of UNDEFINED. */
1913 if (elem == &collate->undefined)
1914 /* The weights are already inserted. */
1915 return 0;
1917 /* This byte can start exactly one collation element and this is
1918 a single byte. We can directly give the index to the weights. */
1919 retval = obstack_object_size (pool) / sizeof (int32_t);
1921 /* Construct the weight. */
1922 for (cnt = 0; cnt < nrules; ++cnt)
1924 int32_t buf[elem->weights[cnt].cnt];
1925 int i;
1926 int32_t j;
1928 for (i = 0, j = 0; i < elem->weights[cnt].cnt; ++i)
1929 if (elem->weights[cnt].w[i] != NULL)
1930 buf[j++] = elem->weights[cnt].w[i]->wcorder;
1932 /* And add the buffer content. */
1933 obstack_int32_grow (pool, j);
1935 obstack_grow (pool, buf, j * sizeof (int32_t));
1938 return retval | ((elem->section->ruleidx & 0x7f) << 24);
1941 /* If localedef is every threaded, this would need to be __thread var. */
1942 static struct
1944 struct obstack *weightpool;
1945 struct obstack *extrapool;
1946 struct obstack *indpool;
1947 struct locale_collate_t *collate;
1948 struct collidx_table *tablewc;
1949 } atwc;
1951 static void add_to_tablewc (uint32_t ch, struct element_t *runp);
1953 static void
1954 add_to_tablewc (uint32_t ch, struct element_t *runp)
1956 if (runp->wcnext == NULL && runp->nwcs == 1)
1958 int32_t weigthidx = output_weightwc (atwc.weightpool, atwc.collate,
1959 runp);
1960 collidx_table_add (atwc.tablewc, ch, weigthidx);
1962 else
1964 /* As for the singlebyte table, we recognize sequences and
1965 compress them. */
1966 struct element_t *lastp;
1968 collidx_table_add (atwc.tablewc, ch,
1969 -(obstack_object_size (atwc.extrapool)
1970 / sizeof (uint32_t)));
1974 /* Store the current index in the weight table. We know that
1975 the current position in the `extrapool' is aligned on a
1976 32-bit address. */
1977 int32_t weightidx;
1978 int added;
1980 /* Find out wether this is a single entry or we have more than
1981 one consecutive entry. */
1982 if (runp->wcnext != NULL
1983 && runp->nwcs == runp->wcnext->nwcs
1984 && wmemcmp ((wchar_t *) runp->wcs,
1985 (wchar_t *)runp->wcnext->wcs,
1986 runp->nwcs - 1) == 0
1987 && (runp->wcs[runp->nwcs - 1]
1988 == runp->wcnext->wcs[runp->nwcs - 1] + 1))
1990 int i;
1991 struct element_t *series_startp = runp;
1992 struct element_t *curp;
1994 /* Now add first the initial byte sequence. */
1995 added = (1 + 1 + 2 * (runp->nwcs - 1)) * sizeof (int32_t);
1996 if (sizeof (int32_t) == sizeof (int))
1997 obstack_make_room (atwc.extrapool, added);
1999 /* More than one consecutive entry. We mark this by having
2000 a negative index into the indirect table. */
2001 obstack_int32_grow_fast (atwc.extrapool,
2002 -(obstack_object_size (atwc.indpool)
2003 / sizeof (int32_t)));
2004 obstack_int32_grow_fast (atwc.extrapool, runp->nwcs - 1);
2007 runp = runp->wcnext;
2008 while (runp->wcnext != NULL
2009 && runp->nwcs == runp->wcnext->nwcs
2010 && wmemcmp ((wchar_t *) runp->wcs,
2011 (wchar_t *)runp->wcnext->wcs,
2012 runp->nwcs - 1) == 0
2013 && (runp->wcs[runp->nwcs - 1]
2014 == runp->wcnext->wcs[runp->nwcs - 1] + 1));
2016 /* Now walk backward from here to the beginning. */
2017 curp = runp;
2019 for (i = 1; i < runp->nwcs; ++i)
2020 obstack_int32_grow_fast (atwc.extrapool, curp->wcs[i]);
2022 /* Now find the end of the consecutive sequence and
2023 add all the indeces in the indirect pool. */
2026 weightidx = output_weightwc (atwc.weightpool, atwc.collate,
2027 curp);
2028 obstack_int32_grow (atwc.indpool, weightidx);
2030 curp = curp->wclast;
2032 while (curp != series_startp);
2034 /* Add the final weight. */
2035 weightidx = output_weightwc (atwc.weightpool, atwc.collate,
2036 curp);
2037 obstack_int32_grow (atwc.indpool, weightidx);
2039 /* And add the end byte sequence. Without length this
2040 time. */
2041 for (i = 1; i < curp->nwcs; ++i)
2042 obstack_int32_grow (atwc.extrapool, curp->wcs[i]);
2044 else
2046 /* A single entry. Simply add the index and the length and
2047 string (except for the first character which is already
2048 tested for). */
2049 int i;
2051 /* Output the weight info. */
2052 weightidx = output_weightwc (atwc.weightpool, atwc.collate,
2053 runp);
2055 added = (1 + 1 + runp->nwcs - 1) * sizeof (int32_t);
2056 if (sizeof (int) == sizeof (int32_t))
2057 obstack_make_room (atwc.extrapool, added);
2059 obstack_int32_grow_fast (atwc.extrapool, weightidx);
2060 obstack_int32_grow_fast (atwc.extrapool, runp->nwcs - 1);
2061 for (i = 1; i < runp->nwcs; ++i)
2062 obstack_int32_grow_fast (atwc.extrapool, runp->wcs[i]);
2065 /* Next entry. */
2066 lastp = runp;
2067 runp = runp->wcnext;
2069 while (runp != NULL);
2073 void
2074 collate_output (struct localedef_t *locale, const struct charmap_t *charmap,
2075 const char *output_path)
2077 struct locale_collate_t *collate = locale->categories[LC_COLLATE].collate;
2078 const size_t nelems = _NL_ITEM_INDEX (_NL_NUM_LC_COLLATE);
2079 struct iovec iov[2 + nelems];
2080 struct locale_file data;
2081 uint32_t idx[nelems];
2082 size_t cnt;
2083 size_t ch;
2084 int32_t tablemb[256];
2085 struct obstack weightpool;
2086 struct obstack extrapool;
2087 struct obstack indirectpool;
2088 struct section_list *sect;
2089 struct collidx_table tablewc;
2090 uint32_t elem_size;
2091 uint32_t *elem_table;
2092 int i;
2093 struct element_t *runp;
2095 data.magic = LIMAGIC (LC_COLLATE);
2096 data.n = nelems;
2097 iov[0].iov_base = (void *) &data;
2098 iov[0].iov_len = sizeof (data);
2100 iov[1].iov_base = (void *) idx;
2101 iov[1].iov_len = sizeof (idx);
2103 idx[0] = iov[0].iov_len + iov[1].iov_len;
2104 cnt = 0;
2106 assert (cnt == _NL_ITEM_INDEX (_NL_COLLATE_NRULES));
2107 iov[2 + cnt].iov_base = &nrules;
2108 iov[2 + cnt].iov_len = sizeof (uint32_t);
2109 idx[1 + cnt] = idx[cnt] + iov[2 + cnt].iov_len;
2110 ++cnt;
2112 /* If we have no LC_COLLATE data emit only the number of rules as zero. */
2113 if (collate == NULL)
2115 int32_t dummy = 0;
2117 while (cnt < _NL_ITEM_INDEX (_NL_NUM_LC_COLLATE))
2119 /* The words have to be handled specially. */
2120 if (cnt == _NL_ITEM_INDEX (_NL_COLLATE_SYMB_HASH_SIZEMB))
2122 iov[2 + cnt].iov_base = &dummy;
2123 iov[2 + cnt].iov_len = sizeof (int32_t);
2125 else
2127 iov[2 + cnt].iov_base = NULL;
2128 iov[2 + cnt].iov_len = 0;
2131 if (cnt + 1 < _NL_ITEM_INDEX (_NL_NUM_LC_COLLATE))
2132 idx[1 + cnt] = idx[cnt] + iov[2 + cnt].iov_len;
2133 ++cnt;
2136 assert (cnt == _NL_ITEM_INDEX (_NL_NUM_LC_COLLATE));
2138 write_locale_data (output_path, LC_COLLATE, "LC_COLLATE", 2 + cnt, iov);
2140 return;
2143 obstack_init (&weightpool);
2144 obstack_init (&extrapool);
2145 obstack_init (&indirectpool);
2147 /* Since we are using the sign of an integer to mark indirection the
2148 offsets in the arrays we are indirectly referring to must not be
2149 zero since -0 == 0. Therefore we add a bit of dummy content. */
2150 obstack_int32_grow (&extrapool, 0);
2151 obstack_int32_grow (&indirectpool, 0);
2153 /* Prepare the ruleset table. */
2154 for (sect = collate->sections, i = 0; sect != NULL; sect = sect->next)
2155 if (sect->rules != NULL && sect->ruleidx == i)
2157 int j;
2159 obstack_make_room (&weightpool, nrules);
2161 for (j = 0; j < nrules; ++j)
2162 obstack_1grow_fast (&weightpool, sect->rules[j]);
2163 ++i;
2165 /* And align the output. */
2166 i = (nrules * i) % __alignof__ (int32_t);
2167 if (i > 0)
2169 obstack_1grow (&weightpool, '\0');
2170 while (++i < __alignof__ (int32_t));
2172 assert (cnt == _NL_ITEM_INDEX (_NL_COLLATE_RULESETS));
2173 iov[2 + cnt].iov_len = obstack_object_size (&weightpool);
2174 iov[2 + cnt].iov_base = obstack_finish (&weightpool);
2175 idx[1 + cnt] = idx[cnt] + iov[2 + cnt].iov_len;
2176 ++cnt;
2178 /* Generate the 8-bit table. Walk through the lists of sequences
2179 starting with the same byte and add them one after the other to
2180 the table. In case we have more than one sequence starting with
2181 the same byte we have to use extra indirection.
2183 First add a record for the NUL byte. This entry will never be used
2184 so it does not matter. */
2185 tablemb[0] = 0;
2187 /* Now insert the `UNDEFINED' value if it is used. Since this value
2188 will probably be used more than once it is good to store the
2189 weights only once. */
2190 if (collate->undefined.used_in_level != 0)
2191 output_weight (&weightpool, collate, &collate->undefined);
2193 for (ch = 1; ch < 256; ++ch)
2194 if (collate->mbheads[ch]->mbnext == NULL
2195 && collate->mbheads[ch]->nmbs <= 1)
2197 tablemb[ch] = output_weight (&weightpool, collate,
2198 collate->mbheads[ch]);
2200 else
2202 /* The entries in the list are sorted by length and then
2203 alphabetically. This is the order in which we will add the
2204 elements to the collation table. This allows simply walking
2205 the table in sequence and stopping at the first matching
2206 entry. Since the longer sequences are coming first in the
2207 list they have the possibility to match first, just as it
2208 has to be. In the worst case we are walking to the end of
2209 the list where we put, if no singlebyte sequence is defined
2210 in the locale definition, the weights for UNDEFINED.
2212 To reduce the length of the search list we compress them a bit.
2213 This happens by collecting sequences of consecutive byte
2214 sequences in one entry (having and begin and end byte sequence)
2215 and add only one index into the weight table. We can find the
2216 consecutive entries since they are also consecutive in the list. */
2217 struct element_t *runp = collate->mbheads[ch];
2218 struct element_t *lastp;
2220 assert ((obstack_object_size (&extrapool)
2221 & (__alignof__ (int32_t) - 1)) == 0);
2223 tablemb[ch] = -obstack_object_size (&extrapool);
2227 /* Store the current index in the weight table. We know that
2228 the current position in the `extrapool' is aligned on a
2229 32-bit address. */
2230 int32_t weightidx;
2231 int added;
2233 /* Find out wether this is a single entry or we have more than
2234 one consecutive entry. */
2235 if (runp->mbnext != NULL
2236 && runp->nmbs == runp->mbnext->nmbs
2237 && memcmp (runp->mbs, runp->mbnext->mbs, runp->nmbs - 1) == 0
2238 && (runp->mbs[runp->nmbs - 1]
2239 == runp->mbnext->mbs[runp->nmbs - 1] + 1))
2241 int i;
2242 struct element_t *series_startp = runp;
2243 struct element_t *curp;
2245 /* Compute how much space we will need. */
2246 added = ((sizeof (int32_t) + 1 + 2 * (runp->nmbs - 1)
2247 + __alignof__ (int32_t) - 1)
2248 & ~(__alignof__ (int32_t) - 1));
2249 assert ((obstack_object_size (&extrapool)
2250 & (__alignof__ (int32_t) - 1)) == 0);
2251 obstack_make_room (&extrapool, added);
2253 /* More than one consecutive entry. We mark this by having
2254 a negative index into the indirect table. */
2255 obstack_int32_grow_fast (&extrapool,
2256 -(obstack_object_size (&indirectpool)
2257 / sizeof (int32_t)));
2259 /* Now search first the end of the series. */
2261 runp = runp->mbnext;
2262 while (runp->mbnext != NULL
2263 && runp->nmbs == runp->mbnext->nmbs
2264 && memcmp (runp->mbs, runp->mbnext->mbs,
2265 runp->nmbs - 1) == 0
2266 && (runp->mbs[runp->nmbs - 1]
2267 == runp->mbnext->mbs[runp->nmbs - 1] + 1));
2269 /* Now walk backward from here to the beginning. */
2270 curp = runp;
2272 assert (runp->nmbs <= 256);
2273 obstack_1grow_fast (&extrapool, curp->nmbs - 1);
2274 for (i = 1; i < curp->nmbs; ++i)
2275 obstack_1grow_fast (&extrapool, curp->mbs[i]);
2277 /* Now find the end of the consecutive sequence and
2278 add all the indeces in the indirect pool. */
2281 weightidx = output_weight (&weightpool, collate, curp);
2282 obstack_int32_grow (&indirectpool, weightidx);
2284 curp = curp->mblast;
2286 while (curp != series_startp);
2288 /* Add the final weight. */
2289 weightidx = output_weight (&weightpool, collate, curp);
2290 obstack_int32_grow (&indirectpool, weightidx);
2292 /* And add the end byte sequence. Without length this
2293 time. */
2294 for (i = 1; i < curp->nmbs; ++i)
2295 obstack_1grow_fast (&extrapool, curp->mbs[i]);
2297 else
2299 /* A single entry. Simply add the index and the length and
2300 string (except for the first character which is already
2301 tested for). */
2302 int i;
2304 /* Output the weight info. */
2305 weightidx = output_weight (&weightpool, collate, runp);
2307 added = ((sizeof (int32_t) + 1 + runp->nmbs - 1
2308 + __alignof__ (int32_t) - 1)
2309 & ~(__alignof__ (int32_t) - 1));
2310 assert ((obstack_object_size (&extrapool)
2311 & (__alignof__ (int32_t) - 1)) == 0);
2312 obstack_make_room (&extrapool, added);
2314 obstack_int32_grow_fast (&extrapool, weightidx);
2315 assert (runp->nmbs <= 256);
2316 obstack_1grow_fast (&extrapool, runp->nmbs - 1);
2318 for (i = 1; i < runp->nmbs; ++i)
2319 obstack_1grow_fast (&extrapool, runp->mbs[i]);
2322 /* Add alignment bytes if necessary. */
2323 while ((obstack_object_size (&extrapool)
2324 & (__alignof__ (int32_t) - 1)) != 0)
2325 obstack_1grow_fast (&extrapool, '\0');
2327 /* Next entry. */
2328 lastp = runp;
2329 runp = runp->mbnext;
2331 while (runp != NULL);
2333 assert ((obstack_object_size (&extrapool)
2334 & (__alignof__ (int32_t) - 1)) == 0);
2336 /* If the final entry in the list is not a single character we
2337 add an UNDEFINED entry here. */
2338 if (lastp->nmbs != 1)
2340 int added = ((sizeof (int32_t) + 1 + 1 + __alignof__ (int32_t) - 1)
2341 & ~(__alignof__ (int32_t) - 1));
2342 obstack_make_room (&extrapool, added);
2344 obstack_int32_grow_fast (&extrapool, 0);
2345 /* XXX What rule? We just pick the first. */
2346 obstack_1grow_fast (&extrapool, 0);
2347 /* Length is zero. */
2348 obstack_1grow_fast (&extrapool, 0);
2350 /* Add alignment bytes if necessary. */
2351 while ((obstack_object_size (&extrapool)
2352 & (__alignof__ (int32_t) - 1)) != 0)
2353 obstack_1grow_fast (&extrapool, '\0');
2357 /* Add padding to the tables if necessary. */
2358 while ((obstack_object_size (&weightpool) & (__alignof__ (int32_t) - 1))
2359 != 0)
2360 obstack_1grow (&weightpool, 0);
2362 /* Now add the four tables. */
2363 assert (cnt == _NL_ITEM_INDEX (_NL_COLLATE_TABLEMB));
2364 iov[2 + cnt].iov_base = tablemb;
2365 iov[2 + cnt].iov_len = sizeof (tablemb);
2366 idx[1 + cnt] = idx[cnt] + iov[2 + cnt].iov_len;
2367 assert ((iov[2 + cnt].iov_len & (__alignof__ (int32_t) - 1)) == 0);
2368 ++cnt;
2370 assert (cnt == _NL_ITEM_INDEX (_NL_COLLATE_WEIGHTMB));
2371 iov[2 + cnt].iov_len = obstack_object_size (&weightpool);
2372 iov[2 + cnt].iov_base = obstack_finish (&weightpool);
2373 idx[1 + cnt] = idx[cnt] + iov[2 + cnt].iov_len;
2374 ++cnt;
2376 assert (cnt == _NL_ITEM_INDEX (_NL_COLLATE_EXTRAMB));
2377 iov[2 + cnt].iov_len = obstack_object_size (&extrapool);
2378 iov[2 + cnt].iov_base = obstack_finish (&extrapool);
2379 idx[1 + cnt] = idx[cnt] + iov[2 + cnt].iov_len;
2380 ++cnt;
2382 assert (cnt == _NL_ITEM_INDEX (_NL_COLLATE_INDIRECTMB));
2383 iov[2 + cnt].iov_len = obstack_object_size (&indirectpool);
2384 iov[2 + cnt].iov_base = obstack_finish (&indirectpool);
2385 idx[1 + cnt] = idx[cnt] + iov[2 + cnt].iov_len;
2386 assert ((iov[2 + cnt].iov_len & (__alignof__ (int32_t) - 1)) == 0);
2387 ++cnt;
2390 /* Now the same for the wide character table. We need to store some
2391 more information here. */
2392 assert (cnt == _NL_ITEM_INDEX (_NL_COLLATE_GAP1));
2393 iov[2 + cnt].iov_base = NULL;
2394 iov[2 + cnt].iov_len = 0;
2395 idx[1 + cnt] = idx[cnt] + iov[2 + cnt].iov_len;
2396 assert (idx[cnt] % __alignof__ (int32_t) == 0);
2397 ++cnt;
2399 assert (cnt == _NL_ITEM_INDEX (_NL_COLLATE_GAP2));
2400 iov[2 + cnt].iov_base = NULL;
2401 iov[2 + cnt].iov_len = 0;
2402 idx[1 + cnt] = idx[cnt] + iov[2 + cnt].iov_len;
2403 assert (idx[cnt] % __alignof__ (int32_t) == 0);
2404 ++cnt;
2406 assert (cnt == _NL_ITEM_INDEX (_NL_COLLATE_GAP3));
2407 iov[2 + cnt].iov_base = NULL;
2408 iov[2 + cnt].iov_len = 0;
2409 idx[1 + cnt] = idx[cnt] + iov[2 + cnt].iov_len;
2410 assert (idx[cnt] % __alignof__ (int32_t) == 0);
2411 ++cnt;
2413 /* Since we are using the sign of an integer to mark indirection the
2414 offsets in the arrays we are indirectly referring to must not be
2415 zero since -0 == 0. Therefore we add a bit of dummy content. */
2416 obstack_int32_grow (&extrapool, 0);
2417 obstack_int32_grow (&indirectpool, 0);
2419 /* Now insert the `UNDEFINED' value if it is used. Since this value
2420 will probably be used more than once it is good to store the
2421 weights only once. */
2422 if (output_weightwc (&weightpool, collate, &collate->undefined) != 0)
2423 abort ();
2425 /* Generate the table. Walk through the lists of sequences starting
2426 with the same wide character and add them one after the other to
2427 the table. In case we have more than one sequence starting with
2428 the same byte we have to use extra indirection. */
2429 tablewc.p = 6;
2430 tablewc.q = 10;
2431 collidx_table_init (&tablewc);
2433 atwc.weightpool = &weightpool;
2434 atwc.extrapool = &extrapool;
2435 atwc.indpool = &indirectpool;
2436 atwc.collate = collate;
2437 atwc.tablewc = &tablewc;
2439 wchead_table_iterate (&collate->wcheads, add_to_tablewc);
2441 memset (&atwc, 0, sizeof (atwc));
2443 collidx_table_finalize (&tablewc);
2445 /* Now add the four tables. */
2446 assert (cnt == _NL_ITEM_INDEX (_NL_COLLATE_TABLEWC));
2447 iov[2 + cnt].iov_base = tablewc.result;
2448 iov[2 + cnt].iov_len = tablewc.result_size;
2449 idx[1 + cnt] = idx[cnt] + iov[2 + cnt].iov_len;
2450 assert (iov[2 + cnt].iov_len % sizeof (int32_t) == 0);
2451 assert (idx[cnt] % __alignof__ (int32_t) == 0);
2452 ++cnt;
2454 assert (cnt == _NL_ITEM_INDEX (_NL_COLLATE_WEIGHTWC));
2455 iov[2 + cnt].iov_len = obstack_object_size (&weightpool);
2456 iov[2 + cnt].iov_base = obstack_finish (&weightpool);
2457 idx[1 + cnt] = idx[cnt] + iov[2 + cnt].iov_len;
2458 assert (iov[2 + cnt].iov_len % sizeof (int32_t) == 0);
2459 assert (idx[cnt] % __alignof__ (int32_t) == 0);
2460 ++cnt;
2462 assert (cnt == _NL_ITEM_INDEX (_NL_COLLATE_EXTRAWC));
2463 iov[2 + cnt].iov_len = obstack_object_size (&extrapool);
2464 iov[2 + cnt].iov_base = obstack_finish (&extrapool);
2465 idx[1 + cnt] = idx[cnt] + iov[2 + cnt].iov_len;
2466 assert (iov[2 + cnt].iov_len % sizeof (int32_t) == 0);
2467 assert (idx[cnt] % __alignof__ (int32_t) == 0);
2468 ++cnt;
2470 assert (cnt == _NL_ITEM_INDEX (_NL_COLLATE_INDIRECTWC));
2471 iov[2 + cnt].iov_len = obstack_object_size (&indirectpool);
2472 iov[2 + cnt].iov_base = obstack_finish (&indirectpool);
2473 idx[1 + cnt] = idx[cnt] + iov[2 + cnt].iov_len;
2474 assert (iov[2 + cnt].iov_len % sizeof (int32_t) == 0);
2475 assert (idx[cnt] % __alignof__ (int32_t) == 0);
2476 ++cnt;
2479 /* Finally write the table with collation element names out. It is
2480 a hash table with a simple function which gets the name of the
2481 character as the input. One character might have many names. The
2482 value associated with the name is an index into the weight table
2483 where we are then interested in the first-level weight value.
2485 To determine how large the table should be we are counting the
2486 elements have to put in. Since we are using internal chaining
2487 using a secondary hash function we have to make the table a bit
2488 larger to avoid extremely long search times. We can achieve
2489 good results with a 40% larger table than there are entries. */
2490 elem_size = 0;
2491 runp = collate->start;
2492 while (runp != NULL)
2494 if (runp->mbs != NULL && runp->weights != NULL && !runp->is_character)
2495 /* Yep, the element really counts. */
2496 ++elem_size;
2498 runp = runp->next;
2500 /* Add 40% and find the next prime number. */
2501 elem_size = next_prime (elem_size * 1.4);
2503 /* Allocate the table. Each entry consists of two words: the hash
2504 value and an index in a secondary table which provides the index
2505 into the weight table and the string itself (so that a match can
2506 be determined). */
2507 elem_table = (uint32_t *) obstack_alloc (&extrapool,
2508 elem_size * 2 * sizeof (uint32_t));
2509 memset (elem_table, '\0', elem_size * 2 * sizeof (uint32_t));
2511 /* Now add the elements. */
2512 runp = collate->start;
2513 while (runp != NULL)
2515 if (runp->mbs != NULL && runp->weights != NULL && !runp->is_character)
2517 /* Compute the hash value of the name. */
2518 uint32_t namelen = strlen (runp->name);
2519 uint32_t hash = elem_hash (runp->name, namelen);
2520 size_t idx = hash % elem_size;
2521 size_t start_idx = idx;
2523 if (elem_table[idx * 2] != 0)
2525 /* The spot is already taken. Try iterating using the value
2526 from the secondary hashing function. */
2527 size_t iter = hash % (elem_size - 2) + 1;
2531 idx += iter;
2532 if (idx >= elem_size)
2533 idx -= elem_size;
2534 assert (idx != start_idx);
2536 while (elem_table[idx * 2] != 0);
2538 /* This is the spot where we will insert the value. */
2539 elem_table[idx * 2] = hash;
2540 elem_table[idx * 2 + 1] = obstack_object_size (&extrapool);
2542 /* The the string itself including length. */
2543 obstack_1grow (&extrapool, namelen);
2544 obstack_grow (&extrapool, runp->name, namelen);
2546 /* And the multibyte representation. */
2547 obstack_1grow (&extrapool, runp->nmbs);
2548 obstack_grow (&extrapool, runp->mbs, runp->nmbs);
2550 /* And align again to 32 bits. */
2551 if ((1 + namelen + 1 + runp->nmbs) % sizeof (int32_t) != 0)
2552 obstack_grow (&extrapool, "\0\0",
2553 (sizeof (int32_t)
2554 - ((1 + namelen + 1 + runp->nmbs)
2555 % sizeof (int32_t))));
2557 /* Now some 32-bit values: multibyte collation sequence,
2558 wide char string (including length), and wide char
2559 collation sequence. */
2560 obstack_int32_grow (&extrapool, runp->mbseqorder);
2562 obstack_int32_grow (&extrapool, runp->nwcs);
2563 obstack_grow (&extrapool, runp->wcs,
2564 runp->nwcs * sizeof (uint32_t));
2566 obstack_int32_grow (&extrapool, runp->wcseqorder);
2569 runp = runp->next;
2572 /* Prepare to write out this data. */
2573 assert (cnt == _NL_ITEM_INDEX (_NL_COLLATE_SYMB_HASH_SIZEMB));
2574 iov[2 + cnt].iov_base = &elem_size;
2575 iov[2 + cnt].iov_len = sizeof (int32_t);
2576 idx[1 + cnt] = idx[cnt] + iov[2 + cnt].iov_len;
2577 assert (idx[cnt] % __alignof__ (int32_t) == 0);
2578 ++cnt;
2580 assert (cnt == _NL_ITEM_INDEX (_NL_COLLATE_SYMB_TABLEMB));
2581 iov[2 + cnt].iov_base = elem_table;
2582 iov[2 + cnt].iov_len = elem_size * 2 * sizeof (int32_t);
2583 idx[1 + cnt] = idx[cnt] + iov[2 + cnt].iov_len;
2584 assert (idx[cnt] % __alignof__ (int32_t) == 0);
2585 ++cnt;
2587 assert (cnt == _NL_ITEM_INDEX (_NL_COLLATE_SYMB_EXTRAMB));
2588 iov[2 + cnt].iov_len = obstack_object_size (&extrapool);
2589 iov[2 + cnt].iov_base = obstack_finish (&extrapool);
2590 idx[1 + cnt] = idx[cnt] + iov[2 + cnt].iov_len;
2591 ++cnt;
2593 assert (cnt == _NL_ITEM_INDEX (_NL_COLLATE_COLLSEQMB));
2594 iov[2 + cnt].iov_base = collate->mbseqorder;
2595 iov[2 + cnt].iov_len = 256;
2596 idx[1 + cnt] = idx[cnt] + iov[2 + cnt].iov_len;
2597 ++cnt;
2599 assert (cnt == _NL_ITEM_INDEX (_NL_COLLATE_COLLSEQWC));
2600 iov[2 + cnt].iov_base = collate->wcseqorder.result;
2601 iov[2 + cnt].iov_len = collate->wcseqorder.result_size;
2602 idx[1 + cnt] = idx[cnt] + iov[2 + cnt].iov_len;
2603 assert (idx[cnt] % __alignof__ (int32_t) == 0);
2604 ++cnt;
2606 assert (cnt == _NL_ITEM_INDEX (_NL_COLLATE_CODESET));
2607 iov[2 + cnt].iov_base = (void *) charmap->code_set_name;
2608 iov[2 + cnt].iov_len = strlen (iov[2 + cnt].iov_base) + 1;
2609 ++cnt;
2611 assert (cnt == _NL_ITEM_INDEX (_NL_NUM_LC_COLLATE));
2613 write_locale_data (output_path, LC_COLLATE, "LC_COLLATE", 2 + cnt, iov);
2615 obstack_free (&weightpool, NULL);
2616 obstack_free (&extrapool, NULL);
2617 obstack_free (&indirectpool, NULL);
2621 void
2622 collate_read (struct linereader *ldfile, struct localedef_t *result,
2623 const struct charmap_t *charmap, const char *repertoire_name,
2624 int ignore_content)
2626 struct repertoire_t *repertoire = NULL;
2627 struct locale_collate_t *collate;
2628 struct token *now;
2629 struct token *arg = NULL;
2630 enum token_t nowtok;
2631 enum token_t was_ellipsis = tok_none;
2632 struct localedef_t *copy_locale = NULL;
2633 /* Parsing state:
2634 0 - start
2635 1 - between `order-start' and `order-end'
2636 2 - after `order-end'
2637 3 - after `reorder-after', waiting for `reorder-end'
2638 4 - after `reorder-end'
2639 5 - after `reorder-sections-after', waiting for `reorder-sections-end'
2640 6 - after `reorder-sections-end'
2642 int state = 0;
2644 /* Get the repertoire we have to use. */
2645 if (repertoire_name != NULL)
2646 repertoire = repertoire_read (repertoire_name);
2648 /* The rest of the line containing `LC_COLLATE' must be free. */
2649 lr_ignore_rest (ldfile, 1);
2653 now = lr_token (ldfile, charmap, result, NULL, verbose);
2654 nowtok = now->tok;
2656 while (nowtok == tok_eol);
2658 if (nowtok == tok_copy)
2660 state = 2;
2661 now = lr_token (ldfile, charmap, result, NULL, verbose);
2662 if (now->tok != tok_string)
2664 SYNTAX_ERROR (_("%s: syntax error"), "LC_COLLATE");
2666 skip_category:
2668 now = lr_token (ldfile, charmap, result, NULL, verbose);
2669 while (now->tok != tok_eof && now->tok != tok_end);
2671 if (now->tok != tok_eof
2672 || (now = lr_token (ldfile, charmap, result, NULL, verbose),
2673 now->tok == tok_eof))
2674 lr_error (ldfile, _("%s: premature end of file"), "LC_COLLATE");
2675 else if (now->tok != tok_lc_collate)
2677 lr_error (ldfile, _("\
2678 %1$s: definition does not end with `END %1$s'"), "LC_COLLATE");
2679 lr_ignore_rest (ldfile, 0);
2681 else
2682 lr_ignore_rest (ldfile, 1);
2684 return;
2687 if (! ignore_content)
2689 /* Get the locale definition. */
2690 copy_locale = load_locale (LC_COLLATE, now->val.str.startmb,
2691 repertoire_name, charmap, NULL);
2692 if ((copy_locale->avail & COLLATE_LOCALE) == 0)
2694 /* Not yet loaded. So do it now. */
2695 if (locfile_read (copy_locale, charmap) != 0)
2696 goto skip_category;
2699 if (copy_locale->categories[LC_COLLATE].collate == NULL)
2700 return;
2703 lr_ignore_rest (ldfile, 1);
2705 now = lr_token (ldfile, charmap, result, NULL, verbose);
2706 nowtok = now->tok;
2709 /* Prepare the data structures. */
2710 collate_startup (ldfile, result, copy_locale, ignore_content);
2711 collate = result->categories[LC_COLLATE].collate;
2713 while (1)
2715 char ucs4buf[10];
2716 char *symstr;
2717 size_t symlen;
2719 /* Of course we don't proceed beyond the end of file. */
2720 if (nowtok == tok_eof)
2721 break;
2723 /* Ingore empty lines. */
2724 if (nowtok == tok_eol)
2726 now = lr_token (ldfile, charmap, result, NULL, verbose);
2727 nowtok = now->tok;
2728 continue;
2731 switch (nowtok)
2733 case tok_copy:
2734 /* Allow copying other locales. */
2735 now = lr_token (ldfile, charmap, result, NULL, verbose);
2736 if (now->tok != tok_string)
2737 goto err_label;
2739 if (! ignore_content)
2740 load_locale (LC_COLLATE, now->val.str.startmb, repertoire_name,
2741 charmap, result);
2743 lr_ignore_rest (ldfile, 1);
2744 break;
2746 case tok_coll_weight_max:
2747 /* Ignore the rest of the line if we don't need the input of
2748 this line. */
2749 if (ignore_content)
2751 lr_ignore_rest (ldfile, 0);
2752 break;
2755 if (state != 0)
2756 goto err_label;
2758 arg = lr_token (ldfile, charmap, result, NULL, verbose);
2759 if (arg->tok != tok_number)
2760 goto err_label;
2761 if (collate->col_weight_max != -1)
2762 lr_error (ldfile, _("%s: duplicate definition of `%s'"),
2763 "LC_COLLATE", "col_weight_max");
2764 else
2765 collate->col_weight_max = arg->val.num;
2766 lr_ignore_rest (ldfile, 1);
2767 break;
2769 case tok_section_symbol:
2770 /* Ignore the rest of the line if we don't need the input of
2771 this line. */
2772 if (ignore_content)
2774 lr_ignore_rest (ldfile, 0);
2775 break;
2778 if (state != 0)
2779 goto err_label;
2781 arg = lr_token (ldfile, charmap, result, repertoire, verbose);
2782 if (arg->tok != tok_bsymbol)
2783 goto err_label;
2784 else if (!ignore_content)
2786 /* Check whether this section is already known. */
2787 struct section_list *known = collate->sections;
2788 while (known != NULL)
2790 if (strcmp (known->name, arg->val.str.startmb) == 0)
2791 break;
2792 known = known->next;
2795 if (known != NULL)
2797 lr_error (ldfile,
2798 _("%s: duplicate declaration of section `%s'"),
2799 "LC_COLLATE", arg->val.str.startmb);
2800 free (arg->val.str.startmb);
2802 else
2803 collate->sections = make_seclist_elem (collate,
2804 arg->val.str.startmb,
2805 collate->sections);
2807 lr_ignore_rest (ldfile, known == NULL);
2809 else
2811 free (arg->val.str.startmb);
2812 lr_ignore_rest (ldfile, 0);
2814 break;
2816 case tok_collating_element:
2817 /* Ignore the rest of the line if we don't need the input of
2818 this line. */
2819 if (ignore_content)
2821 lr_ignore_rest (ldfile, 0);
2822 break;
2825 if (state != 0 && state != 2)
2826 goto err_label;
2828 arg = lr_token (ldfile, charmap, result, repertoire, verbose);
2829 if (arg->tok != tok_bsymbol)
2830 goto err_label;
2831 else
2833 const char *symbol = arg->val.str.startmb;
2834 size_t symbol_len = arg->val.str.lenmb;
2836 /* Next the `from' keyword. */
2837 arg = lr_token (ldfile, charmap, result, repertoire, verbose);
2838 if (arg->tok != tok_from)
2840 free ((char *) symbol);
2841 goto err_label;
2844 ldfile->return_widestr = 1;
2845 ldfile->translate_strings = 1;
2847 /* Finally the string with the replacement. */
2848 arg = lr_token (ldfile, charmap, result, repertoire, verbose);
2850 ldfile->return_widestr = 0;
2851 ldfile->translate_strings = 0;
2853 if (arg->tok != tok_string)
2854 goto err_label;
2856 if (!ignore_content && symbol != NULL)
2858 /* The name is already defined. */
2859 if (check_duplicate (ldfile, collate, charmap,
2860 repertoire, symbol, symbol_len))
2861 goto col_elem_free;
2863 if (arg->val.str.startmb != NULL)
2864 insert_entry (&collate->elem_table, symbol, symbol_len,
2865 new_element (collate,
2866 arg->val.str.startmb,
2867 arg->val.str.lenmb - 1,
2868 arg->val.str.startwc,
2869 symbol, symbol_len, 0));
2871 else
2873 col_elem_free:
2874 if (symbol != NULL)
2875 free ((char *) symbol);
2876 if (arg->val.str.startmb != NULL)
2877 free (arg->val.str.startmb);
2878 if (arg->val.str.startwc != NULL)
2879 free (arg->val.str.startwc);
2881 lr_ignore_rest (ldfile, 1);
2883 break;
2885 case tok_collating_symbol:
2886 /* Ignore the rest of the line if we don't need the input of
2887 this line. */
2888 if (ignore_content)
2890 lr_ignore_rest (ldfile, 0);
2891 break;
2894 if (state != 0 && state != 2)
2895 goto err_label;
2897 arg = lr_token (ldfile, charmap, result, repertoire, verbose);
2898 if (arg->tok != tok_bsymbol)
2899 goto err_label;
2900 else
2902 char *symbol = arg->val.str.startmb;
2903 size_t symbol_len = arg->val.str.lenmb;
2904 char *endsymbol = NULL;
2905 size_t endsymbol_len = 0;
2906 enum token_t ellipsis = tok_none;
2908 arg = lr_token (ldfile, charmap, result, repertoire, verbose);
2909 if (arg->tok == tok_ellipsis2 || arg->tok == tok_ellipsis4)
2911 ellipsis = arg->tok;
2913 arg = lr_token (ldfile, charmap, result, repertoire,
2914 verbose);
2915 if (arg->tok != tok_bsymbol)
2917 free (symbol);
2918 goto err_label;
2921 endsymbol = arg->val.str.startmb;
2922 endsymbol_len = arg->val.str.lenmb;
2924 lr_ignore_rest (ldfile, 1);
2926 else if (arg->tok != tok_eol)
2928 free (symbol);
2929 goto err_label;
2932 if (!ignore_content)
2934 if (symbol == NULL
2935 || (ellipsis != tok_none && endsymbol == NULL))
2937 lr_error (ldfile, _("\
2938 %s: unknown character in collating symbol name"),
2939 "LC_COLLATE");
2940 goto col_sym_free;
2942 else if (ellipsis == tok_none)
2944 /* A single symbol, no ellipsis. */
2945 if (check_duplicate (ldfile, collate, charmap,
2946 repertoire, symbol, symbol_len))
2947 /* The name is already defined. */
2948 goto col_sym_free;
2950 insert_entry (&collate->sym_table, symbol, symbol_len,
2951 new_symbol (collate, symbol, symbol_len));
2953 else if (symbol_len != endsymbol_len)
2955 col_sym_inv_range:
2956 lr_error (ldfile,
2957 _("invalid names for character range"));
2958 goto col_sym_free;
2960 else
2962 /* Oh my, we have to handle an ellipsis. First, as
2963 usual, determine the common prefix and then
2964 convert the rest into a range. */
2965 size_t prefixlen;
2966 unsigned long int from;
2967 unsigned long int to;
2968 char *endp;
2970 for (prefixlen = 0; prefixlen < symbol_len; ++prefixlen)
2971 if (symbol[prefixlen] != endsymbol[prefixlen])
2972 break;
2974 /* Convert the rest into numbers. */
2975 symbol[symbol_len] = '\0';
2976 from = strtoul (&symbol[prefixlen], &endp,
2977 ellipsis == tok_ellipsis2 ? 16 : 10);
2978 if (*endp != '\0')
2979 goto col_sym_inv_range;
2981 endsymbol[symbol_len] = '\0';
2982 to = strtoul (&endsymbol[prefixlen], &endp,
2983 ellipsis == tok_ellipsis2 ? 16 : 10);
2984 if (*endp != '\0')
2985 goto col_sym_inv_range;
2987 if (from > to)
2988 goto col_sym_inv_range;
2990 /* Now loop over all entries. */
2991 while (from <= to)
2993 char *symbuf;
2995 symbuf = (char *) obstack_alloc (&collate->mempool,
2996 symbol_len + 1);
2998 /* Create the name. */
2999 sprintf (symbuf,
3000 ellipsis == tok_ellipsis2
3001 ? "%.*s%.*lX" : "%.*s%.*lu",
3002 (int) prefixlen, symbol,
3003 (int) (symbol_len - prefixlen), from);
3005 if (check_duplicate (ldfile, collate, charmap,
3006 repertoire, symbuf, symbol_len))
3007 /* The name is already defined. */
3008 goto col_sym_free;
3010 insert_entry (&collate->sym_table, symbuf,
3011 symbol_len,
3012 new_symbol (collate, symbuf,
3013 symbol_len));
3015 /* Increment the counter. */
3016 ++from;
3019 goto col_sym_free;
3022 else
3024 col_sym_free:
3025 if (symbol != NULL)
3026 free (symbol);
3027 if (endsymbol != NULL)
3028 free (endsymbol);
3031 break;
3033 case tok_symbol_equivalence:
3034 /* Ignore the rest of the line if we don't need the input of
3035 this line. */
3036 if (ignore_content)
3038 lr_ignore_rest (ldfile, 0);
3039 break;
3042 if (state != 0)
3043 goto err_label;
3045 arg = lr_token (ldfile, charmap, result, repertoire, verbose);
3046 if (arg->tok != tok_bsymbol)
3047 goto err_label;
3048 else
3050 const char *newname = arg->val.str.startmb;
3051 size_t newname_len = arg->val.str.lenmb;
3052 const char *symname;
3053 size_t symname_len;
3054 void *symval; /* Actually struct symbol_t* */
3056 arg = lr_token (ldfile, charmap, result, repertoire, verbose);
3057 if (arg->tok != tok_bsymbol)
3059 if (newname != NULL)
3060 free ((char *) newname);
3061 goto err_label;
3064 symname = arg->val.str.startmb;
3065 symname_len = arg->val.str.lenmb;
3067 if (newname == NULL)
3069 lr_error (ldfile, _("\
3070 %s: unknown character in equivalent definition name"),
3071 "LC_COLLATE");
3073 sym_equiv_free:
3074 if (newname != NULL)
3075 free ((char *) newname);
3076 if (symname != NULL)
3077 free ((char *) symname);
3078 break;
3080 if (symname == NULL)
3082 lr_error (ldfile, _("\
3083 %s: unknown character in equivalent definition value"),
3084 "LC_COLLATE");
3085 goto sym_equiv_free;
3088 /* See whether the symbol name is already defined. */
3089 if (find_entry (&collate->sym_table, symname, symname_len,
3090 &symval) != 0)
3092 lr_error (ldfile, _("\
3093 %s: unknown symbol `%s' in equivalent definition"),
3094 "LC_COLLATE", symname);
3095 goto sym_equiv_free;
3098 if (insert_entry (&collate->sym_table,
3099 newname, newname_len, symval) < 0)
3101 lr_error (ldfile, _("\
3102 error while adding equivalent collating symbol"));
3103 goto sym_equiv_free;
3106 free ((char *) symname);
3108 lr_ignore_rest (ldfile, 1);
3109 break;
3111 case tok_script:
3112 /* We get told about the scripts we know. */
3113 arg = lr_token (ldfile, charmap, result, repertoire, verbose);
3114 if (arg->tok != tok_bsymbol)
3115 goto err_label;
3116 else
3118 struct section_list *runp = collate->known_sections;
3119 char *name;
3121 while (runp != NULL)
3122 if (strncmp (runp->name, arg->val.str.startmb,
3123 arg->val.str.lenmb) == 0
3124 && runp->name[arg->val.str.lenmb] == '\0')
3125 break;
3126 else
3127 runp = runp->def_next;
3129 if (runp != NULL)
3131 lr_error (ldfile, _("duplicate definition of script `%s'"),
3132 runp->name);
3133 lr_ignore_rest (ldfile, 0);
3134 break;
3137 runp = (struct section_list *) xcalloc (1, sizeof (*runp));
3138 name = (char *) xmalloc (arg->val.str.lenmb + 1);
3139 memcpy (name, arg->val.str.startmb, arg->val.str.lenmb);
3140 name[arg->val.str.lenmb] = '\0';
3141 runp->name = name;
3143 runp->def_next = collate->known_sections;
3144 collate->known_sections = runp;
3146 lr_ignore_rest (ldfile, 1);
3147 break;
3149 case tok_order_start:
3150 /* Ignore the rest of the line if we don't need the input of
3151 this line. */
3152 if (ignore_content)
3154 lr_ignore_rest (ldfile, 0);
3155 break;
3158 if (state != 0 && state != 1 && state != 2)
3159 goto err_label;
3160 state = 1;
3162 /* The 14652 draft does not specify whether all `order_start' lines
3163 must contain the same number of sort-rules, but 14651 does. So
3164 we require this here as well. */
3165 arg = lr_token (ldfile, charmap, result, repertoire, verbose);
3166 if (arg->tok == tok_bsymbol)
3168 /* This better should be a section name. */
3169 struct section_list *sp = collate->known_sections;
3170 while (sp != NULL
3171 && (sp->name == NULL
3172 || strncmp (sp->name, arg->val.str.startmb,
3173 arg->val.str.lenmb) != 0
3174 || sp->name[arg->val.str.lenmb] != '\0'))
3175 sp = sp->def_next;
3177 if (sp == NULL)
3179 lr_error (ldfile, _("\
3180 %s: unknown section name `%.*s'"),
3181 "LC_COLLATE", (int) arg->val.str.lenmb,
3182 arg->val.str.startmb);
3183 /* We use the error section. */
3184 collate->current_section = &collate->error_section;
3186 if (collate->error_section.first == NULL)
3188 /* Insert &collate->error_section at the end of
3189 the collate->sections list. */
3190 if (collate->sections == NULL)
3191 collate->sections = &collate->error_section;
3192 else
3194 sp = collate->sections;
3195 while (sp->next != NULL)
3196 sp = sp->next;
3198 sp->next = &collate->error_section;
3200 collate->error_section.next = NULL;
3203 else
3205 /* One should not be allowed to open the same
3206 section twice. */
3207 if (sp->first != NULL)
3208 lr_error (ldfile, _("\
3209 %s: multiple order definitions for section `%s'"),
3210 "LC_COLLATE", sp->name);
3211 else
3213 /* Insert sp in the collate->sections list,
3214 right after collate->current_section. */
3215 if (collate->current_section == NULL)
3216 collate->current_section = sp;
3217 else
3219 sp->next = collate->current_section->next;
3220 collate->current_section->next = sp;
3224 /* Next should come the end of the line or a semicolon. */
3225 arg = lr_token (ldfile, charmap, result, repertoire,
3226 verbose);
3227 if (arg->tok == tok_eol)
3229 uint32_t cnt;
3231 /* This means we have exactly one rule: `forward'. */
3232 if (nrules > 1)
3233 lr_error (ldfile, _("\
3234 %s: invalid number of sorting rules"),
3235 "LC_COLLATE");
3236 else
3237 nrules = 1;
3238 sp->rules = obstack_alloc (&collate->mempool,
3239 (sizeof (enum coll_sort_rule)
3240 * nrules));
3241 for (cnt = 0; cnt < nrules; ++cnt)
3242 sp->rules[cnt] = sort_forward;
3244 /* Next line. */
3245 break;
3248 /* Get the next token. */
3249 arg = lr_token (ldfile, charmap, result, repertoire,
3250 verbose);
3253 else
3255 /* There is no section symbol. Therefore we use the unnamed
3256 section. */
3257 collate->current_section = &collate->unnamed_section;
3259 if (collate->unnamed_section.first != NULL)
3260 lr_error (ldfile, _("\
3261 %s: multiple order definitions for unnamed section"),
3262 "LC_COLLATE");
3263 else
3265 /* Insert &collate->unnamed_section at the beginning of
3266 the collate->sections list. */
3267 collate->unnamed_section.next = collate->sections;
3268 collate->sections = &collate->unnamed_section;
3272 /* Now read the direction names. */
3273 read_directions (ldfile, arg, charmap, repertoire, result);
3275 /* From now we need the strings untranslated. */
3276 ldfile->translate_strings = 0;
3277 break;
3279 case tok_order_end:
3280 /* Ignore the rest of the line if we don't need the input of
3281 this line. */
3282 if (ignore_content)
3284 lr_ignore_rest (ldfile, 0);
3285 break;
3288 if (state != 1)
3289 goto err_label;
3291 /* Handle ellipsis at end of list. */
3292 if (was_ellipsis != tok_none)
3294 handle_ellipsis (ldfile, NULL, 0, was_ellipsis, charmap,
3295 repertoire, result);
3296 was_ellipsis = tok_none;
3299 state = 2;
3300 lr_ignore_rest (ldfile, 1);
3301 break;
3303 case tok_reorder_after:
3304 /* Ignore the rest of the line if we don't need the input of
3305 this line. */
3306 if (ignore_content)
3308 lr_ignore_rest (ldfile, 0);
3309 break;
3312 if (state == 1)
3314 lr_error (ldfile, _("%s: missing `order_end' keyword"),
3315 "LC_COLLATE");
3316 state = 2;
3318 /* Handle ellipsis at end of list. */
3319 if (was_ellipsis != tok_none)
3321 handle_ellipsis (ldfile, arg->val.str.startmb,
3322 arg->val.str.lenmb, was_ellipsis, charmap,
3323 repertoire, result);
3324 was_ellipsis = tok_none;
3327 else if (state != 2 && state != 3)
3328 goto err_label;
3329 state = 3;
3331 arg = lr_token (ldfile, charmap, result, repertoire, verbose);
3332 if (arg->tok == tok_bsymbol || arg->tok == tok_ucs4)
3334 /* Find this symbol in the sequence table. */
3335 char ucsbuf[10];
3336 char *startmb;
3337 size_t lenmb;
3338 struct element_t *insp;
3339 int no_error = 1;
3340 void *ptr;
3342 if (arg->tok == tok_bsymbol)
3344 startmb = arg->val.str.startmb;
3345 lenmb = arg->val.str.lenmb;
3347 else
3349 sprintf (ucsbuf, "U%08X", arg->val.ucs4);
3350 startmb = ucsbuf;
3351 lenmb = 9;
3354 if (find_entry (&collate->seq_table, startmb, lenmb, &ptr) == 0)
3355 /* Yes, the symbol exists. Simply point the cursor
3356 to it. */
3357 collate->cursor = (struct element_t *) ptr;
3358 else
3360 struct symbol_t *symbp;
3361 void *ptr;
3363 if (find_entry (&collate->sym_table, startmb, lenmb,
3364 &ptr) == 0)
3366 symbp = ptr;
3368 if (symbp->order->last != NULL
3369 || symbp->order->next != NULL)
3370 collate->cursor = symbp->order;
3371 else
3373 /* This is a collating symbol but its position
3374 is not yet defined. */
3375 lr_error (ldfile, _("\
3376 %s: order for collating symbol %.*s not yet defined"),
3377 "LC_COLLATE", (int) lenmb, startmb);
3378 collate->cursor = NULL;
3379 no_error = 0;
3382 else if (find_entry (&collate->elem_table, startmb, lenmb,
3383 &ptr) == 0)
3385 insp = (struct element_t *) ptr;
3387 if (insp->last != NULL || insp->next != NULL)
3388 collate->cursor = insp;
3389 else
3391 /* This is a collating element but its position
3392 is not yet defined. */
3393 lr_error (ldfile, _("\
3394 %s: order for collating element %.*s not yet defined"),
3395 "LC_COLLATE", (int) lenmb, startmb);
3396 collate->cursor = NULL;
3397 no_error = 0;
3400 else
3402 /* This is bad. The symbol after which we have to
3403 insert does not exist. */
3404 lr_error (ldfile, _("\
3405 %s: cannot reorder after %.*s: symbol not known"),
3406 "LC_COLLATE", (int) lenmb, startmb);
3407 collate->cursor = NULL;
3408 no_error = 0;
3412 lr_ignore_rest (ldfile, no_error);
3414 else
3415 /* This must not happen. */
3416 goto err_label;
3417 break;
3419 case tok_reorder_end:
3420 /* Ignore the rest of the line if we don't need the input of
3421 this line. */
3422 if (ignore_content)
3423 break;
3425 if (state != 3)
3426 goto err_label;
3427 state = 4;
3428 lr_ignore_rest (ldfile, 1);
3429 break;
3431 case tok_reorder_sections_after:
3432 /* Ignore the rest of the line if we don't need the input of
3433 this line. */
3434 if (ignore_content)
3436 lr_ignore_rest (ldfile, 0);
3437 break;
3440 if (state == 1)
3442 lr_error (ldfile, _("%s: missing `order_end' keyword"),
3443 "LC_COLLATE");
3444 state = 2;
3446 /* Handle ellipsis at end of list. */
3447 if (was_ellipsis != tok_none)
3449 handle_ellipsis (ldfile, NULL, 0, was_ellipsis, charmap,
3450 repertoire, result);
3451 was_ellipsis = tok_none;
3454 else if (state == 3)
3456 WITH_CUR_LOCALE (error (0, 0, _("\
3457 %s: missing `reorder-end' keyword"), "LC_COLLATE"));
3458 state = 4;
3460 else if (state != 2 && state != 4)
3461 goto err_label;
3462 state = 5;
3464 /* Get the name of the sections we are adding after. */
3465 arg = lr_token (ldfile, charmap, result, repertoire, verbose);
3466 if (arg->tok == tok_bsymbol)
3468 /* Now find a section with this name. */
3469 struct section_list *runp = collate->sections;
3471 while (runp != NULL)
3473 if (runp->name != NULL
3474 && strlen (runp->name) == arg->val.str.lenmb
3475 && memcmp (runp->name, arg->val.str.startmb,
3476 arg->val.str.lenmb) == 0)
3477 break;
3479 runp = runp->next;
3482 if (runp != NULL)
3483 collate->current_section = runp;
3484 else
3486 /* This is bad. The section after which we have to
3487 reorder does not exist. Therefore we cannot
3488 process the whole rest of this reorder
3489 specification. */
3490 lr_error (ldfile, _("%s: section `%.*s' not known"),
3491 "LC_COLLATE", (int) arg->val.str.lenmb,
3492 arg->val.str.startmb);
3496 lr_ignore_rest (ldfile, 0);
3498 now = lr_token (ldfile, charmap, result, NULL, verbose);
3500 while (now->tok == tok_reorder_sections_after
3501 || now->tok == tok_reorder_sections_end
3502 || now->tok == tok_end);
3504 /* Process the token we just saw. */
3505 nowtok = now->tok;
3506 continue;
3509 else
3510 /* This must not happen. */
3511 goto err_label;
3512 break;
3514 case tok_reorder_sections_end:
3515 /* Ignore the rest of the line if we don't need the input of
3516 this line. */
3517 if (ignore_content)
3518 break;
3520 if (state != 5)
3521 goto err_label;
3522 state = 6;
3523 lr_ignore_rest (ldfile, 1);
3524 break;
3526 case tok_bsymbol:
3527 case tok_ucs4:
3528 /* Ignore the rest of the line if we don't need the input of
3529 this line. */
3530 if (ignore_content)
3532 lr_ignore_rest (ldfile, 0);
3533 break;
3536 if (state != 0 && state != 1 && state != 3 && state != 5)
3537 goto err_label;
3539 if ((state == 0 || state == 5) && nowtok == tok_ucs4)
3540 goto err_label;
3542 if (nowtok == tok_ucs4)
3544 snprintf (ucs4buf, sizeof (ucs4buf), "U%08X", now->val.ucs4);
3545 symstr = ucs4buf;
3546 symlen = 9;
3548 else if (arg != NULL)
3550 symstr = arg->val.str.startmb;
3551 symlen = arg->val.str.lenmb;
3553 else
3555 lr_error (ldfile, _("%s: bad symbol <%.*s>"), "LC_COLLATE",
3556 (int) ldfile->token.val.str.lenmb,
3557 ldfile->token.val.str.startmb);
3558 break;
3561 struct element_t *seqp;
3562 if (state == 0)
3564 /* We are outside an `order_start' region. This means
3565 we must only accept definitions of values for
3566 collation symbols since these are purely abstract
3567 values and don't need directions associated. */
3568 void *ptr;
3570 if (find_entry (&collate->seq_table, symstr, symlen, &ptr) == 0)
3572 seqp = ptr;
3574 /* It's already defined. First check whether this
3575 is really a collating symbol. */
3576 if (seqp->is_character)
3577 goto err_label;
3579 goto move_entry;
3581 else
3583 void *result;
3585 if (find_entry (&collate->sym_table, symstr, symlen,
3586 &result) != 0)
3587 /* No collating symbol, it's an error. */
3588 goto err_label;
3590 /* Maybe this is the first time we define a symbol
3591 value and it is before the first actual section. */
3592 if (collate->sections == NULL)
3593 collate->sections = collate->current_section =
3594 &collate->symbol_section;
3597 if (was_ellipsis != tok_none)
3599 handle_ellipsis (ldfile, symstr, symlen, was_ellipsis,
3600 charmap, repertoire, result);
3602 /* Remember that we processed the ellipsis. */
3603 was_ellipsis = tok_none;
3605 /* And don't add the value a second time. */
3606 break;
3609 else if (state == 3)
3611 /* It is possible that we already have this collation sequence.
3612 In this case we move the entry. */
3613 void *sym;
3614 void *ptr;
3616 /* If the symbol after which we have to insert was not found
3617 ignore all entries. */
3618 if (collate->cursor == NULL)
3620 lr_ignore_rest (ldfile, 0);
3621 break;
3624 if (find_entry (&collate->seq_table, symstr, symlen, &ptr) == 0)
3626 seqp = (struct element_t *) ptr;
3627 goto move_entry;
3630 if (find_entry (&collate->sym_table, symstr, symlen, &sym) == 0
3631 && (seqp = ((struct symbol_t *) sym)->order) != NULL)
3632 goto move_entry;
3634 if (find_entry (&collate->elem_table, symstr, symlen, &ptr) == 0
3635 && (seqp = (struct element_t *) ptr,
3636 seqp->last != NULL || seqp->next != NULL
3637 || (collate->start != NULL && seqp == collate->start)))
3639 move_entry:
3640 /* Remove the entry from the old position. */
3641 if (seqp->last == NULL)
3642 collate->start = seqp->next;
3643 else
3644 seqp->last->next = seqp->next;
3645 if (seqp->next != NULL)
3646 seqp->next->last = seqp->last;
3648 /* We also have to check whether this entry is the
3649 first or last of a section. */
3650 if (seqp->section->first == seqp)
3652 if (seqp->section->first == seqp->section->last)
3653 /* This section has no content anymore. */
3654 seqp->section->first = seqp->section->last = NULL;
3655 else
3656 seqp->section->first = seqp->next;
3658 else if (seqp->section->last == seqp)
3659 seqp->section->last = seqp->last;
3661 /* Now insert it in the new place. */
3662 insert_weights (ldfile, seqp, charmap, repertoire, result,
3663 tok_none);
3664 break;
3667 /* Otherwise we just add a new entry. */
3669 else if (state == 5)
3671 /* We are reordering sections. Find the named section. */
3672 struct section_list *runp = collate->sections;
3673 struct section_list *prevp = NULL;
3675 while (runp != NULL)
3677 if (runp->name != NULL
3678 && strlen (runp->name) == symlen
3679 && memcmp (runp->name, symstr, symlen) == 0)
3680 break;
3682 prevp = runp;
3683 runp = runp->next;
3686 if (runp == NULL)
3688 lr_error (ldfile, _("%s: section `%.*s' not known"),
3689 "LC_COLLATE", (int) symlen, symstr);
3690 lr_ignore_rest (ldfile, 0);
3692 else
3694 if (runp != collate->current_section)
3696 /* Remove the named section from the old place and
3697 insert it in the new one. */
3698 prevp->next = runp->next;
3700 runp->next = collate->current_section->next;
3701 collate->current_section->next = runp;
3702 collate->current_section = runp;
3705 /* Process the rest of the line which might change
3706 the collation rules. */
3707 arg = lr_token (ldfile, charmap, result, repertoire,
3708 verbose);
3709 if (arg->tok != tok_eof && arg->tok != tok_eol)
3710 read_directions (ldfile, arg, charmap, repertoire,
3711 result);
3713 break;
3715 else if (was_ellipsis != tok_none)
3717 /* Using the information in the `ellipsis_weight'
3718 element and this and the last value we have to handle
3719 the ellipsis now. */
3720 assert (state == 1);
3722 handle_ellipsis (ldfile, symstr, symlen, was_ellipsis, charmap,
3723 repertoire, result);
3725 /* Remember that we processed the ellipsis. */
3726 was_ellipsis = tok_none;
3728 /* And don't add the value a second time. */
3729 break;
3732 /* Now insert in the new place. */
3733 insert_value (ldfile, symstr, symlen, charmap, repertoire, result);
3734 break;
3736 case tok_undefined:
3737 /* Ignore the rest of the line if we don't need the input of
3738 this line. */
3739 if (ignore_content)
3741 lr_ignore_rest (ldfile, 0);
3742 break;
3745 if (state != 1)
3746 goto err_label;
3748 if (was_ellipsis != tok_none)
3750 lr_error (ldfile,
3751 _("%s: cannot have `%s' as end of ellipsis range"),
3752 "LC_COLLATE", "UNDEFINED");
3754 unlink_element (collate);
3755 was_ellipsis = tok_none;
3758 /* See whether UNDEFINED already appeared somewhere. */
3759 if (collate->undefined.next != NULL
3760 || &collate->undefined == collate->cursor)
3762 lr_error (ldfile,
3763 _("%s: order for `%.*s' already defined at %s:%Zu"),
3764 "LC_COLLATE", 9, "UNDEFINED",
3765 collate->undefined.file,
3766 collate->undefined.line);
3767 lr_ignore_rest (ldfile, 0);
3769 else
3770 /* Parse the weights. */
3771 insert_weights (ldfile, &collate->undefined, charmap,
3772 repertoire, result, tok_none);
3773 break;
3775 case tok_ellipsis2: /* symbolic hexadecimal ellipsis */
3776 case tok_ellipsis3: /* absolute ellipsis */
3777 case tok_ellipsis4: /* symbolic decimal ellipsis */
3778 /* This is the symbolic (decimal or hexadecimal) or absolute
3779 ellipsis. */
3780 if (was_ellipsis != tok_none)
3781 goto err_label;
3783 if (state != 0 && state != 1 && state != 3)
3784 goto err_label;
3786 was_ellipsis = nowtok;
3788 insert_weights (ldfile, &collate->ellipsis_weight, charmap,
3789 repertoire, result, nowtok);
3790 break;
3792 case tok_end:
3793 /* Next we assume `LC_COLLATE'. */
3794 if (!ignore_content)
3796 if (state == 0)
3797 /* We must either see a copy statement or have
3798 ordering values. */
3799 lr_error (ldfile,
3800 _("%s: empty category description not allowed"),
3801 "LC_COLLATE");
3802 else if (state == 1)
3804 lr_error (ldfile, _("%s: missing `order_end' keyword"),
3805 "LC_COLLATE");
3807 /* Handle ellipsis at end of list. */
3808 if (was_ellipsis != tok_none)
3810 handle_ellipsis (ldfile, NULL, 0, was_ellipsis, charmap,
3811 repertoire, result);
3812 was_ellipsis = tok_none;
3815 else if (state == 3)
3816 WITH_CUR_LOCALE (error (0, 0, _("\
3817 %s: missing `reorder-end' keyword"), "LC_COLLATE"));
3818 else if (state == 5)
3819 WITH_CUR_LOCALE (error (0, 0, _("\
3820 %s: missing `reorder-sections-end' keyword"), "LC_COLLATE"));
3822 arg = lr_token (ldfile, charmap, result, NULL, verbose);
3823 if (arg->tok == tok_eof)
3824 break;
3825 if (arg->tok == tok_eol)
3826 lr_error (ldfile, _("%s: incomplete `END' line"), "LC_COLLATE");
3827 else if (arg->tok != tok_lc_collate)
3828 lr_error (ldfile, _("\
3829 %1$s: definition does not end with `END %1$s'"), "LC_COLLATE");
3830 lr_ignore_rest (ldfile, arg->tok == tok_lc_collate);
3831 return;
3833 default:
3834 err_label:
3835 SYNTAX_ERROR (_("%s: syntax error"), "LC_COLLATE");
3838 /* Prepare for the next round. */
3839 now = lr_token (ldfile, charmap, result, NULL, verbose);
3840 nowtok = now->tok;
3843 /* When we come here we reached the end of the file. */
3844 lr_error (ldfile, _("%s: premature end of file"), "LC_COLLATE");