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

/*
** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
** See ../LICENSE for license information.
*/
/*
** 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@*/ ;
Commit	Line	Data
885824d3	1	/*
c0de361f	2	** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
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@/ ;