/*
** Copyright (c) Massachusetts Institute of Technology 1994-1998.
**          All Rights Reserved.
**          Unpublished rights reserved under the copyright laws of
**          the United States.
**
** THIS MATERIAL IS PROVIDED AS IS, WITH ABSOLUTELY NO WARRANTY EXPRESSED
** OR IMPLIED.  ANY USE IS AT YOUR OWN RISK.
**
** This code is distributed freely and may be used freely under the 
** following conditions:
**
**     1. This notice may not be removed or altered.
**
**     2. Works derived from this code are not distributed for
**        commercial gain without explicit permission from MIT 
**        (for permission contact lclint-request@sds.lcs.mit.edu).
*/
/*
** tokentable.h
*/

extern /*@exposed@*/ ltoken
  LSLInsertToken(ltokenCode, lsymbol, lsymbol, bool) 
  /*@modifies internalState@*/ ;
extern void LSLUpdateToken(ltokenCode, lsymbol, bool)
   /*@modifies internalState@*/ ;
extern /*@exposed@*/ ltoken LSLGetToken(lsymbol) /*@*/ ;
extern /*@exposed@*/ ltoken LSLReserveToken(ltokenCode, char *) 
   /*@modifies internalState@*/ ;

extern void LSLSetTokenHasSyn (lsymbol p_sym, bool p_syn) 
   /*@modifies internalState@*/ ;

extern void ltokenTableInit(void) /*@modifies internalState@*/ ;
extern void ltokenTableCleanup(void) /*@modifies internalState@*/ ;
