Various minor fixes for compiler/linter (other then splint itself) warnings.
[splint-patched.git] / src / Headers / messageLog.h
blob18510212ea16ccdf8bd4dd96d486ddc88db3179e
1 /*
2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
3 ** See ../LICENSE for license information.
4 **
5 */
6 /*
7 ** messageLog.h (from slist_templace.h)
8 */
10 # ifndef messageLog_H
11 # define messageLog_H
13 typedef struct
15 fileloc loc;
16 cstring msg;
17 } *msgentry ;
19 typedef /*@only@*/ msgentry o_msgentry;
21 abst_typedef /*@null@*/ struct
23 int nelements;
24 int nspace;
25 /*@reldef@*/ /*@only@*/ o_msgentry *elements;
26 } *messageLog ;
28 /*@constant null messageLog messageLog_undefined; @*/
29 # define messageLog_undefined ((messageLog)0)
31 extern /*@unused@*/ /*@falsewhennull@*/ bool
32 messageLog_isDefined (messageLog p_s) /*@*/ ;
33 # define messageLog_isDefined(c) ((c) != messageLog_undefined)
35 extern /*@only@*/ messageLog messageLog_new (void) /*@*/ ;
36 extern bool messageLog_add (messageLog p_s, fileloc p_fl, cstring p_mess)
37 /*@modifies p_s@*/ ;
39 extern void messageLog_free (/*@only@*/ messageLog p_s) ;
41 # else
42 # error "Multiple include"
43 # endif