]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | /* |
c0de361f | 2 | ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003. |
885824d3 | 3 | ** See ../LICENSE for license information. |
4 | ** | |
5 | */ | |
6 | /* | |
7 | ** constants.h | |
8 | */ | |
9 | ||
10 | /* | |
1b8ae690 | 11 | * This is constants.h from Mike Smith's Win32 port of splint. |
885824d3 | 12 | * Modified by Herbert 04/19/97: |
13 | * added conditional 'OS2' to conditional 'MSDOS' | |
14 | */ | |
15 | ||
16 | # ifndef CONSTANTS_H | |
17 | # define CONSTANTS_H | |
18 | ||
fbace05a | 19 | # if defined(MSDOS) |
885824d3 | 20 | /*@constant observer char *RCFILE; @*/ |
11db3170 | 21 | # define RCFILE "splint.rc" |
885824d3 | 22 | # else |
23 | /*@constant observer char *RCFILE; @*/ | |
11db3170 | 24 | # define RCFILE ".splintrc" |
25 | ||
26 | /*@constant observer char *ALTRCFILE; @*/ | |
27 | # define ALTRCFILE ".lclintrc" | |
885824d3 | 28 | # endif |
29 | ||
28bf4b0b | 30 | /*@constant observer cstring LARCH_PATH; @*/ |
31 | # define LARCH_PATH cstring_makeLiteralTemp ("LARCH_PATH") | |
885824d3 | 32 | |
33 | /*@constant observer char *LCLIMPORTDIR; @*/ | |
34 | # define LCLIMPORTDIR "LCLIMPORTDIR" | |
35 | ||
36 | /*@constant observer char *LLSTDLIBS_NAME; @*/ | |
155af98d | 37 | # define LLSTDLIBS_NAME "standard" |
885824d3 | 38 | |
39 | /*@constant observer char *LLSTRICTLIBS_NAME; @*/ | |
155af98d | 40 | # define LLSTRICTLIBS_NAME "standardstrict" |
885824d3 | 41 | |
42 | /*@constant observer char *LLUNIXLIBS_NAME; @*/ | |
43 | # define LLUNIXLIBS_NAME "unix" | |
44 | ||
45 | /*@constant observer char *LLUNIXSTRICTLIBS_NAME; @*/ | |
46 | # define LLUNIXSTRICTLIBS_NAME "unixstrict" | |
47 | ||
48 | /*@constant observer char *LLPOSIXLIBS_NAME; @*/ | |
49 | # define LLPOSIXLIBS_NAME "posix" | |
50 | ||
51 | /*@constant observer char *LLPOSIXSTRICTLIBS_NAME; @*/ | |
52 | # define LLPOSIXSTRICTLIBS_NAME "posixstrict" | |
53 | ||
54 | /*@constant observer cstring REFSNAME; @*/ | |
55 | # define REFSNAME cstring_makeLiteralTemp ("refs") | |
56 | ||
57 | /* | |
58 | ** Used to be .lldmp. Truncated to .lcd to fix within | |
59 | ** MS-DOS filename limitations. | |
60 | */ | |
61 | ||
62 | /*@constant observer char *DUMP_SUFFIX; @*/ | |
63 | # define DUMP_SUFFIX ".lcd" | |
64 | ||
11db3170 | 65 | /* |
66 | ** All valid libraries start with this | |
67 | */ | |
68 | ||
69 | /*@constant observer char *LIBRARY_MARKER@*/ | |
70 | # define LIBRARY_MARKER ";;; Splint Library " | |
71 | ||
3be9a165 | 72 | /*@constant int MAX_NAME_LENGTH=256; @*/ |
fc97bef4 | 73 | # define MAX_NAME_LENGTH 1024 |
885824d3 | 74 | |
3be9a165 | 75 | /*@constant int MAX_LINE_LENGTH=1024; @*/ |
885824d3 | 76 | # define MAX_LINE_LENGTH 1024 |
77 | ||
3be9a165 | 78 | /*@constant int MAX_DUMP_LINE_LENGTH=16384; @*/ |
28bf4b0b | 79 | # define MAX_DUMP_LINE_LENGTH 16384 |
885824d3 | 80 | |
3be9a165 | 81 | /*@constant int MINLINELEN=20; @*/ |
885824d3 | 82 | # define MINLINELEN 20 |
83 | ||
11db3170 | 84 | |
885824d3 | 85 | /* |
86 | ** WARNING: Can't use macros in token for cgrammar.l --> | |
87 | ** must keep these consistent! | |
88 | */ | |
89 | ||
90 | /*@constant observer char *LLMRCODE; @*/ | |
91 | # define LLMRCODE "@QLMR" | |
92 | /* MUST be 5 chars = defin[e]. The number of spaces between the | |
93 | # and the d is the sixth tag. | |
94 | */ | |
95 | ||
96 | /*@constant observer char *PPMRCODE; @*/ | |
97 | # define PPMRCODE "@@MR@@" | |
98 | ||
99 | /*@constant observer char *DEFAULT_SYSTEMDIR; @*/ | |
6ee276d2 | 100 | # ifdef OS2 |
101 | # define DEFAULT_SYSTEMDIR "/os2/" | |
102 | # else | |
885824d3 | 103 | # define DEFAULT_SYSTEMDIR "/usr/" |
6ee276d2 | 104 | # endif |
885824d3 | 105 | |
106 | /*@constant char DEFAULT_COMMENTCHAR; @*/ | |
107 | # define DEFAULT_COMMENTCHAR '@' | |
108 | ||
3be9a165 | 109 | /*@constant int DEFAULT_LINELEN=80; @*/ |
885824d3 | 110 | # define DEFAULT_LINELEN 80 |
111 | ||
3be9a165 | 112 | /*@constant int DEFAULT_BUGSLIMIT=3; @*/ |
28bf4b0b | 113 | # define DEFAULT_BUGSLIMIT 3 |
114 | ||
3be9a165 | 115 | /*@constant int DEFAULT_INDENTSPACES=3; @*/ |
28bf4b0b | 116 | # define DEFAULT_INDENTSPACES 3 |
117 | ||
16c024b5 | 118 | /* |
119 | ** Setting this to 0 means emacs compile mode will | |
120 | ** jump to the locations in message hints. | |
121 | */ | |
122 | ||
123 | /*@constant int DEFAULT_LOCINDENTSPACES=3; @*/ | |
124 | # define DEFAULT_LOCINDENTSPACES 3 | |
125 | ||
885824d3 | 126 | /* |
127 | ** These constants are based on implementation limits in ANSI standard, | |
128 | ** Section 3.1. | |
129 | */ | |
130 | ||
27c9e640 | 131 | /*@constant int ANSI89_EXTERNALNAMELEN=6; @*/ |
132 | # define ANSI89_EXTERNALNAMELEN 6 | |
885824d3 | 133 | |
27c9e640 | 134 | /*@constant int ANSI89_INTERNALNAMELEN=31; @*/ |
135 | # define ANSI89_INTERNALNAMELEN 31 | |
885824d3 | 136 | |
27c9e640 | 137 | /*@constant int ANSI89_CONTROLNESTDEPTH=15; @*/ |
138 | # define ANSI89_CONTROLNESTDEPTH 15 | |
885824d3 | 139 | |
27c9e640 | 140 | /*@constant int ANSI89_STRINGLITERALLEN=509; @*/ |
141 | # define ANSI89_STRINGLITERALLEN 509 | |
885824d3 | 142 | |
27c9e640 | 143 | /*@constant int ANSI89_INCLUDENEST=8; @*/ |
144 | # define ANSI89_INCLUDENEST 8 | |
885824d3 | 145 | |
27c9e640 | 146 | /*@constant int ANSI89_NUMSTRUCTFIELDS=127; @*/ |
147 | # define ANSI89_NUMSTRUCTFIELDS 127 | |
885824d3 | 148 | |
27c9e640 | 149 | /*@constant int ANSI89_NUMENUMMEMBERS=127; @*/ |
150 | # define ANSI89_NUMENUMMEMBERS 127 | |
151 | ||
152 | /* | |
153 | ** From ISO C99 5.2.4.1 | |
154 | */ | |
155 | ||
156 | /*@constant int ISO99_EXTERNALNAMELEN=31; @*/ | |
157 | # define ISO99_EXTERNALNAMELEN 31 | |
158 | ||
159 | /*@constant int ISO99_INTERNALNAMELEN=63; @*/ | |
160 | # define ISO99_INTERNALNAMELEN 63 | |
161 | ||
162 | /*@constant int ISO99_CONTROLNESTDEPTH=63; @*/ | |
163 | # define ISO99_CONTROLNESTDEPTH 63 | |
164 | ||
165 | /*@constant int ISO99_STRINGLITERALLEN=4095; @*/ | |
166 | # define ISO99_STRINGLITERALLEN 4095 | |
167 | ||
168 | /*@constant int ISO99_INCLUDENEST=63; @*/ | |
169 | # define ISO99_INCLUDENEST 63 | |
170 | ||
171 | /*@constant int ISO99_NUMSTRUCTFIELDS=1023 @*/ | |
172 | # define ISO99_NUMSTRUCTFIELDS 1023 | |
173 | ||
174 | /*@constant int ISO99_NUMENUMMEMBERS=1023 @*/ | |
175 | # define ISO99_NUMENUMMEMBERS 1023 | |
885824d3 | 176 | |
3be9a165 | 177 | /*@constant int DEFAULT_LIMIT=-1; @*/ |
885824d3 | 178 | # define DEFAULT_LIMIT -1 /* unlimited messages */ |
179 | ||
180 | /*@constant char PFX_UPPERCASE; @*/ | |
181 | # define PFX_UPPERCASE '^' | |
182 | ||
183 | /*@constant char PFX_LOWERCASE; @*/ | |
184 | # define PFX_LOWERCASE '&' | |
185 | ||
186 | /*@constant char PFX_ANY; @*/ | |
187 | # define PFX_ANY '?' | |
188 | ||
189 | /*@constant char PFX_DIGIT; @*/ | |
190 | # define PFX_DIGIT '#' | |
191 | ||
192 | /*@constant char PFX_NOTUPPER; @*/ | |
193 | # define PFX_NOTUPPER '%' | |
194 | ||
195 | /*@constant char PFX_NOTLOWER; @*/ | |
196 | # define PFX_NOTLOWER '~' | |
197 | ||
198 | /*@constant char PFX_ANYLETTER; @*/ | |
199 | # define PFX_ANYLETTER '$' | |
200 | ||
201 | /*@constant char PFX_ANYLETTERDIGIT; @*/ | |
202 | # define PFX_ANYLETTERDIGIT '/' | |
11db3170 | 203 | |
885824d3 | 204 | /* |
0bd4c301 | 205 | ** _Bool is defined by ISO C99 (replaced old lltx_Bool) |
885824d3 | 206 | */ |
207 | ||
208 | /*@constant observer char *DEFAULT_BOOLTYPE;@*/ | |
0bd4c301 | 209 | # define DEFAULT_BOOLTYPE "_Bool" |
885824d3 | 210 | |
211 | /*@constant observer char *PRAGMA_EXPAND; @*/ | |
212 | # define PRAGMA_EXPAND "expand" | |
213 | ||
3be9a165 | 214 | /*@constant int PRAGMA_LEN_EXPAND=6; @*/ |
885824d3 | 215 | # define PRAGMA_LEN_EXPAND 6 |
216 | ||
217 | /*@constant int MAX_PRAGMA_LEN; @*/ | |
218 | # define MAX_PRAGMA_LEN PRAGMA_LEN_EXPAND | |
219 | ||
885824d3 | 220 | /* |
221 | ** Flex doesn't pre-process input, so remember to copy these manually | |
222 | ** to cscanner.l. | |
223 | */ | |
224 | ||
225 | /*@constant observer char *BEFORE_COMMENT_MARKER@*/ | |
226 | # define BEFORE_COMMENT_MARKER "%{" | |
227 | ||
228 | /*@constant observer char *AFTER_COMMENT_MARKER@*/ | |
229 | # define AFTER_COMMENT_MARKER "%}" | |
230 | ||
231 | # else | |
232 | # error "Multiple include" | |
233 | # endif |