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

/*
** Copyright (c) Massachusetts Institute of Technology 1994-1998.
**          All Rights Reserved.
**          Unpublished rights reserved under the copyright laws of
**          the United States.
**
** THIS MATERIAL IS PROVIDED AS IS, WITH ABSOLUTELY NO WARRANTY EXPRESSED
** OR IMPLIED.  ANY USE IS AT YOUR OWN RISK.
**
** This code is distributed freely and may be used freely under the 
** following conditions:
**
**     1. This notice may not be removed or altered.
**
**     2. Works derived from this code are not distributed for
**        commercial gain without explicit permission from MIT 
**        (for permission contact lclint-request@sds.lcs.mit.edu).
*/
/*
** sgrammar.h
*/

extern bool g_expectingTypeName ;
extern /*@dependent@*/ /*@observer@*/ uentry coerceId(ctype p_c);
extern /*@observer@*/ uentry coerceIterId(ctype p_c);
extern /*@observer@*/ cstring LastIdentifier(void);

/* #ifndef NCGRAM2
** # include "cgrammar_tokens.h"
** #endif
*/
Commit	Line	Data
885824d3	1	/*
	2	** Copyright (c) Massachusetts Institute of Technology 1994-1998.
	3	** All Rights Reserved.
	4	** Unpublished rights reserved under the copyright laws of
	5	** the United States.
	6	**
	7	** THIS MATERIAL IS PROVIDED AS IS, WITH ABSOLUTELY NO WARRANTY EXPRESSED
	8	** OR IMPLIED. ANY USE IS AT YOUR OWN RISK.
	9	**
	10	** This code is distributed freely and may be used freely under the
	11	** following conditions:
	12	**
	13	** 1. This notice may not be removed or altered.
	14	**
	15	** 2. Works derived from this code are not distributed for
	16	** commercial gain without explicit permission from MIT
	17	** (for permission contact lclint-request@sds.lcs.mit.edu).
	18	*/
	19	/*
	20	** sgrammar.h
	21	*/
	22
	23	extern bool g_expectingTypeName ;
	24	extern /@dependent@/ /@observer@/ uentry coerceId(ctype p_c);
	25	extern /@observer@/ uentry coerceIterId(ctype p_c);
	26	extern /@observer@/ cstring LastIdentifier(void);
	27
	28	/* #ifndef NCGRAM2
	29	** # include "cgrammar_tokens.h"
	30	** #endif
	31	*/
	32
	33
	34
	35
	36
	37
	38
	39