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

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

extern void LSLAddSyn(lsymbol, lsymbol) /*@modifies internalState@*/ ;
extern /*@exposed@*/ ltoken LSLGetTokenForSyn(lsymbol) 
  /*@globals internalState@*/ ;
extern bool LSLIsSyn(lsymbol) /*@globals internalState@*/ ;
extern void lsynTableInit (void) /*@modifies internalState@*/ ;
extern void lsynTableReset (void)  /*@modifies internalState@*/ ;
extern void lsynTableCleanup (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	** syntable.h
	7	*/
	8
	9	extern void LSLAddSyn(lsymbol, lsymbol) /@modifies internalState@/ ;
	10	extern /@exposed@/ ltoken LSLGetTokenForSyn(lsymbol)
	11	/@globals internalState@/ ;
	12	extern bool LSLIsSyn(lsymbol) /@globals internalState@/ ;
	13	extern void lsynTableInit (void) /@modifies internalState@/ ;
	14	extern void lsynTableReset (void) /@modifies internalState@/ ;
	15	extern void lsynTableCleanup (void) /@modifies internalState@/ ;