Don't try calling lsl when file is missing.
[splint-patched.git] / src / Headers / lcl_constants.h
blob394c4162374eaf36afe260d2aa328991ed60615f
1 /*
2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
3 ** See ../LICENSE for license information.
4 **
5 */
6 # ifndef LCL_CONSTANTS_H
7 # define LCL_CONSTANTS_H
9 /* lclsyntable */
11 /*@constant unsigned long int INITSYNTABLE; @*/
12 # define INITSYNTABLE 1024
14 /*@constant double DELTASYNTABLE; @*/
15 # define DELTASYNTABLE 2.0
17 /* syntable */
19 /*@constant int SYNTABLE_BASESIZE; @*/
20 # define SYNTABLE_BASESIZE 256
22 /* lcltokentable */
23 /*@constant unsigned long int INITTOKENTABLE; @*/
24 # define INITTOKENTABLE 1024
26 /*@constant double DELTATOKENTABLE; @*/
27 # define DELTATOKENTABLE 2.0
29 /* string2sym */
31 /*@constant int INITCHARSTRING; @*/
32 # define INITCHARSTRING 8192
34 /*@constant int DELTACHARSTRING; @*/
35 # define DELTACHARSTRING 2
37 /*@constant int INITSTRINGENTRY; @*/
38 # define INITSTRINGENTRY 1024
40 /*@constant int DELTASTRINGENTRY; @*/
41 # define DELTASTRINGENTRY 2
43 /*@constant int HASHSIZE; @*/
44 # define HASHSIZE 1024
46 /*@constant int HASHMASK; @*/
47 # define HASHMASK (HASHSIZE-1) /* HASHSIZE must be 2^n */
49 /*@constant observer char *INITFILENAME; @*/
50 # define INITFILENAME "lclinit.lci"
52 /*@constant observer char *IO_SUFFIX; @*/
53 # define IO_SUFFIX ".lcs"
55 /*@constant observer char *LCLINIT_SUFFIX; @*/
56 # define LCLINIT_SUFFIX ".lci"
58 /*@constant observer char *CTRAITSYMSNAME; @*/
59 # define CTRAITSYMSNAME "CTrait.syms"
61 # else
62 # error "Multiple include"
63 # endif