2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
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@*/ ;
18 extern void LSLSetTokenHasSyn (lsymbol p_sym, bool p_syn)
19 /*@modifies internalState@*/ ;
21 extern void ltokenTableInit(void) /*@modifies internalState@*/ ;
22 extern void ltokenTableCleanup(void) /*@modifies internalState@*/ ;