]> andersk Git - splint.git/blob - src/Headers/constants.h
Initial revision
[splint.git] / src / Headers / constants.h
1 /*
2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
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 char *C_SUFFIX; @*/
28 # define C_SUFFIX               ".c"
29
30 /*@constant observer char *LARCH_PATH; @*/
31 # define LARCH_PATH             "LARCH_PATH"
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
65 /*@constant int MAX_NAME_LENGTH; @*/
66 # define MAX_NAME_LENGTH 256
67
68 /*@constant int MAX_LINE_LENGTH; @*/
69 # define MAX_LINE_LENGTH 1024
70
71 /*@constant int MAX_DUMP_LINE_LENGTH; @*/
72 # define MAX_DUMP_LINE_LENGTH 8192
73
74 /*@constant int MINLINELEN; @*/
75 # define MINLINELEN 20
76
77 /*
78 ** WARNING: Can't use macros in token for cgrammar.l -->
79 **   must keep these consistent!
80 */
81
82 /*@constant observer char *LLMRCODE; @*/
83 # define LLMRCODE "@QLMR"  
84 /* MUST be 5 chars = defin[e]. The number of spaces between the
85    # and the d is the sixth tag. 
86 */
87
88 /*@constant observer char *PPMRCODE; @*/
89 # define PPMRCODE "@@MR@@"  
90
91 /*@constant observer char *DEFAULT_SYSTEMDIR; @*/
92 # define DEFAULT_SYSTEMDIR "/usr/"
93
94 /*@constant char DEFAULT_COMMENTCHAR; @*/
95 # define DEFAULT_COMMENTCHAR '@'
96
97 /*@constant int DEFAULT_LINELEN; @*/
98 # define DEFAULT_LINELEN 80
99
100 /*
101 ** These constants are based on implementation limits in ANSI standard,
102 ** Section 3.1. 
103 */
104
105 /*@constant int DEFAULT_EXTERNALNAMELEN; @*/
106 # define DEFAULT_EXTERNALNAMELEN 6
107
108 /*@constant int DEFAULT_INTERNALNAMELEN; @*/
109 # define DEFAULT_INTERNALNAMELEN 31
110
111 /*@constant int DEFAULT_CONTROLNESTDEPTH; @*/
112 # define DEFAULT_CONTROLNESTDEPTH 15
113
114 /*@constant int DEFAULT_STRINGLITERALLEN; @*/
115 # define DEFAULT_STRINGLITERALLEN 509
116
117 /*@constant int DEFAULT_INCLUDENEST; @*/
118 # define DEFAULT_INCLUDENEST 8
119
120 /*@constant int DEFAULT_NUMSTRUCTFIELDS; @*/
121 # define DEFAULT_NUMSTRUCTFIELDS 127
122
123 /*@constant int DEFAULT_NUMENUMMEMBERS; @*/
124 # define DEFAULT_NUMENUMMEMBERS 127
125
126 /*@constant int DEFAULT_LIMIT; @*/
127 # define DEFAULT_LIMIT -1    /* unlimited messages */
128
129 /*@constant char PFX_UPPERCASE; @*/
130 # define PFX_UPPERCASE '^'
131
132 /*@constant char PFX_LOWERCASE; @*/
133 # define PFX_LOWERCASE '&'
134
135 /*@constant char PFX_ANY; @*/
136 # define PFX_ANY '?'
137
138 /*@constant char PFX_DIGIT; @*/
139 # define PFX_DIGIT '#'
140
141 /*@constant char PFX_NOTUPPER; @*/
142 # define PFX_NOTUPPER '%'
143
144 /*@constant char PFX_NOTLOWER; @*/
145 # define PFX_NOTLOWER '~'
146
147 /*@constant char PFX_ANYLETTER; @*/
148 # define PFX_ANYLETTER '$'
149
150 /*@constant char PFX_ANYLETTERDIGIT; @*/
151 # define PFX_ANYLETTERDIGIT '/'
152
153 /*
154 ** Note: this name is wired into ansi.h!
155 */
156
157 /*@constant observer char *DEFAULT_BOOLTYPE;@*/
158 # define DEFAULT_BOOLTYPE "lltX_bool"
159
160 /*@constant observer char *PRAGMA_EXPAND; @*/
161 # define PRAGMA_EXPAND "expand"
162
163 /*@constant int PRAGMA_LEN_EXPAND; @*/
164 # define PRAGMA_LEN_EXPAND 6
165
166 /*@constant int MAX_PRAGMA_LEN; @*/
167 # define MAX_PRAGMA_LEN PRAGMA_LEN_EXPAND
168
169 /*
170 ** Minimum version with compatible libraries.
171 */
172
173 /*@constant float LCL_MIN_VERSION; @*/
174 # define LCL_MIN_VERSION 2.2
175
176 /*
177 ** Flex doesn't pre-process input, so remember to copy these manually
178 ** to cscanner.l.
179 */
180
181 /*@constant observer char *BEFORE_COMMENT_MARKER@*/
182 # define BEFORE_COMMENT_MARKER "%{"
183
184 /*@constant observer char *AFTER_COMMENT_MARKER@*/
185 # define AFTER_COMMENT_MARKER "%}"
186
187 # else
188 # error "Multiple include"
189 # endif
This page took 0.084466 seconds and 5 git commands to generate.