[splint.git] / test / db2 / 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 {db_OK, salERR, genderERR, jobERR, duplERR, missERR} db_status;
# endif

extern db_status hire (employee  /* e */);
extern void uncheckedHire (employee  /* e */);
extern bool fire (int  /* ssNum */);
extern int query (db_q  /* q */, empset  /* s */);
extern bool promote (int  /* ssNum */);
extern db_status 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 {db_OK, salERR, genderERR, jobERR, duplERR, missERR} db_status;
	21	# endif
	22
	23	extern db_status hire (employee /* e */);
	24	extern void uncheckedHire (employee /* e */);
	25	extern bool fire (int /* ssNum */);
	26	extern int query (db_q /* q /, empset / s */);
	27	extern bool promote (int /* ssNum */);
	28	extern db_status setSalary (int /* ssNum /, int / sal */);
	29	extern void db_print (void);
	30	extern void db_initMod (void);