[splint.git] / src / Headers / llgrammar_gen2.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@*/
/*@-nullpass@*/
/*@-nullptrarith*/
/*@-usereleased@*/
/*@-declundef@*/

/*drl added 11/27/2001*/
/*@-bounds@*/

/*drl added 12/11/2002*/
/*@-type@*/

/* < end of bison.head > */

#ifndef BISON_LLGRAMMAR_TAB_H
# define BISON_LLGRAMMAR_TAB_H

#ifndef YYSTYPE
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;
  /*@only@*/ pointers pointers;
  /*    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;
  /*@-redef@*/
} yystype;
# define YYSTYPE yystype
# define YYSTYPE_IS_TRIVIAL 1
#endif
# define	simpleOp	257
# define	PREFIX_OP	258
# define	POSTFIX_OP	259
# define	LLT_MULOP	260
# define	LLT_SEMI	261
# define	LLT_VERTICALBAR	262
# define	ITERATION_OP	263
# define	LLT_LPAR	264
# define	LLT_LBRACKET	265
# define	selectSym	266
# define	LLT_IF_THEN_ELSE	267
# define	logicalOp	268
# define	eqSepSym	269
# define	equationSym	270
# define	commentSym	271
# define	LLT_WHITESPACE	272
# define	LLT_EOL	273
# define	LLT_TYPEDEF_NAME	274
# define	quantifierSym	275
# define	openSym	276
# define	closeSym	277
# define	sepSym	278
# define	simpleId	279
# define	mapSym	280
# define	markerSym	281
# define	preSym	282
# define	postSym	283
# define	anySym	284
# define	LLT_COLON	285
# define	LLT_COMMA	286
# define	LLT_EQUALS	287
# define	LLT_LBRACE	288
# define	LLT_RBRACE	289
# define	LLT_RBRACKET	290
# define	LLT_RPAR	291
# define	LLT_QUOTE	292
# define	eqOp	293
# define	LLT_CCHAR	294
# define	LLT_CFLOAT	295
# define	LLT_CINTEGER	296
# define	LLT_LCSTRING	297
# define	LLT_ALL	298
# define	LLT_ANYTHING	299
# define	LLT_BE	300
# define	LLT_BODY	301
# define	LLT_CLAIMS	302
# define	LLT_CHECKS	303
# define	LLT_CONSTANT	304
# define	LLT_ELSE	305
# define	LLT_ENSURES	306
# define	LLT_FOR	307
# define	LLT_FRESH	308
# define	LLT_IF	309
# define	LLT_IMMUTABLE	310
# define	LLT_IMPORTS	311
# define	LLT_CONSTRAINT	312
# define	LLT_ISSUB	313
# define	LLT_LET	314
# define	LLT_MODIFIES	315
# define	LLT_MUTABLE	316
# define	LLT_NOTHING	317
# define	LLT_INTERNAL	318
# define	LLT_FILESYS	319
# define	LLT_OBJ	320
# define	LLT_OUT	321
# define	LLT_SEF	322
# define	LLT_ONLY	323
# define	LLT_PARTIAL	324
# define	LLT_OWNED	325
# define	LLT_DEPENDENT	326
# define	LLT_KEEP	327
# define	LLT_KEPT	328
# define	LLT_TEMP	329
# define	LLT_SHARED	330
# define	LLT_UNIQUE	331
# define	LLT_UNUSED	332
# define	LLT_EXITS	333
# define	LLT_MAYEXIT	334
# define	LLT_NEVEREXIT	335
# define	LLT_TRUEEXIT	336
# define	LLT_FALSEEXIT	337
# define	LLT_UNDEF	338
# define	LLT_KILLED	339
# define	LLT_CHECKMOD	340
# define	LLT_CHECKED	341
# define	LLT_UNCHECKED	342
# define	LLT_CHECKEDSTRICT	343
# define	LLT_TRUENULL	344
# define	LLT_FALSENULL	345
# define	LLT_LNULL	346
# define	LLT_LNOTNULL	347
# define	LLT_RETURNED	348
# define	LLT_OBSERVER	349
# define	LLT_EXPOSED	350
# define	LLT_REFCOUNTED	351
# define	LLT_REFS	352
# define	LLT_RELNULL	353
# define	LLT_RELDEF	354
# define	LLT_KILLREF	355
# define	LLT_NULLTERMINATED	356
# define	LLT_TEMPREF	357
# define	LLT_NEWREF	358
# define	LLT_PRIVATE	359
# define	LLT_REQUIRES	360
# define	LLT_RESULT	361
# define	LLT_SIZEOF	362
# define	LLT_SPEC	363
# define	LLT_TAGGEDUNION	364
# define	LLT_THEN	365
# define	LLT_TYPE	366
# define	LLT_TYPEDEF	367
# define	LLT_UNCHANGED	368
# define	LLT_USES	369
# define	LLT_CHAR	370
# define	LLT_CONST	371
# define	LLT_DOUBLE	372
# define	LLT_ENUM	373
# define	LLT_FLOAT	374
# define	LLT_INT	375
# define	LLT_ITER	376
# define	LLT_YIELD	377
# define	LLT_LONG	378
# define	LLT_SHORT	379
# define	LLT_SIGNED	380
# define	LLT_UNKNOWN	381
# define	LLT_STRUCT	382
# define	LLT_TELIPSIS	383
# define	LLT_UNION	384
# define	LLT_UNSIGNED	385
# define	LLT_VOID	386
# define	LLT_VOLATILE	387
# define	LLT_PRINTFLIKE	388
# define	LLT_SCANFLIKE	389
# define	LLT_MESSAGELIKE	390


extern YYSTYPE yllval;

#endif /* not BISON_LLGRAMMAR_TAB_H */
/*
** Resets all flags in bison.head
*/


/*@=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@*/
/*@=declundef@*/


/*drl added 11/27/2001*/
/*@=bounds@*/

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