2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
7 ** messageLog.h (from slist_templace.h)
19 typedef /*@only@*/ msgentry o_msgentry;
21 abst_typedef /*@null@*/ struct
25 /*@reldef@*/ /*@only@*/ o_msgentry *elements;
28 /*@constant null messageLog messageLog_undefined; @*/
29 # define messageLog_undefined ((messageLog)0)
31 extern /*@unused@*/ /*@falsenull@*/ 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)
39 extern /*@only@*/ /*@unused@*/ cstring messageLog_unparse (messageLog p_s) /*@*/ ;
40 extern void messageLog_free (/*@only@*/ messageLog p_s) ;
42 /*@constant int messageLogBASESIZE; @*/
43 # define messageLogBASESIZE MIDBASESIZE
46 # error "Multiple include"