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

/*
** Inserted at beginning of c files generated by bison
** REMEMBER:  Change bison.reset too.
*/

/*@-allmacros@*/
/*@+boolint@*/
/*@+charint@*/
/*@-macroparams@*/
/*@-macroundef@*/
/*@-unreachable@*/
/*@-macrospec@*/
/*@-varuse@*/
/*@+ignorequals@*/
/*@-macrostmt@*/
/*@-noeffect@*/
/*@-shadow@*/
/*@-exitarg@*/
/*@-macroredef@*/
/*@-uniondef@*/
/*@-compdef@*/
/*@-matchfields@*/
/*@-exportlocal@*/
/*@-evalorderuncon@*/
/*@-exportheader@*/
/*@-typeuse@*/
/*@-redecl@*/
/*@-redef@*/
/*@-noparams@*/
/*@-ansireserved@*/
/*@-fielduse@*/
/*@-ifblock@*/
/*@-elseifcomplete@*/
/*@-whileblock@*/
/*@-forblock@*/
/*@-branchstate@*/
/*@-readonlytrans@*/
/*@-namechecks@*/
/*@-usedef@*/
/*@-systemunrecog@*/
/*@-dependenttrans@*/
/*@-unqualifiedtrans@*/
/*@-nullassign@*/

/* < end of bison.head > */

typedef union 
{
  ltoken ltok;  /* a leaf is also an ltoken */
  qual typequal;
  unsigned int count;
  /*@only@*/ ltokenList ltokenList;
  /*@only@*/ abstDeclaratorNode abstDecl; 
  /*@only@*/ declaratorNode declare;
  /*@only@*/ declaratorNodeList declarelist;
  /*@only@*/ typeExpr typeexpr;
  /*@only@*/ arrayQualNode array;
  /*@only@*/ quantifierNode quantifier;
  /*@only@*/ quantifierNodeList quantifiers;
  /*@only@*/ varNode var;
  /*@only@*/ varNodeList vars;
  /*@only@*/ storeRefNode storeref;
  /*@only@*/ storeRefNodeList storereflist;
  /*@only@*/ termNode term;
  /*@only@*/ termNodeList termlist;
  /*@only@*/ programNode program; 
  /*@only@*/ stmtNode stmt;
  /*@only@*/ claimNode claim;
  /*@only@*/ typeNode type;
  /*@only@*/ iterNode iter;
  /*@only@*/ fcnNode fcn;
  /*@only@*/ fcnNodeList fcns;
  /*@only@*/ letDeclNode letdecl;
  /*@only@*/ letDeclNodeList letdecls;
  /*@only@*/ lclPredicateNode lclpredicate;
  /*@only@*/ modifyNode modify;
  /*@only@*/ paramNode param;
  /*@only@*/ paramNodeList paramlist;
  /*@only@*/ declaratorInvNodeList declaratorinvs;	
  /*@only@*/ declaratorInvNode declaratorinv;	
  /*@only@*/ abstBodyNode abstbody;
  /*@only@*/ abstractNode abstract;
  /*@only@*/ exposedNode exposed;
  /*    taggedUnionNode taggedunion; */
  /*@only@*/ globalList globals;
  /*@only@*/ constDeclarationNode constdeclaration;
  /*@only@*/ varDeclarationNode vardeclaration;
  /*@only@*/ varDeclarationNodeList vardeclarationlist;
  /*@only@*/ initDeclNodeList initdecls;
  /*@only@*/ initDeclNode initdecl;
  /*@only@*/ stDeclNodeList structdecls;
  /*@only@*/ stDeclNode structdecl;
  /*@only@*/ strOrUnionNode structorunion;
  /*@only@*/ enumSpecNode enumspec; 
  /*@only@*/ lclTypeSpecNode lcltypespec;
  /*@only@*/ typeNameNode typname;
  /*@only@*/ opFormNode opform;
  /*@only@*/ sigNode signature;
  /*@only@*/ nameNode name;
  /*@only@*/ typeNameNodeList namelist;
  /*@only@*/ replaceNode replace;	
  /*@only@*/ replaceNodeList replacelist;
  /*@only@*/ renamingNode renaming;
  /*@only@*/ traitRefNode traitref;
  /*@only@*/ traitRefNodeList traitreflist;
  /*@only@*/ importNode import;
  /*@only@*/ importNodeList importlist;
  /*@only@*/ interfaceNode iface;
  /*@only@*/ interfaceNodeList interfacelist; 
  /*@only@*/ CTypesNode ctypes;
} YYSTYPE;
#define	simpleOp	258
#define	PREFIX_OP	259
#define	POSTFIX_OP	260
#define	LLT_MULOP	261
#define	LLT_SEMI	262
#define	LLT_VERTICALBAR	263
#define	ITERATION_OP	264
#define	LLT_LPAR	265
#define	LLT_LBRACKET	266
#define	selectSym	267
#define	LLT_IF_THEN_ELSE	268
#define	logicalOp	269
#define	eqSepSym	270
#define	equationSym	271
#define	commentSym	272
#define	LLT_WHITESPACE	273
#define	LLT_EOL	274
#define	LLT_TYPEDEF_NAME	275
#define	quantifierSym	276
#define	openSym	277
#define	closeSym	278
#define	sepSym	279
#define	simpleId	280
#define	mapSym	281
#define	markerSym	282
#define	preSym	283
#define	postSym	284
#define	anySym	285
#define	LLT_COLON	286
#define	LLT_COMMA	287
#define	LLT_EQUALS	288
#define	LLT_LBRACE	289
#define	LLT_RBRACE	290
#define	LLT_RBRACKET	291
#define	LLT_RPAR	292
#define	LLT_QUOTE	293
#define	eqOp	294
#define	LLT_CCHAR	295
#define	LLT_CFLOAT	296
#define	LLT_CINTEGER	297
#define	LLT_LCSTRING	298
#define	LLT_ALL	299
#define	LLT_ANYTHING	300
#define	LLT_BE	301
#define	LLT_BODY	302
#define	LLT_CLAIMS	303
#define	LLT_CHECKS	304
#define	LLT_CONSTANT	305
#define	LLT_ELSE	306
#define	LLT_ENSURES	307
#define	LLT_FOR	308
#define	LLT_FRESH	309
#define	LLT_IF	310
#define	LLT_IMMUTABLE	311
#define	LLT_IMPORTS	312
#define	LLT_CONSTRAINT	313
#define	LLT_ISSUB	314
#define	LLT_LET	315
#define	LLT_MODIFIES	316
#define	LLT_MUTABLE	317
#define	LLT_NOTHING	318
#define	LLT_INTERNAL	319
#define	LLT_FILESYS	320
#define	LLT_OBJ	321
#define	LLT_OUT	322
#define	LLT_SEF	323
#define	LLT_ONLY	324
#define	LLT_PARTIAL	325
#define	LLT_OWNED	326
#define	LLT_DEPENDENT	327
#define	LLT_KEEP	328
#define	LLT_KEPT	329
#define	LLT_TEMP	330
#define	LLT_SHARED	331
#define	LLT_UNIQUE	332
#define	LLT_UNUSED	333
#define	LLT_EXITS	334
#define	LLT_MAYEXIT	335
#define	LLT_NEVEREXIT	336
#define	LLT_TRUEEXIT	337
#define	LLT_FALSEEXIT	338
#define	LLT_UNDEF	339
#define	LLT_KILLED	340
#define	LLT_CHECKMOD	341
#define	LLT_CHECKED	342
#define	LLT_UNCHECKED	343
#define	LLT_CHECKEDSTRICT	344
#define	LLT_TRUENULL	345
#define	LLT_FALSENULL	346
#define	LLT_LNULL	347
#define	LLT_LNOTNULL	348
#define	LLT_RETURNED	349
#define	LLT_OBSERVER	350
#define	LLT_EXPOSED	351
#define	LLT_REFCOUNTED	352
#define	LLT_REFS	353
#define	LLT_RELNULL	354
#define	LLT_RELDEF	355
#define	LLT_KILLREF	356
#define	LLT_NULLTERMINATED	357
#define	LLT_TEMPREF	358
#define	LLT_NEWREF	359
#define	LLT_PRIVATE	360
#define	LLT_REQUIRES	361
#define	LLT_RESULT	362
#define	LLT_SIZEOF	363
#define	LLT_SPEC	364
#define	LLT_TAGGEDUNION	365
#define	LLT_THEN	366
#define	LLT_TYPE	367
#define	LLT_TYPEDEF	368
#define	LLT_UNCHANGED	369
#define	LLT_USES	370
#define	LLT_CHAR	371
#define	LLT_CONST	372
#define	LLT_DOUBLE	373
#define	LLT_ENUM	374
#define	LLT_FLOAT	375
#define	LLT_INT	376
#define	LLT_ITER	377
#define	LLT_YIELD	378
#define	LLT_LONG	379
#define	LLT_SHORT	380
#define	LLT_SIGNED	381
#define	LLT_UNKNOWN	382
#define	LLT_STRUCT	383
#define	LLT_TELIPSIS	384
#define	LLT_UNION	385
#define	LLT_UNSIGNED	386
#define	LLT_VOID	387
#define	LLT_VOLATILE	388
#define	LLT_PRINTFLIKE	389
#define	LLT_SCANFLIKE	390
#define	LLT_MESSAGELIKE	391


extern YYSTYPE yllval;
Commit	Line	Data
885824d3	1	/*
	2	** Inserted at beginning of c files generated by bison
	3	** REMEMBER: Change bison.reset too.
	4	*/
	5
	6	/@-allmacros@/
	7	/@+boolint@/
	8	/@+charint@/
	9	/@-macroparams@/
	10	/@-macroundef@/
	11	/@-unreachable@/
	12	/@-macrospec@/
	13	/@-varuse@/
	14	/@+ignorequals@/
	15	/@-macrostmt@/
	16	/@-noeffect@/
	17	/@-shadow@/
	18	/@-exitarg@/
	19	/@-macroredef@/
	20	/@-uniondef@/
	21	/@-compdef@/
	22	/@-matchfields@/
	23	/@-exportlocal@/
	24	/@-evalorderuncon@/
	25	/@-exportheader@/
	26	/@-typeuse@/
	27	/@-redecl@/
	28	/@-redef@/
	29	/@-noparams@/
	30	/@-ansireserved@/
	31	/@-fielduse@/
	32	/@-ifblock@/
	33	/@-elseifcomplete@/
	34	/@-whileblock@/
	35	/@-forblock@/
	36	/@-branchstate@/
	37	/@-readonlytrans@/
	38	/@-namechecks@/
	39	/@-usedef@/
	40	/@-systemunrecog@/
	41	/@-dependenttrans@/
	42	/@-unqualifiedtrans@/
	43	/@-nullassign@/
	44
	45	/* < end of bison.head > */
	46
	47	typedef union
	48	{
	49	ltoken ltok; /* a leaf is also an ltoken */
	50	qual typequal;
	51	unsigned int count;
	52	/@only@/ ltokenList ltokenList;
	53	/@only@/ abstDeclaratorNode abstDecl;
	54	/@only@/ declaratorNode declare;
	55	/@only@/ declaratorNodeList declarelist;
	56	/@only@/ typeExpr typeexpr;
	57	/@only@/ arrayQualNode array;
	58	/@only@/ quantifierNode quantifier;
	59	/@only@/ quantifierNodeList quantifiers;
	60	/@only@/ varNode var;
	61	/@only@/ varNodeList vars;
	62	/@only@/ storeRefNode storeref;
	63	/@only@/ storeRefNodeList storereflist;
	64	/@only@/ termNode term;
65	/@only@/ termNodeList termlist;
66	/@only@/ programNode program;
67	/@only@/ stmtNode stmt;
68	/@only@/ claimNode claim;
69	/@only@/ typeNode type;
70	/@only@/ iterNode iter;
71	/@only@/ fcnNode fcn;
72	/@only@/ fcnNodeList fcns;
73	/@only@/ letDeclNode letdecl;
74	/@only@/ letDeclNodeList letdecls;
75	/@only@/ lclPredicateNode lclpredicate;
76	/@only@/ modifyNode modify;
77	/@only@/ paramNode param;
78	/@only@/ paramNodeList paramlist;
79	/@only@/ declaratorInvNodeList declaratorinvs;
80	/@only@/ declaratorInvNode declaratorinv;
81	/@only@/ abstBodyNode abstbody;
82	/@only@/ abstractNode abstract;
83	/@only@/ exposedNode exposed;
84	/* taggedUnionNode taggedunion; */
85	/@only@/ globalList globals;
86	/@only@/ constDeclarationNode constdeclaration;
87	/@only@/ varDeclarationNode vardeclaration;
88	/@only@/ varDeclarationNodeList vardeclarationlist;
89	/@only@/ initDeclNodeList initdecls;
90	/@only@/ initDeclNode initdecl;
91	/@only@/ stDeclNodeList structdecls;
92	/@only@/ stDeclNode structdecl;
93	/@only@/ strOrUnionNode structorunion;
94	/@only@/ enumSpecNode enumspec;
95	/@only@/ lclTypeSpecNode lcltypespec;
96	/@only@/ typeNameNode typname;
97	/@only@/ opFormNode opform;
98	/@only@/ sigNode signature;
99	/@only@/ nameNode name;
100	/@only@/ typeNameNodeList namelist;
101	/@only@/ replaceNode replace;
102	/@only@/ replaceNodeList replacelist;
103	/@only@/ renamingNode renaming;
104	/@only@/ traitRefNode traitref;
105	/@only@/ traitRefNodeList traitreflist;
106	/@only@/ importNode import;
107	/@only@/ importNodeList importlist;
108	/@only@/ interfaceNode iface;
109	/@only@/ interfaceNodeList interfacelist;
110	/@only@/ CTypesNode ctypes;
111	} YYSTYPE;
dc92450f	112	#define simpleOp 258
	113	#define PREFIX_OP 259
	114	#define POSTFIX_OP 260
	115	#define LLT_MULOP 261
	116	#define LLT_SEMI 262
	117	#define LLT_VERTICALBAR 263
	118	#define ITERATION_OP 264
	119	#define LLT_LPAR 265
	120	#define LLT_LBRACKET 266
	121	#define selectSym 267
	122	#define LLT_IF_THEN_ELSE 268
	123	#define logicalOp 269
	124	#define eqSepSym 270
	125	#define equationSym 271
	126	#define commentSym 272
	127	#define LLT_WHITESPACE 273
	128	#define LLT_EOL 274
	129	#define LLT_TYPEDEF_NAME 275
	130	#define quantifierSym 276
	131	#define openSym 277
	132	#define closeSym 278
	133	#define sepSym 279
	134	#define simpleId 280
	135	#define mapSym 281
	136	#define markerSym 282
	137	#define preSym 283
	138	#define postSym 284
	139	#define anySym 285
	140	#define LLT_COLON 286
	141	#define LLT_COMMA 287
	142	#define LLT_EQUALS 288
	143	#define LLT_LBRACE 289
	144	#define LLT_RBRACE 290
	145	#define LLT_RBRACKET 291
	146	#define LLT_RPAR 292
	147	#define LLT_QUOTE 293
	148	#define eqOp 294
	149	#define LLT_CCHAR 295
	150	#define LLT_CFLOAT 296
	151	#define LLT_CINTEGER 297
	152	#define LLT_LCSTRING 298
	153	#define LLT_ALL 299
	154	#define LLT_ANYTHING 300
	155	#define LLT_BE 301
	156	#define LLT_BODY 302
	157	#define LLT_CLAIMS 303
	158	#define LLT_CHECKS 304
	159	#define LLT_CONSTANT 305
	160	#define LLT_ELSE 306
	161	#define LLT_ENSURES 307
	162	#define LLT_FOR 308
	163	#define LLT_FRESH 309
	164	#define LLT_IF 310
	165	#define LLT_IMMUTABLE 311
	166	#define LLT_IMPORTS 312
	167	#define LLT_CONSTRAINT 313
	168	#define LLT_ISSUB 314
	169	#define LLT_LET 315
	170	#define LLT_MODIFIES 316
	171	#define LLT_MUTABLE 317
	172	#define LLT_NOTHING 318
	173	#define LLT_INTERNAL 319
	174	#define LLT_FILESYS 320
	175	#define LLT_OBJ 321
176	#define LLT_OUT 322
177	#define LLT_SEF 323
178	#define LLT_ONLY 324
179	#define LLT_PARTIAL 325
180	#define LLT_OWNED 326
181	#define LLT_DEPENDENT 327
182	#define LLT_KEEP 328
183	#define LLT_KEPT 329
184	#define LLT_TEMP 330
185	#define LLT_SHARED 331
186	#define LLT_UNIQUE 332
187	#define LLT_UNUSED 333
188	#define LLT_EXITS 334
189	#define LLT_MAYEXIT 335
190	#define LLT_NEVEREXIT 336
191	#define LLT_TRUEEXIT 337
192	#define LLT_FALSEEXIT 338
193	#define LLT_UNDEF 339
194	#define LLT_KILLED 340
195	#define LLT_CHECKMOD 341
196	#define LLT_CHECKED 342
197	#define LLT_UNCHECKED 343
198	#define LLT_CHECKEDSTRICT 344
199	#define LLT_TRUENULL 345
200	#define LLT_FALSENULL 346
201	#define LLT_LNULL 347
202	#define LLT_LNOTNULL 348
203	#define LLT_RETURNED 349
204	#define LLT_OBSERVER 350
205	#define LLT_EXPOSED 351
206	#define LLT_REFCOUNTED 352
207	#define LLT_REFS 353
208	#define LLT_RELNULL 354
209	#define LLT_RELDEF 355
210	#define LLT_KILLREF 356
211	#define LLT_NULLTERMINATED 357
212	#define LLT_TEMPREF 358
213	#define LLT_NEWREF 359
214	#define LLT_PRIVATE 360
215	#define LLT_REQUIRES 361
216	#define LLT_RESULT 362
217	#define LLT_SIZEOF 363
218	#define LLT_SPEC 364
219	#define LLT_TAGGEDUNION 365
220	#define LLT_THEN 366
221	#define LLT_TYPE 367
222	#define LLT_TYPEDEF 368
223	#define LLT_UNCHANGED 369
224	#define LLT_USES 370
225	#define LLT_CHAR 371
226	#define LLT_CONST 372
227	#define LLT_DOUBLE 373
228	#define LLT_ENUM 374
229	#define LLT_FLOAT 375
230	#define LLT_INT 376
231	#define LLT_ITER 377
232	#define LLT_YIELD 378
233	#define LLT_LONG 379
234	#define LLT_SHORT 380
235	#define LLT_SIGNED 381
236	#define LLT_UNKNOWN 382
237	#define LLT_STRUCT 383
238	#define LLT_TELIPSIS 384
239	#define LLT_UNION 385
240	#define LLT_UNSIGNED 386
241	#define LLT_VOID 387
242	#define LLT_VOLATILE 388
243	#define LLT_PRINTFLIKE 389
244	#define LLT_SCANFLIKE 390
245	#define LLT_MESSAGELIKE 391
885824d3	246
	247
	248	extern YYSTYPE yllval;