[splint.git] / src / Headers / lcltokentable.h

/*
** 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);
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	/*
	7	** tokentable.h
	8	*/
	9
	10	extern /@exposed@/ ltoken
	11	LCLInsertToken (ltokenCode, lsymbol, lsymbol, bool)
	12	/@modifies internalState@/ ;
	13	extern void LCLUpdateToken (ltokenCode, lsymbol, bool) /@modifies internalState@/ ;
	14	extern void LCLSetTokenHasSyn(lsymbol, bool) /@modifies internalState@/ ;
	15	extern /@exposed@/ ltoken LCLGetToken (lsymbol) /@/ ;
	16	extern /@exposed@/ ltoken LCLReserveToken (ltokenCode, char *)
	17	/@modifies internalState@/ ;
	18
	19	extern void LCLTokenTableInit(void);
	20	extern void LCLTokenTableCleanup(void);