]> andersk Git - splint.git/blob - src/Headers/lcltokentable.h
ADded numabstract types.
[splint.git] / src / Headers / lcltokentable.h
1 /*
2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
4 **
5 */
6 /*
7 ** lcltokentable.h
8 */
9
10 # ifndef LCLTOKENTABLE_H
11 # define LCLTOKENTABLE_H
12
13 extern /*@exposed@*/ ltoken 
14   LCLInsertToken (ltokenCode, lsymbol, lsymbol, bool)
15   /*@modifies internalState@*/ ;
16 extern void LCLUpdateToken (ltokenCode, lsymbol, bool) /*@modifies internalState@*/ ;
17 extern void LCLSetTokenHasSyn(lsymbol, bool) /*@modifies internalState@*/ ;
18 extern /*@exposed@*/ ltoken LCLGetToken (lsymbol) /*@*/ ;
19 extern /*@exposed@*/ ltoken LCLReserveToken (ltokenCode, char *) 
20                        /*@modifies internalState@*/ ;
21
22 extern void LCLTokenTableInit(void);
23 extern void LCLTokenTableCleanup(void);
24
25 # else
26 # error "Multiple include"
27 # endif
This page took 0.048343 seconds and 5 git commands to generate.