[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) 
/*@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=256; @*/
# define MAX_NAME_LENGTH 256

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

/*@constant int MAX_DUMP_LINE_LENGTH=16384; @*/
# define MAX_DUMP_LINE_LENGTH 16384

/*@constant int MINLINELEN=20; @*/
# 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=80; @*/
# define DEFAULT_LINELEN 80

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

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

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

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

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

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

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

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

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

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

/*@constant int DEFAULT_LIMIT=-1; @*/
# 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=6; @*/
# 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
fbace05a	19	# if defined(MSDOS)
885824d3	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
3be9a165	62	/@constant int MAX_NAME_LENGTH=256; @/
885824d3	63	# define MAX_NAME_LENGTH 256
885824d3	64
3be9a165	65	/@constant int MAX_LINE_LENGTH=1024; @/
885824d3	66	# define MAX_LINE_LENGTH 1024
885824d3	67
3be9a165	68	/@constant int MAX_DUMP_LINE_LENGTH=16384; @/
28bf4b0b	69	# define MAX_DUMP_LINE_LENGTH 16384
885824d3	70
3be9a165	71	/@constant int MINLINELEN=20; @/
885824d3	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
3be9a165	94	/@constant int DEFAULT_LINELEN=80; @/
885824d3	95	# define DEFAULT_LINELEN 80
885824d3	96
3be9a165	97	/@constant int DEFAULT_BUGSLIMIT=3; @/
28bf4b0b	98	# define DEFAULT_BUGSLIMIT 3
28bf4b0b	99
3be9a165	100	/@constant int DEFAULT_INDENTSPACES=3; @/
28bf4b0b	101	# define DEFAULT_INDENTSPACES 3
28bf4b0b	102
885824d3	103	/*
	104	** These constants are based on implementation limits in ANSI standard,
	105	** Section 3.1.
	106	*/
	107
3be9a165	108	/@constant int DEFAULT_EXTERNALNAMELEN=6; @/
885824d3	109	# define DEFAULT_EXTERNALNAMELEN 6
885824d3	110
3be9a165	111	/@constant int DEFAULT_INTERNALNAMELEN=31; @/
885824d3	112	# define DEFAULT_INTERNALNAMELEN 31
885824d3	113
3be9a165	114	/@constant int DEFAULT_CONTROLNESTDEPTH=15; @/
885824d3	115	# define DEFAULT_CONTROLNESTDEPTH 15
885824d3	116
3be9a165	117	/@constant int DEFAULT_STRINGLITERALLEN=509; @/
885824d3	118	# define DEFAULT_STRINGLITERALLEN 509
885824d3	119
3be9a165	120	/@constant int DEFAULT_INCLUDENEST=8; @/
885824d3	121	# define DEFAULT_INCLUDENEST 8
885824d3	122
3be9a165	123	/@constant int DEFAULT_NUMSTRUCTFIELDS=127; @/
885824d3	124	# define DEFAULT_NUMSTRUCTFIELDS 127
885824d3	125
3be9a165	126	/@constant int DEFAULT_NUMENUMMEMBERS=127; @/
885824d3	127	# define DEFAULT_NUMENUMMEMBERS 127
885824d3	128
3be9a165	129	/@constant int DEFAULT_LIMIT=-1; @/
885824d3	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
3be9a165	166	/@constant int PRAGMA_LEN_EXPAND=6; @/
885824d3	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