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