[splint.git] / src / Headers / message.h

/*
** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
** See ../LICENSE for license information.
**
*/
# ifndef MESSAGE_H
# define MESSAGE_H

# if USEVARARGS
/*@-usevarargs@*/ /* suppress error about varargs.h */
# include <varargs.h>
/*@=usevarargs@*/
extern cstring message ();
# else
# include <stdarg.h>
/*@messagelike@*/
extern /*@only@*/ cstring message(/*@temp@*/ char *p_fmt, ...) /*@*/ ;
# endif

# else
# error "Multiple include"
# endif
Commit	Line	Data
885824d3	1	/*
c0de361f	2	** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
885824d3	3	** See ../LICENSE for license information.
	4	**
	5	*/
	6	# ifndef MESSAGE_H
	7	# define MESSAGE_H
	8
	9	# if USEVARARGS
	10	/@-usevarargs@/ /* suppress error about varargs.h */
	11	# include <varargs.h>
	12	/@=usevarargs@/
	13	extern cstring message ();
	14	# else
	15	# include <stdarg.h>
	16	/@messagelike@/
	17	extern /@only@/ cstring message(/@temp@/ char p_fmt, ...) /@*/ ;
	18	# endif
	19
	20	# else
	21	# error "Multiple include"
	22	# endif