[splint.git] / imports / locale.lcl

/*
** locale.h 
*/

constant int LC_ALL;
constant int LC_COLLATE;
constant int LC_CTYPE;
constant int LC_NUMERIC;
constant int LC_TIME;
constant int LC_MONETARY;

/* lcl can't handle just struct lconv... */
typedef struct lconv {
 char	*decimal_point ;
 char	*thousands_sep ;
 char	*grouping ;
 char	*int_curr_symbol ;
 char	*currency_symbol ;
 char	*mon_decimal_point ;
 char	*mon_thousands_sep ;
 char	*mon_grouping ;
 char	*positive_sign ;
 char	*negative_sign ;
 char	int_frac_digits ;
 char	frac_digits ;
 char	p_cs_precedes ;
 char	p_sep_by_space ;
 char	n_cs_precedes ;
 char	n_sep_by_space ;
 char	p_sign_posn ;
 char	n_sign_posn ;
 } __lconv ;

struct lconv *localeconv(void) { ensures true; } 

char *etlocale(int __category, char *__locale ) { ensures true; }
Commit	Line	Data
885824d3	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