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

/*
** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
** 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 cstring LARCH_PATH; @*/
# define LARCH_PATH		cstring_makeLiteralTemp ("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 16384

/*@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

/*@constant int DEFAULT_BUGSLIMIT; @*/
# define DEFAULT_BUGSLIMIT 3

/*@constant int DEFAULT_INDENTSPACES; @*/
# define DEFAULT_INDENTSPACES 3

/*
** 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 LCLINT_LIBVERSION; @*/
# define LCLINT_LIBVERSION 2.6

/*
** 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	/*
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
	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
28bf4b0b	27	/@constant observer cstring LARCH_PATH; @/
28bf4b0b	28	# define LARCH_PATH cstring_makeLiteralTemp ("LARCH_PATH")
885824d3	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; @/
28bf4b0b	69	# define MAX_DUMP_LINE_LENGTH 16384
885824d3	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
28bf4b0b	97	/@constant int DEFAULT_BUGSLIMIT; @/
	98	# define DEFAULT_BUGSLIMIT 3
	99
	100	/@constant int DEFAULT_INDENTSPACES; @/
	101	# define DEFAULT_INDENTSPACES 3
	102
885824d3	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
28bf4b0b	176	/@constant float LCLINT_LIBVERSION; @/
28bf4b0b	177	# define LCLINT_LIBVERSION 2.6
885824d3	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