]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | /* |
28bf4b0b | 2 | ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001. |
885824d3 | 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@*/ ; |