]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | /* |
28bf4b0b | 2 | ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001. |
885824d3 | 3 | ** See ../LICENSE for license information. |
4 | ** | |
5 | */ | |
6 | /* | |
7 | ** messageLog.h (from slist_templace.h) | |
8 | */ | |
9 | ||
10 | # ifndef messageLog_H | |
11 | # define messageLog_H | |
12 | ||
28bf4b0b | 13 | typedef struct |
885824d3 | 14 | { |
15 | fileloc loc; | |
16 | cstring msg; | |
17 | } *msgentry ; | |
18 | ||
19 | typedef /*@only@*/ msgentry o_msgentry; | |
20 | ||
28bf4b0b | 21 | abst_typedef /*@null@*/ struct |
885824d3 | 22 | { |
23 | int nelements; | |
24 | int nspace; | |
25 | /*@reldef@*/ /*@only@*/ o_msgentry *elements; | |
26 | } *messageLog ; | |
27 | ||
28 | /*@constant null messageLog messageLog_undefined; @*/ | |
29 | # define messageLog_undefined ((messageLog)0) | |
30 | ||
31 | extern /*@unused@*/ /*@falsenull@*/ bool | |
32 | messageLog_isDefined (messageLog p_s) /*@*/ ; | |
33 | # define messageLog_isDefined(c) ((c) != messageLog_undefined) | |
34 | ||
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@*/ ; | |
38 | ||
39 | extern /*@only@*/ /*@unused@*/ cstring messageLog_unparse (messageLog p_s) /*@*/ ; | |
40 | extern void messageLog_free (/*@only@*/ messageLog p_s) ; | |
41 | ||
42 | /*@constant int messageLogBASESIZE; @*/ | |
43 | # define messageLogBASESIZE MIDBASESIZE | |
44 | ||
45 | # else | |
46 | # error "Multiple include" | |
47 | # endif | |
48 | ||
49 | ||
50 | ||
51 |