]>
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 | ** 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; @*/ |
885824d3 | 73 | # define MAX_NAME_LENGTH 256 |
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; @*/ | |
100 | # define DEFAULT_SYSTEMDIR "/usr/" | |
101 | ||
102 | /*@constant char DEFAULT_COMMENTCHAR; @*/ | |
103 | # define DEFAULT_COMMENTCHAR '@' | |
104 | ||
3be9a165 | 105 | /*@constant int DEFAULT_LINELEN=80; @*/ |
885824d3 | 106 | # define DEFAULT_LINELEN 80 |
107 | ||
3be9a165 | 108 | /*@constant int DEFAULT_BUGSLIMIT=3; @*/ |
28bf4b0b | 109 | # define DEFAULT_BUGSLIMIT 3 |
110 | ||
3be9a165 | 111 | /*@constant int DEFAULT_INDENTSPACES=3; @*/ |
28bf4b0b | 112 | # define DEFAULT_INDENTSPACES 3 |
113 | ||
885824d3 | 114 | /* |
115 | ** These constants are based on implementation limits in ANSI standard, | |
116 | ** Section 3.1. | |
117 | */ | |
118 | ||
27c9e640 | 119 | /*@constant int ANSI89_EXTERNALNAMELEN=6; @*/ |
120 | # define ANSI89_EXTERNALNAMELEN 6 | |
885824d3 | 121 | |
27c9e640 | 122 | /*@constant int ANSI89_INTERNALNAMELEN=31; @*/ |
123 | # define ANSI89_INTERNALNAMELEN 31 | |
885824d3 | 124 | |
27c9e640 | 125 | /*@constant int ANSI89_CONTROLNESTDEPTH=15; @*/ |
126 | # define ANSI89_CONTROLNESTDEPTH 15 | |
885824d3 | 127 | |
27c9e640 | 128 | /*@constant int ANSI89_STRINGLITERALLEN=509; @*/ |
129 | # define ANSI89_STRINGLITERALLEN 509 | |
885824d3 | 130 | |
27c9e640 | 131 | /*@constant int ANSI89_INCLUDENEST=8; @*/ |
132 | # define ANSI89_INCLUDENEST 8 | |
885824d3 | 133 | |
27c9e640 | 134 | /*@constant int ANSI89_NUMSTRUCTFIELDS=127; @*/ |
135 | # define ANSI89_NUMSTRUCTFIELDS 127 | |
885824d3 | 136 | |
27c9e640 | 137 | /*@constant int ANSI89_NUMENUMMEMBERS=127; @*/ |
138 | # define ANSI89_NUMENUMMEMBERS 127 | |
139 | ||
140 | /* | |
141 | ** From ISO C99 5.2.4.1 | |
142 | */ | |
143 | ||
144 | /*@constant int ISO99_EXTERNALNAMELEN=31; @*/ | |
145 | # define ISO99_EXTERNALNAMELEN 31 | |
146 | ||
147 | /*@constant int ISO99_INTERNALNAMELEN=63; @*/ | |
148 | # define ISO99_INTERNALNAMELEN 63 | |
149 | ||
150 | /*@constant int ISO99_CONTROLNESTDEPTH=63; @*/ | |
151 | # define ISO99_CONTROLNESTDEPTH 63 | |
152 | ||
153 | /*@constant int ISO99_STRINGLITERALLEN=4095; @*/ | |
154 | # define ISO99_STRINGLITERALLEN 4095 | |
155 | ||
156 | /*@constant int ISO99_INCLUDENEST=63; @*/ | |
157 | # define ISO99_INCLUDENEST 63 | |
158 | ||
159 | /*@constant int ISO99_NUMSTRUCTFIELDS=1023 @*/ | |
160 | # define ISO99_NUMSTRUCTFIELDS 1023 | |
161 | ||
162 | /*@constant int ISO99_NUMENUMMEMBERS=1023 @*/ | |
163 | # define ISO99_NUMENUMMEMBERS 1023 | |
885824d3 | 164 | |
3be9a165 | 165 | /*@constant int DEFAULT_LIMIT=-1; @*/ |
885824d3 | 166 | # define DEFAULT_LIMIT -1 /* unlimited messages */ |
167 | ||
168 | /*@constant char PFX_UPPERCASE; @*/ | |
169 | # define PFX_UPPERCASE '^' | |
170 | ||
171 | /*@constant char PFX_LOWERCASE; @*/ | |
172 | # define PFX_LOWERCASE '&' | |
173 | ||
174 | /*@constant char PFX_ANY; @*/ | |
175 | # define PFX_ANY '?' | |
176 | ||
177 | /*@constant char PFX_DIGIT; @*/ | |
178 | # define PFX_DIGIT '#' | |
179 | ||
180 | /*@constant char PFX_NOTUPPER; @*/ | |
181 | # define PFX_NOTUPPER '%' | |
182 | ||
183 | /*@constant char PFX_NOTLOWER; @*/ | |
184 | # define PFX_NOTLOWER '~' | |
185 | ||
186 | /*@constant char PFX_ANYLETTER; @*/ | |
187 | # define PFX_ANYLETTER '$' | |
188 | ||
189 | /*@constant char PFX_ANYLETTERDIGIT; @*/ | |
190 | # define PFX_ANYLETTERDIGIT '/' | |
11db3170 | 191 | |
885824d3 | 192 | /* |
193 | ** Note: this name is wired into ansi.h! | |
194 | */ | |
195 | ||
196 | /*@constant observer char *DEFAULT_BOOLTYPE;@*/ | |
197 | # define DEFAULT_BOOLTYPE "lltX_bool" | |
198 | ||
199 | /*@constant observer char *PRAGMA_EXPAND; @*/ | |
200 | # define PRAGMA_EXPAND "expand" | |
201 | ||
3be9a165 | 202 | /*@constant int PRAGMA_LEN_EXPAND=6; @*/ |
885824d3 | 203 | # define PRAGMA_LEN_EXPAND 6 |
204 | ||
205 | /*@constant int MAX_PRAGMA_LEN; @*/ | |
206 | # define MAX_PRAGMA_LEN PRAGMA_LEN_EXPAND | |
207 | ||
208 | /* | |
209 | ** Minimum version with compatible libraries. | |
210 | */ | |
211 | ||
1b8ae690 | 212 | /*@constant float SPLINT_LIBVERSION; @*/ |
213 | # define SPLINT_LIBVERSION 2.6 | |
885824d3 | 214 | |
215 | /* | |
216 | ** Flex doesn't pre-process input, so remember to copy these manually | |
217 | ** to cscanner.l. | |
218 | */ | |
219 | ||
220 | /*@constant observer char *BEFORE_COMMENT_MARKER@*/ | |
221 | # define BEFORE_COMMENT_MARKER "%{" | |
222 | ||
223 | /*@constant observer char *AFTER_COMMENT_MARKER@*/ | |
224 | # define AFTER_COMMENT_MARKER "%}" | |
225 | ||
226 | # else | |
227 | # error "Multiple include" | |
228 | # endif |