]>
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 | /* | |
11 | * This is constants.h from Mike Smith's Win32 port of lclint. | |
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; @*/ | |
37 | # define LLSTDLIBS_NAME "ansi" | |
38 | ||
39 | /*@constant observer char *LLSTRICTLIBS_NAME; @*/ | |
40 | # define LLSTRICTLIBS_NAME "ansistrict" | |
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 | ||
3be9a165 | 119 | /*@constant int DEFAULT_EXTERNALNAMELEN=6; @*/ |
885824d3 | 120 | # define DEFAULT_EXTERNALNAMELEN 6 |
121 | ||
3be9a165 | 122 | /*@constant int DEFAULT_INTERNALNAMELEN=31; @*/ |
885824d3 | 123 | # define DEFAULT_INTERNALNAMELEN 31 |
124 | ||
3be9a165 | 125 | /*@constant int DEFAULT_CONTROLNESTDEPTH=15; @*/ |
885824d3 | 126 | # define DEFAULT_CONTROLNESTDEPTH 15 |
127 | ||
3be9a165 | 128 | /*@constant int DEFAULT_STRINGLITERALLEN=509; @*/ |
885824d3 | 129 | # define DEFAULT_STRINGLITERALLEN 509 |
130 | ||
3be9a165 | 131 | /*@constant int DEFAULT_INCLUDENEST=8; @*/ |
885824d3 | 132 | # define DEFAULT_INCLUDENEST 8 |
133 | ||
3be9a165 | 134 | /*@constant int DEFAULT_NUMSTRUCTFIELDS=127; @*/ |
885824d3 | 135 | # define DEFAULT_NUMSTRUCTFIELDS 127 |
136 | ||
3be9a165 | 137 | /*@constant int DEFAULT_NUMENUMMEMBERS=127; @*/ |
885824d3 | 138 | # define DEFAULT_NUMENUMMEMBERS 127 |
139 | ||
3be9a165 | 140 | /*@constant int DEFAULT_LIMIT=-1; @*/ |
885824d3 | 141 | # define DEFAULT_LIMIT -1 /* unlimited messages */ |
142 | ||
143 | /*@constant char PFX_UPPERCASE; @*/ | |
144 | # define PFX_UPPERCASE '^' | |
145 | ||
146 | /*@constant char PFX_LOWERCASE; @*/ | |
147 | # define PFX_LOWERCASE '&' | |
148 | ||
149 | /*@constant char PFX_ANY; @*/ | |
150 | # define PFX_ANY '?' | |
151 | ||
152 | /*@constant char PFX_DIGIT; @*/ | |
153 | # define PFX_DIGIT '#' | |
154 | ||
155 | /*@constant char PFX_NOTUPPER; @*/ | |
156 | # define PFX_NOTUPPER '%' | |
157 | ||
158 | /*@constant char PFX_NOTLOWER; @*/ | |
159 | # define PFX_NOTLOWER '~' | |
160 | ||
161 | /*@constant char PFX_ANYLETTER; @*/ | |
162 | # define PFX_ANYLETTER '$' | |
163 | ||
164 | /*@constant char PFX_ANYLETTERDIGIT; @*/ | |
165 | # define PFX_ANYLETTERDIGIT '/' | |
11db3170 | 166 | |
885824d3 | 167 | /* |
168 | ** Note: this name is wired into ansi.h! | |
169 | */ | |
170 | ||
171 | /*@constant observer char *DEFAULT_BOOLTYPE;@*/ | |
172 | # define DEFAULT_BOOLTYPE "lltX_bool" | |
173 | ||
174 | /*@constant observer char *PRAGMA_EXPAND; @*/ | |
175 | # define PRAGMA_EXPAND "expand" | |
176 | ||
3be9a165 | 177 | /*@constant int PRAGMA_LEN_EXPAND=6; @*/ |
885824d3 | 178 | # define PRAGMA_LEN_EXPAND 6 |
179 | ||
180 | /*@constant int MAX_PRAGMA_LEN; @*/ | |
181 | # define MAX_PRAGMA_LEN PRAGMA_LEN_EXPAND | |
182 | ||
183 | /* | |
184 | ** Minimum version with compatible libraries. | |
185 | */ | |
186 | ||
28bf4b0b | 187 | /*@constant float LCLINT_LIBVERSION; @*/ |
188 | # define LCLINT_LIBVERSION 2.6 | |
885824d3 | 189 | |
190 | /* | |
191 | ** Flex doesn't pre-process input, so remember to copy these manually | |
192 | ** to cscanner.l. | |
193 | */ | |
194 | ||
195 | /*@constant observer char *BEFORE_COMMENT_MARKER@*/ | |
196 | # define BEFORE_COMMENT_MARKER "%{" | |
197 | ||
198 | /*@constant observer char *AFTER_COMMENT_MARKER@*/ | |
199 | # define AFTER_COMMENT_MARKER "%}" | |
200 | ||
201 | # else | |
202 | # error "Multiple include" | |
203 | # endif |