/*
** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
** See ../LICENSE for license information.
**
*/
/*
** tokentable.h
*/

extern /*@exposed@*/ ltoken 
  LCLInsertToken (ltokenCode, lsymbol, lsymbol, bool)
  /*@modifies internalState@*/ ;
extern void LCLUpdateToken (ltokenCode, lsymbol, bool) /*@modifies internalState@*/ ;
extern void LCLSetTokenHasSyn(lsymbol, bool) /*@modifies internalState@*/ ;
extern /*@exposed@*/ ltoken LCLGetToken (lsymbol) /*@*/ ;
extern /*@exposed@*/ ltoken LCLReserveToken (ltokenCode, char *) 
                       /*@modifies internalState@*/ ;

extern void LCLTokenTableInit(void);
extern void LCLTokenTableCleanup(void);
