[splint.git] / src / Headers / constants.h

/*
** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
** See ../LICENSE for license information.
**
*/
/*
**  constants.h
*/

/*
 * This is constants.h from Mike Smith's Win32 port of lclint.
 * Modified by Herbert 04/19/97:
 * added conditional 'OS2' to conditional 'MSDOS'
 */

# ifndef CONSTANTS_H
# define CONSTANTS_H

# if defined(MSDOS) || defined(OS2)
/*@constant observer char *RCFILE; @*/
# define RCFILE         "lclint.rc"
# else
/*@constant observer char *RCFILE; @*/
# define RCFILE         ".lclintrc"
# endif

/*@constant observer char *C_SUFFIX; @*/
# define C_SUFFIX               ".c"

/*@constant observer char *LARCH_PATH; @*/
# define LARCH_PATH		"LARCH_PATH"

/*@constant observer char *LCLIMPORTDIR; @*/
# define LCLIMPORTDIR           "LCLIMPORTDIR"

/*@constant observer char *LLSTDLIBS_NAME; @*/
# define LLSTDLIBS_NAME          "ansi"

/*@constant observer char *LLSTRICTLIBS_NAME; @*/
# define LLSTRICTLIBS_NAME      "ansistrict"

/*@constant observer char *LLUNIXLIBS_NAME; @*/
# define LLUNIXLIBS_NAME        "unix"

/*@constant observer char *LLUNIXSTRICTLIBS_NAME; @*/
# define LLUNIXSTRICTLIBS_NAME  "unixstrict"

/*@constant observer char *LLPOSIXLIBS_NAME; @*/
# define LLPOSIXLIBS_NAME       "posix"

/*@constant observer char *LLPOSIXSTRICTLIBS_NAME; @*/
# define LLPOSIXSTRICTLIBS_NAME "posixstrict"

/*@constant observer cstring REFSNAME; @*/
# define REFSNAME               cstring_makeLiteralTemp ("refs")

/*
** Used to be .lldmp.  Truncated to .lcd to fix within
** MS-DOS filename limitations.
*/

/*@constant observer char *DUMP_SUFFIX; @*/
# define DUMP_SUFFIX ".lcd"

/*@constant int MAX_NAME_LENGTH; @*/
# define MAX_NAME_LENGTH 256

/*@constant int MAX_LINE_LENGTH; @*/
# define MAX_LINE_LENGTH 1024

/*@constant int MAX_DUMP_LINE_LENGTH; @*/
# define MAX_DUMP_LINE_LENGTH 8192

/*@constant int MINLINELEN; @*/
# define MINLINELEN 20

/*
** WARNING: Can't use macros in token for cgrammar.l -->
**   must keep these consistent!
*/

/*@constant observer char *LLMRCODE; @*/
# define LLMRCODE "@QLMR"  
/* MUST be 5 chars = defin[e]. The number of spaces between the
   # and the d is the sixth tag. 
*/

/*@constant observer char *PPMRCODE; @*/
# define PPMRCODE "@@MR@@"  

/*@constant observer char *DEFAULT_SYSTEMDIR; @*/
# define DEFAULT_SYSTEMDIR "/usr/"

/*@constant char DEFAULT_COMMENTCHAR; @*/
# define DEFAULT_COMMENTCHAR '@'

/*@constant int DEFAULT_LINELEN; @*/
# define DEFAULT_LINELEN 80

/*
** These constants are based on implementation limits in ANSI standard,
** Section 3.1. 
*/

/*@constant int DEFAULT_EXTERNALNAMELEN; @*/
# define DEFAULT_EXTERNALNAMELEN 6

/*@constant int DEFAULT_INTERNALNAMELEN; @*/
# define DEFAULT_INTERNALNAMELEN 31

/*@constant int DEFAULT_CONTROLNESTDEPTH; @*/
# define DEFAULT_CONTROLNESTDEPTH 15

/*@constant int DEFAULT_STRINGLITERALLEN; @*/
# define DEFAULT_STRINGLITERALLEN 509

/*@constant int DEFAULT_INCLUDENEST; @*/
# define DEFAULT_INCLUDENEST 8

/*@constant int DEFAULT_NUMSTRUCTFIELDS; @*/
# define DEFAULT_NUMSTRUCTFIELDS 127

/*@constant int DEFAULT_NUMENUMMEMBERS; @*/
# define DEFAULT_NUMENUMMEMBERS 127

/*@constant int DEFAULT_LIMIT; @*/
# define DEFAULT_LIMIT -1    /* unlimited messages */

/*@constant char PFX_UPPERCASE; @*/
# define PFX_UPPERCASE '^'

/*@constant char PFX_LOWERCASE; @*/
# define PFX_LOWERCASE '&'

/*@constant char PFX_ANY; @*/
# define PFX_ANY '?'

/*@constant char PFX_DIGIT; @*/
# define PFX_DIGIT '#'

/*@constant char PFX_NOTUPPER; @*/
# define PFX_NOTUPPER '%'

/*@constant char PFX_NOTLOWER; @*/
# define PFX_NOTLOWER '~'

/*@constant char PFX_ANYLETTER; @*/
# define PFX_ANYLETTER '$'

/*@constant char PFX_ANYLETTERDIGIT; @*/
# define PFX_ANYLETTERDIGIT '/'

/*
** Note: this name is wired into ansi.h!
*/

/*@constant observer char *DEFAULT_BOOLTYPE;@*/
# define DEFAULT_BOOLTYPE "lltX_bool"

/*@constant observer char *PRAGMA_EXPAND; @*/
# define PRAGMA_EXPAND "expand"

/*@constant int PRAGMA_LEN_EXPAND; @*/
# define PRAGMA_LEN_EXPAND 6

/*@constant int MAX_PRAGMA_LEN; @*/
# define MAX_PRAGMA_LEN PRAGMA_LEN_EXPAND

/*
** Minimum version with compatible libraries.
*/

/*@constant float LCL_MIN_VERSION; @*/
# define LCL_MIN_VERSION 2.2

/*
** Flex doesn't pre-process input, so remember to copy these manually
** to cscanner.l.
*/

/*@constant observer char *BEFORE_COMMENT_MARKER@*/
# define BEFORE_COMMENT_MARKER "%{"

/*@constant observer char *AFTER_COMMENT_MARKER@*/
# define AFTER_COMMENT_MARKER "%}"

# else
# error "Multiple include"
# endif
Commit	Line	Data
885824d3	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