[splint.git] / test / printflike.c

/*@printflike@*/ 
int mprint (int x);

/*@printflike@*/ 
int kprint (int x, char *s);

/*@scanflike@*/ 
int sprint (void);

/*@scanflike@*/ 
int uprint ();

/*PRINTFLIKE*/
int qprint (int x, char *s, ...);

/*@printflike@*/ /*@messagelike@*/
int qxprint (int x, char *s, int f, ...);
Commit	Line	Data
885824d3	1	/@printflike@/
	2	int mprint (int x);
	3
	4	/@printflike@/
	5	int kprint (int x, char *s);
	6
	7	/@scanflike@/
	8	int sprint (void);
	9
	10	/@scanflike@/
	11	int uprint ();
	12
	13	/PRINTFLIKE/
	14	int qprint (int x, char *s, ...);
	15
	16	/@printflike@/ /@messagelike@/
	17	int qxprint (int x, char *s, int f, ...);
	18