]> andersk Git - splint.git/blob - src/Headers/tokentable.h
*** empty log message ***
[splint.git] / src / Headers / tokentable.h
1 /*
2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
3 ** See ../LICENSE for license information.
4 */
5 /*
6 ** tokentable.h
7 */
8
9 extern /*@exposed@*/ ltoken
10   LSLInsertToken(ltokenCode, lsymbol, lsymbol, bool) 
11   /*@modifies internalState@*/ ;
12 extern void LSLUpdateToken(ltokenCode, lsymbol, bool)
13    /*@modifies internalState@*/ ;
14 extern /*@exposed@*/ ltoken LSLGetToken(lsymbol) /*@*/ ;
15 extern /*@exposed@*/ ltoken LSLReserveToken(ltokenCode, char *) 
16    /*@modifies internalState@*/ ;
17
18 extern void LSLSetTokenHasSyn (lsymbol p_sym, bool p_syn) 
19    /*@modifies internalState@*/ ;
20
21 extern void ltokenTableInit(void) /*@modifies internalState@*/ ;
22 extern void ltokenTableCleanup(void) /*@modifies internalState@*/ ;
This page took 0.659962 seconds and 5 git commands to generate.