locale/programs/ld-numeric.c

   1 /* Copyright (C) 1995-2018 Free Software Foundation, Inc.
   2    This file is part of the GNU C Library.
   3    Contributed by Ulrich Drepper <drepper@gnu.org>, 1995.
   4
   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.
   9
  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.
  14
  15    You should have received a copy of the GNU General Public License
  16    along with this program; if not, see <http://www.gnu.org/licenses/>.  */
  17
  18 #ifdef HAVE_CONFIG_H
  19 # include <config.h>
  20 #endif
  21
  22 #include <langinfo.h>
  23 #include <string.h>
  24 #include <stdint.h>
  25 #include <sys/uio.h>
  26
  27 #include <assert.h>
  28
  29 #include "localedef.h"
  30 #include "linereader.h"
  31 #include "localeinfo.h"
  32 #include "locfile.h"
  33
  34
  35 /* The real definition of the struct for the LC_NUMERIC locale.  */
  36 struct locale_numeric_t
  37 {
  38   const char *decimal_point;
  39   const char *thousands_sep;
  40   char *grouping;
  41   size_t grouping_len;
  42   uint32_t decimal_point_wc;
  43   uint32_t thousands_sep_wc;
  44 };
  45
  46
  47 static void
  48 numeric_startup (struct linereader *lr, struct localedef_t *locale,
  49                  int ignore_content)
  50 {
  51   if (!ignore_content)
  52     {
  53       locale->categories[LC_NUMERIC].numeric =
  54         (struct locale_numeric_t *) xcalloc (1,
  55                                              sizeof (struct locale_numeric_t));
  56     }
  57
  58   if (lr != NULL)
  59     {
  60       lr->translate_strings = 1;
  61       lr->return_widestr = 0;
  62     }
  63 }
  64
  65
  66 void
  67 numeric_finish (struct localedef_t *locale, const struct charmap_t *charmap)
  68 {
  69   struct locale_numeric_t *numeric = locale->categories[LC_NUMERIC].numeric;
  70   int nothing = 0;
  71
  72   /* Now resolve copying and also handle completely missing definitions.  */
  73   if (numeric == NULL)
  74     {
  75       /* First see whether we were supposed to copy.  If yes, find the
  76          actual definition.  */
  77       if (locale->copy_name[LC_NUMERIC] != NULL)
  78         {
  79           /* Find the copying locale.  This has to happen transitively since
  80              the locale we are copying from might also copying another one.  */
  81           struct localedef_t *from = locale;
  82
  83           do
  84             from = find_locale (LC_NUMERIC, from->copy_name[LC_NUMERIC],
  85                                 from->repertoire_name, charmap);
  86           while (from->categories[LC_NUMERIC].numeric == NULL
  87                  && from->copy_name[LC_NUMERIC] != NULL);
  88
  89           numeric = locale->categories[LC_NUMERIC].numeric
  90             = from->categories[LC_NUMERIC].numeric;
  91         }
  92
  93       /* If there is still no definition issue an warning and create an
  94          empty one.  */
  95       if (numeric == NULL)
  96         {
  97           record_warning (_("\
  98 No definition for %s category found"), "LC_NUMERIC");
  99           numeric_startup (NULL, locale, 0);
 100           numeric = locale->categories[LC_NUMERIC].numeric;
 101           nothing = 1;
 102         }
 103     }
 104
 105   /* The decimal point must not be empty.  This is not said explicitly
 106      in POSIX but ANSI C (ISO/IEC 9899) says in 4.4.2.1 it has to be
 107      != "".  */
 108   if (numeric->decimal_point == NULL)
 109     {
 110       if (! nothing)
 111         record_error (0, 0, _("%s: field `%s' not defined"),
 112                       "LC_NUMERIC", "decimal_point");
 113       numeric->decimal_point = ".";
 114     }
 115   else if (numeric->decimal_point[0] == '\0' && ! nothing)
 116     {
 117       record_error (0, 0, _("\
 118 %s: value for field `%s' must not be an empty string"),
 119                     "LC_NUMERIC", "decimal_point");
 120     }
 121   if (numeric->decimal_point_wc == L'\0')
 122     numeric->decimal_point_wc = L'.';
 123
 124   if (numeric->grouping_len == 0 && ! nothing)
 125     record_error (0, 0, _("%s: field `%s' not defined"),
 126                   "LC_NUMERIC", "grouping");
 127 }
 128
 129
 130 void
 131 numeric_output (struct localedef_t *locale, const struct charmap_t *charmap,
 132                 const char *output_path)
 133 {
 134   struct locale_numeric_t *numeric = locale->categories[LC_NUMERIC].numeric;
 135   struct locale_file file;
 136
 137   init_locale_data (&file, _NL_ITEM_INDEX (_NL_NUM_LC_NUMERIC));
 138   add_locale_string (&file, numeric->decimal_point ?: "");
 139   add_locale_string (&file, numeric->thousands_sep ?: "");
 140   add_locale_raw_data (&file, numeric->grouping, numeric->grouping_len);
 141   add_locale_uint32 (&file, numeric->decimal_point_wc);
 142   add_locale_uint32 (&file, numeric->thousands_sep_wc);
 143   add_locale_string (&file, charmap->code_set_name);
 144   write_locale_data (output_path, LC_NUMERIC, "LC_NUMERIC", &file);
 145 }
 146
 147
 148 /* The parser for the LC_NUMERIC section of the locale definition.  */
 149 void
 150 numeric_read (struct linereader *ldfile, struct localedef_t *result,
 151               const struct charmap_t *charmap, const char *repertoire_name,
 152               int ignore_content)
 153 {
 154   struct repertoire_t *repertoire = NULL;
 155   struct locale_numeric_t *numeric;
 156   struct token *now;
 157   enum token_t nowtok;
 158
 159   /* Get the repertoire we have to use.  */
 160   if (repertoire_name != NULL)
 161     repertoire = repertoire_read (repertoire_name);
 162
 163   /* The rest of the line containing `LC_NUMERIC' must be free.  */
 164   lr_ignore_rest (ldfile, 1);
 165
 166
 167   do
 168     {
 169       now = lr_token (ldfile, charmap, result, NULL, verbose);
 170       nowtok = now->tok;
 171     }
 172   while (nowtok == tok_eol);
 173
 174   /* If we see `copy' now we are almost done.  */
 175   if (nowtok == tok_copy)
 176     {
 177       handle_copy (ldfile, charmap, repertoire_name, result, tok_lc_numeric,
 178                    LC_NUMERIC, "LC_NUMERIC", ignore_content);
 179       return;
 180     }
 181
 182   /* Prepare the data structures.  */
 183   numeric_startup (ldfile, result, ignore_content);
 184   numeric = result->categories[LC_NUMERIC].numeric;
 185
 186   while (1)
 187     {
 188       /* Of course we don't proceed beyond the end of file.  */
 189       if (nowtok == tok_eof)
 190         break;
 191
 192       /* Ingore empty lines.  */
 193       if (nowtok == tok_eol)
 194         {
 195           now = lr_token (ldfile, charmap, result, NULL, verbose);
 196           nowtok = now->tok;
 197           continue;
 198         }
 199
 200       switch (nowtok)
 201         {
 202 #define STR_ELEM(cat) \
 203         case tok_##cat:                                                       \
 204           /* Ignore the rest of the line if we don't need the input of        \
 205              this line.  */                                                   \
 206           if (ignore_content)                                                 \
 207             {                                                                 \
 208               lr_ignore_rest (ldfile, 0);                                     \
 209               break;                                                          \
 210             }                                                                 \
 211                                                                               \
 212           ldfile->return_widestr = 1;                                         \
 213           now = lr_token (ldfile, charmap, result, repertoire, verbose);              \
 214           if (now->tok != tok_string)                                         \
 215             goto err_label;                                                   \
 216           if (numeric->cat != NULL)                                           \
 217             lr_error (ldfile, _("\
 218 %s: field `%s' declared more than once"), "LC_NUMERIC", #cat);                \
 219           else if (!ignore_content && now->val.str.startmb == NULL)           \
 220             {                                                                 \
 221               lr_error (ldfile, _("\
 222 %s: unknown character in field `%s'"), "LC_NUMERIC", #cat);                   \
 223               numeric->cat = "";                                              \
 224               numeric->cat##_wc = L'\0';                                      \
 225             }                                                                 \
 226           else if (now->val.str.startwc != NULL && now->val.str.lenwc > 2)    \
 227             {                                                                 \
 228               lr_error (ldfile, _("\
 229 %s: value for field `%s' must be a single character"), "LC_NUMERIC", #cat);   \
 230             }                                                                 \
 231           else if (!ignore_content)                                           \
 232             {                                                                 \
 233               numeric->cat = now->val.str.startmb;                            \
 234                                                                               \
 235               if (now->val.str.startwc != NULL)                               \
 236                 numeric->cat##_wc = *now->val.str.startwc;                    \
 237             }                                                                 \
 238           ldfile->return_widestr = 0;                                         \
 239           break
 240
 241           STR_ELEM (decimal_point);
 242           STR_ELEM (thousands_sep);
 243
 244         case tok_grouping:
 245           /* Ignore the rest of the line if we don't need the input of
 246              this line.  */
 247           if (ignore_content)
 248             {
 249               lr_ignore_rest (ldfile, 0);
 250               break;
 251             }
 252
 253           now = lr_token (ldfile, charmap, result, NULL, verbose);
 254           if (now->tok != tok_minus1 && now->tok != tok_number)
 255             goto err_label;
 256           else
 257             {
 258               size_t act = 0;
 259               size_t max = 10;
 260               char *grouping = xmalloc (max);
 261
 262               do
 263                 {
 264                   if (act + 1 >= max)
 265                     {
 266                       max *= 2;
 267                       grouping = xrealloc (grouping, max);
 268                     }
 269
 270                   if (act > 0 && grouping[act - 1] == '\177')
 271                     {
 272                       lr_error (ldfile, _("\
 273 %s: `-1' must be last entry in `%s' field"), "LC_NUMERIC", "grouping");
 274                       lr_ignore_rest (ldfile, 0);
 275                       break;
 276                     }
 277
 278                   if (now->tok == tok_minus1)
 279                     grouping[act++] = '\177';
 280                   else if (now->val.num == 0)
 281                     {
 282                       /* A value of 0 disables grouping from here on but
 283                          we must not store a NUL character since this
 284                          terminates the string.  Use something different
 285                          which must not be used otherwise.  */
 286                       grouping[act++] = '\377';
 287                     }
 288                   else if (now->val.num > 126)
 289                     lr_error (ldfile, _("\
 290 %s: values for field `%s' must be smaller than 127"),
 291                               "LC_NUMERIC", "grouping");
 292                   else
 293                     grouping[act++] = now->val.num;
 294
 295                   /* Next must be semicolon.  */
 296                   now = lr_token (ldfile, charmap, result, NULL, verbose);
 297                   if (now->tok != tok_semicolon)
 298                     break;
 299
 300                   now = lr_token (ldfile, charmap, result, NULL, verbose);
 301                 }
 302               while (now->tok == tok_minus1 || now->tok == tok_number);
 303
 304               if (now->tok != tok_eol)
 305                 goto err_label;
 306
 307               /* A single -1 means no grouping.  */
 308               if (act == 1 && grouping[0] == '\177')
 309                 act--;
 310               grouping[act++] = '\0';
 311
 312               numeric->grouping = xrealloc (grouping, act);
 313               numeric->grouping_len = act;
 314             }
 315           break;
 316
 317         case tok_end:
 318           /* Next we assume `LC_NUMERIC'.  */
 319           now = lr_token (ldfile, charmap, result, NULL, verbose);
 320           if (now->tok == tok_eof)
 321             break;
 322           if (now->tok == tok_eol)
 323             lr_error (ldfile, _("%s: incomplete `END' line"), "LC_NUMERIC");
 324           else if (now->tok != tok_lc_numeric)
 325             lr_error (ldfile, _("\
 326 %1$s: definition does not end with `END %1$s'"), "LC_NUMERIC");
 327           lr_ignore_rest (ldfile, now->tok == tok_lc_numeric);
 328           return;
 329
 330         default:
 331         err_label:
 332           SYNTAX_ERROR (_("%s: syntax error"), "LC_NUMERIC");
 333         }
 334
 335       /* Prepare for the next round.  */
 336       now = lr_token (ldfile, charmap, result, NULL, verbose);
 337       nowtok = now->tok;
 338     }
 339
 340   /* When we come here we reached the end of the file.  */
 341   lr_error (ldfile, _("%s: premature end of file"), "LC_NUMERIC");
 342 }