]> andersk Git - splint.git/blob - src/Headers/constants.h
Merged code tree with Dave Evans's version. Many changes to numberous to list....
[splint.git] / src / Headers / constants.h
1 /*
2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
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
19 # if defined(MSDOS) || defined(OS2)
20 /*@constant observer char *RCFILE; @*/
21 # define RCFILE         "lclint.rc"
22 # else
23 /*@constant observer char *RCFILE; @*/
24 # define RCFILE         ".lclintrc"
25 # endif
26
27 /*@constant observer cstring LARCH_PATH; @*/
28 # define LARCH_PATH             cstring_makeLiteralTemp ("LARCH_PATH")
29
30 /*@constant observer char *LCLIMPORTDIR; @*/
31 # define LCLIMPORTDIR           "LCLIMPORTDIR"
32
33 /*@constant observer char *LLSTDLIBS_NAME; @*/
34 # define LLSTDLIBS_NAME          "ansi"
35
36 /*@constant observer char *LLSTRICTLIBS_NAME; @*/
37 # define LLSTRICTLIBS_NAME      "ansistrict"
38
39 /*@constant observer char *LLUNIXLIBS_NAME; @*/
40 # define LLUNIXLIBS_NAME        "unix"
41
42 /*@constant observer char *LLUNIXSTRICTLIBS_NAME; @*/
43 # define LLUNIXSTRICTLIBS_NAME  "unixstrict"
44
45 /*@constant observer char *LLPOSIXLIBS_NAME; @*/
46 # define LLPOSIXLIBS_NAME       "posix"
47
48 /*@constant observer char *LLPOSIXSTRICTLIBS_NAME; @*/
49 # define LLPOSIXSTRICTLIBS_NAME "posixstrict"
50
51 /*@constant observer cstring REFSNAME; @*/
52 # define REFSNAME               cstring_makeLiteralTemp ("refs")
53
54 /*
55 ** Used to be .lldmp.  Truncated to .lcd to fix within
56 ** MS-DOS filename limitations.
57 */
58
59 /*@constant observer char *DUMP_SUFFIX; @*/
60 # define DUMP_SUFFIX ".lcd"
61
62 /*@constant int MAX_NAME_LENGTH; @*/
63 # define MAX_NAME_LENGTH 256
64
65 /*@constant int MAX_LINE_LENGTH; @*/
66 # define MAX_LINE_LENGTH 1024
67
68 /*@constant int MAX_DUMP_LINE_LENGTH; @*/
69 # define MAX_DUMP_LINE_LENGTH 16384
70
71 /*@constant int MINLINELEN; @*/
72 # define MINLINELEN 20
73
74 /*
75 ** WARNING: Can't use macros in token for cgrammar.l -->
76 **   must keep these consistent!
77 */
78
79 /*@constant observer char *LLMRCODE; @*/
80 # define LLMRCODE "@QLMR"  
81 /* MUST be 5 chars = defin[e]. The number of spaces between the
82    # and the d is the sixth tag. 
83 */
84
85 /*@constant observer char *PPMRCODE; @*/
86 # define PPMRCODE "@@MR@@"  
87
88 /*@constant observer char *DEFAULT_SYSTEMDIR; @*/
89 # define DEFAULT_SYSTEMDIR "/usr/"
90
91 /*@constant char DEFAULT_COMMENTCHAR; @*/
92 # define DEFAULT_COMMENTCHAR '@'
93
94 /*@constant int DEFAULT_LINELEN; @*/
95 # define DEFAULT_LINELEN 80
96
97 /*@constant int DEFAULT_BUGSLIMIT; @*/
98 # define DEFAULT_BUGSLIMIT 3
99
100 /*@constant int DEFAULT_INDENTSPACES; @*/
101 # define DEFAULT_INDENTSPACES 3
102
103 /*
104 ** These constants are based on implementation limits in ANSI standard,
105 ** Section 3.1. 
106 */
107
108 /*@constant int DEFAULT_EXTERNALNAMELEN; @*/
109 # define DEFAULT_EXTERNALNAMELEN 6
110
111 /*@constant int DEFAULT_INTERNALNAMELEN; @*/
112 # define DEFAULT_INTERNALNAMELEN 31
113
114 /*@constant int DEFAULT_CONTROLNESTDEPTH; @*/
115 # define DEFAULT_CONTROLNESTDEPTH 15
116
117 /*@constant int DEFAULT_STRINGLITERALLEN; @*/
118 # define DEFAULT_STRINGLITERALLEN 509
119
120 /*@constant int DEFAULT_INCLUDENEST; @*/
121 # define DEFAULT_INCLUDENEST 8
122
123 /*@constant int DEFAULT_NUMSTRUCTFIELDS; @*/
124 # define DEFAULT_NUMSTRUCTFIELDS 127
125
126 /*@constant int DEFAULT_NUMENUMMEMBERS; @*/
127 # define DEFAULT_NUMENUMMEMBERS 127
128
129 /*@constant int DEFAULT_LIMIT; @*/
130 # define DEFAULT_LIMIT -1    /* unlimited messages */
131
132 /*@constant char PFX_UPPERCASE; @*/
133 # define PFX_UPPERCASE '^'
134
135 /*@constant char PFX_LOWERCASE; @*/
136 # define PFX_LOWERCASE '&'
137
138 /*@constant char PFX_ANY; @*/
139 # define PFX_ANY '?'
140
141 /*@constant char PFX_DIGIT; @*/
142 # define PFX_DIGIT '#'
143
144 /*@constant char PFX_NOTUPPER; @*/
145 # define PFX_NOTUPPER '%'
146
147 /*@constant char PFX_NOTLOWER; @*/
148 # define PFX_NOTLOWER '~'
149
150 /*@constant char PFX_ANYLETTER; @*/
151 # define PFX_ANYLETTER '$'
152
153 /*@constant char PFX_ANYLETTERDIGIT; @*/
154 # define PFX_ANYLETTERDIGIT '/'
155
156 /*
157 ** Note: this name is wired into ansi.h!
158 */
159
160 /*@constant observer char *DEFAULT_BOOLTYPE;@*/
161 # define DEFAULT_BOOLTYPE "lltX_bool"
162
163 /*@constant observer char *PRAGMA_EXPAND; @*/
164 # define PRAGMA_EXPAND "expand"
165
166 /*@constant int PRAGMA_LEN_EXPAND; @*/
167 # define PRAGMA_LEN_EXPAND 6
168
169 /*@constant int MAX_PRAGMA_LEN; @*/
170 # define MAX_PRAGMA_LEN PRAGMA_LEN_EXPAND
171
172 /*
173 ** Minimum version with compatible libraries.
174 */
175
176 /*@constant float LCLINT_LIBVERSION; @*/
177 # define LCLINT_LIBVERSION 2.6
178
179 /*
180 ** Flex doesn't pre-process input, so remember to copy these manually
181 ** to cscanner.l.
182 */
183
184 /*@constant observer char *BEFORE_COMMENT_MARKER@*/
185 # define BEFORE_COMMENT_MARKER "%{"
186
187 /*@constant observer char *AFTER_COMMENT_MARKER@*/
188 # define AFTER_COMMENT_MARKER "%}"
189
190 # else
191 # error "Multiple include"
192 # endif
This page took 0.082951 seconds and 5 git commands to generate.