]> andersk Git - splint.git/blob - src/Headers/message.h
Initial revision
[splint.git] / src / Headers / message.h
1 /*
2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
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
This page took 0.032396 seconds and 5 git commands to generate.