]>
Commit | Line | Data |
---|---|---|
28bf4b0b | 1 | /* |
c0de361f | 2 | ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003. |
28bf4b0b | 3 | ** See ../LICENSE for license information. |
4 | ** | |
5 | */ | |
6 | /* | |
7 | ** warnClause.h | |
8 | */ | |
9 | ||
10 | # ifndef WARNCLAUSE_H | |
11 | # define WARNCLAUSE_H | |
12 | ||
13 | struct s_warnClause | |
14 | { | |
15 | /*@only@*/ fileloc loc; | |
16 | /*@only@*/ flagSpec flag; | |
6970c11b | 17 | /*@only@*/ cstring msg; |
28bf4b0b | 18 | } ; |
19 | ||
20 | /*@constant null warnClause warnClause_undefined; @*/ | |
21 | # define warnClause_undefined ((warnClause) NULL) | |
22 | ||
0e41eb0e | 23 | extern /*@falsewhennull@*/ bool warnClause_isDefined (/*@null@*/ warnClause p_f) /*@*/ ; |
24 | extern /*@nullwhentrue@*/ bool warnClause_isUndefined (/*@null@*/ warnClause p_f) /*@*/ ; | |
28bf4b0b | 25 | |
26 | # define warnClause_isDefined(f) ((f) != warnClause_undefined) | |
27 | # define warnClause_isUndefined(f) ((f) == warnClause_undefined) | |
28 | ||
29 | extern warnClause warnClause_create (/*@only@*/ lltok, | |
30 | /*@only@*/ flagSpec p_flag, | |
6970c11b | 31 | /*@only@*/ cstring p_msg) /*@*/ ; |
28bf4b0b | 32 | |
efd360a3 | 33 | extern /*@only@*/ warnClause warnClause_copy (warnClause) /*@*/ ; |
34 | ||
28bf4b0b | 35 | extern /*@observer@*/ flagSpec warnClause_getFlag (warnClause p_w) /*@*/ ; |
36 | ||
37 | extern /*@only@*/ cstring warnClause_dump (warnClause p_wc) /*@*/ ; | |
38 | extern /*@only@*/ warnClause warnClause_undump (char **p_s) /*@modifies p_s@*/ ; | |
39 | ||
0e41eb0e | 40 | extern /*@falsewhennull@*/ bool warnClause_hasMessage (warnClause p_w) /*@*/ ; |
28bf4b0b | 41 | |
42 | extern /*@observer@*/ cstring warnClause_getMessage (warnClause p_w) /*@*/ ; | |
43 | extern /*@only@*/ cstring warnClause_unparse (warnClause p_w) /*@*/ ; | |
44 | ||
45 | extern void warnClause_free (/*@only@*/ warnClause p_w); | |
46 | ||
47 | # else | |
48 | # error "Multiple include" | |
49 | # endif | |
50 | ||
51 | ||
52 | ||
53 | ||
54 | ||
55 | ||
56 | ||
57 | ||
58 | ||
59 | ||
60 | ||
61 | ||
62 |