]> andersk Git - splint.git/blob - src/Headers/lcl_constants.h
Updated html and word versions of the manual
[splint.git] / src / Headers / lcl_constants.h
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
8
9 /* lclsyntable */
10
11 /*@constant unsigned long int INITSYNTABLE; @*/
12 # define INITSYNTABLE   1024
13
14 /*@constant double DELTASYNTABLE; @*/
15 # define DELTASYNTABLE  2.0
16
17 /* syntable */
18
19 /*@constant int SYNTABLE_BASESIZE; @*/
20 # define SYNTABLE_BASESIZE 256   
21
22 /* lcltokentable */
23 /*@constant unsigned long int INITTOKENTABLE; @*/
24 # define INITTOKENTABLE   1024
25
26 /*@constant double DELTATOKENTABLE; @*/
27 # define DELTATOKENTABLE  2.0
28
29 /* string2sym */
30
31 /*@constant int INITCHARSTRING; @*/
32 # define INITCHARSTRING    8192 
33
34 /*@constant int DELTACHARSTRING; @*/
35 # define DELTACHARSTRING   2  
36
37 /*@constant int INITSTRINGENTRY; @*/
38 # define INITSTRINGENTRY   1024
39
40 /*@constant int DELTASTRINGENTRY; @*/
41 # define DELTASTRINGENTRY  2  
42
43 /*@constant int HASHSIZE; @*/
44 # define HASHSIZE          1024
45
46 /*@constant int HASHMASK; @*/
47 # define HASHMASK          (HASHSIZE-1) /* HASHSIZE must be 2^n     */
48
49 /*@constant observer char *INITFILENAME; @*/
50 # define INITFILENAME   "lclinit.lci"
51
52 /*@constant observer char *IO_SUFFIX; @*/
53 # define IO_SUFFIX              ".lcs"
54
55 /*@constant observer char *LCLINIT_SUFFIX; @*/
56 # define LCLINIT_SUFFIX         ".lci"
57
58 /*@constant observer char *CTRAITSYMSNAME; @*/
59 # define CTRAITSYMSNAME         "CTrait.syms"
60
61 /*@constant observer char *CTRAITSPECNAME; @*/
62 # define CTRAITSPECNAME         "CTrait.lsl"
63
64 /*@constant observer char *CTRAITFILENAMEN; @*/
65 # define CTRAITFILENAMEN        "CTrait"
66
67
68 # else
69 # error "Multiple include"
70 # endif
71
72
73
74
75
76
This page took 0.054222 seconds and 5 git commands to generate.