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

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

extern void LSLGenShift (ltoken p_tok);
extern void LSLGenShiftOnly (/*@only@*/ ltoken p_tok);

extern /*@only@*/ ltoken LSLGenTopPopShiftStack(void);

extern void LSLGenInit(bool p_LSLParse);
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	/*
	7	** shift.h
	8	*/
	9
	10	extern void LSLGenShift (ltoken p_tok);
	11	extern void LSLGenShiftOnly (/@only@/ ltoken p_tok);
	12
	13	extern /@only@/ ltoken LSLGenTopPopShiftStack(void);
	14
	15	extern void LSLGenInit(bool p_LSLParse);