]> andersk Git - splint.git/blame - src/Headers/lcl_constants.h
Updated copyrights
[splint.git] / src / Headers / lcl_constants.h
CommitLineData
885824d3 1/*
c0de361f 2** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
885824d3 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
885824d3 55/*@constant observer char *LCLINIT_SUFFIX; @*/
56# define LCLINIT_SUFFIX ".lci"
57
885824d3 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.116698 seconds and 5 git commands to generate.