[splint.git] / test / db3 / dbase.lh

/* Output from LCLint 2.5q */

# include <stdio.h>
# include "bool.h"
# include "employee.h"
# include "empset.h"


# ifndef EXPOSED_TYPE_db_q
typedef struct {
    gender g;
    job j;
    int l;
    int h;
    } db_q;
# endif


# ifndef EXPOSED_TYPE_db_status
typedef enum {DBS_OK, DBS_SALERR, DBS_GENDERERR, DBS_JOBERR, DBS_DUPLERR, DBS_MISSERR} db_status;
# endif

extern db_status db_hire (employee  /* e */);
extern void db_uncheckedHire (employee  /* e */);
extern bool db_fire (int  /* ssNum */);
extern int db_query (db_q  /* q */, empset  /* s */);
extern bool db_promote (int  /* ssNum */);
extern db_status db_setSalary (int  /* ssNum */, int  /* sal */);
extern void db_print (void);
extern void db_initMod (void);
Commit	Line	Data
5b73c9ca	1	/* Output from LCLint 2.5q */
885824d3	2
	3	# include <stdio.h>
	4	# include "bool.h"
	5	# include "employee.h"
	6	# include "empset.h"
	7
	8
	9	# ifndef EXPOSED_TYPE_db_q
	10	typedef struct {
	11	gender g;
	12	job j;
	13	int l;
	14	int h;
	15	} db_q;
	16	# endif
	17
	18
	19	# ifndef EXPOSED_TYPE_db_status
	20	typedef enum {DBS_OK, DBS_SALERR, DBS_GENDERERR, DBS_JOBERR, DBS_DUPLERR, DBS_MISSERR} db_status;
	21	# endif
	22
	23	extern db_status db_hire (employee /* e */);
	24	extern void db_uncheckedHire (employee /* e */);
	25	extern bool db_fire (int /* ssNum */);
	26	extern int db_query (db_q /* q /, empset / s */);
	27	extern bool db_promote (int /* ssNum */);
	28	extern db_status db_setSalary (int /* ssNum /, int / sal */);
	29	extern void db_print (void);
	30	extern void db_initMod (void);