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

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

/*@-declundef@*/ /* In case cgrammar.y isn't processed... */
extern bool g_expectingTypeName ;
extern /*@dependent@*/ /*@observer@*/ uentry coerceId (cstring p_cn);
extern /*@observer@*/ uentry coerceIterId (cstring p_cn);
/*@=declundef@*/

/* #ifndef NCGRAM2
** # include "cgrammar_tokens.h"
** #endif
*/
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	** cgrammar.h
	8	*/
	9
a956d444	10	/@-declundef@/ /* In case cgrammar.y isn't processed... */
885824d3	11	extern bool g_expectingTypeName ;
	12	extern /@dependent@/ /@observer@/ uentry coerceId (cstring p_cn);
	13	extern /@observer@/ uentry coerceIterId (cstring p_cn);
a956d444	14	/@=declundef@/
885824d3	15
	16	/* #ifndef NCGRAM2
	17	** # include "cgrammar_tokens.h"
	18	** #endif
	19	*/
	20
	21
	22