| 1 | /* Copyright (C) 1995-2020 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 <https://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 | } |
| 343 | |