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

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

extern void cscanner_expectingMetaStateName (void) /*@modifies internalState@*/ ;
extern void cscanner_clearExpectingMetaStateName (void) /*@modifies internalState@*/ ;
Commit	Line	Data
08eb3d0e	1	/*
	2	** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
	3	** See ../LICENSE for license information.
	4	**
	5	*/
	6	/*
	7	** cscanner.h
	8	*/
	9
	10	extern void cscanner_expectingMetaStateName (void) /@modifies internalState@/ ;
	11	extern void cscanner_clearExpectingMetaStateName (void) /@modifies internalState@/ ;
	12