imports/locale.lcl

   1 /*
   2 ** locale.h
   3 */
   4
   5 constant int LC_ALL;
   6 constant int LC_COLLATE;
   7 constant int LC_CTYPE;
   8 constant int LC_NUMERIC;
   9 constant int LC_TIME;
  10 constant int LC_MONETARY;
  11
  12 /* lcl can't handle just struct lconv... */
  13 typedef struct lconv {
  14  char   *decimal_point ;
  15  char   *thousands_sep ;
  16  char   *grouping ;
  17  char   *int_curr_symbol ;
  18  char   *currency_symbol ;
  19  char   *mon_decimal_point ;
  20  char   *mon_thousands_sep ;
  21  char   *mon_grouping ;
  22  char   *positive_sign ;
  23  char   *negative_sign ;
  24  char   int_frac_digits ;
  25  char   frac_digits ;
  26  char   p_cs_precedes ;
  27  char   p_sep_by_space ;
  28  char   n_cs_precedes ;
  29  char   n_sep_by_space ;
  30  char   p_sign_posn ;
  31  char   n_sign_posn ;
  32  } __lconv ;
  33
  34 struct lconv *localeconv(void) { ensures true; }
  35
  36 char *etlocale(int __category, char *__locale ) { ensures true; }
  37