]> andersk Git - splint.git/blob - src/Headers/sgrammar.h
Initial revision
[splint.git] / src / Headers / sgrammar.h
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
This page took 0.090041 seconds and 5 git commands to generate.