[splint.git] / src / Headers / cgrammar_tokens.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_CGRAMMAR_TAB_H
# define BISON_CGRAMMAR_TAB_H

#ifndef cgrammar_YYSTYPE
typedef union
{
  lltok tok;
  int count;
  qual typequal;
  qualList tquallist;
  ctype ctyp;
  /*@dependent@*/ sRef sr;
  /*@only@*/ sRef osr;

  /*@only@*/ functionClauseList funcclauselist;
  /*@only@*/ functionClause funcclause;  
  /*@only@*/ flagSpec flagspec;
  /*@only@*/ globalsClause globsclause;
  /*@only@*/ modifiesClause modsclause;
  /*@only@*/ warnClause warnclause;
  /*@only@*/ stateClause stateclause;
  /*@only@*/ pointers pointers;
  /*@only@*/ functionConstraint fcnconstraint; 

  /*@only@*/ metaStateConstraint msconstraint;
  /*@only@*/ metaStateSpecifier msspec;
  /*@only@*/ metaStateExpression msexpr;
  /*@observer@*/ metaStateInfo msinfo;

  /*@only@*/ sRefList srlist;
  /*@only@*/ globSet globset;
  /*@only@*/ qtype qtyp;
  /*@only@*/ cstring cname;
  /*@observer@*/ annotationInfo annotation;
  /*@only@*/ idDecl ntyp;
  /*@only@*/ idDeclList ntyplist;
  /*@only@*/ uentryList flist;
  /*@owned@*/ uentryList entrylist;
  /*@observer@*/ /*@dependent@*/ uentry entry;
  /*@only@*/ uentry oentry;
  /*@only@*/ exprNode expr;
  /*@only@*/ enumNameList enumnamelist;
  /*@only@*/ exprNodeList exprlist;
  /*@only@*/ sRefSet srset; 
  /*@only@*/ cstringList cstringlist;

  /*drl
    added 1/19/2001
  */
  constraint con;
  constraintList conL;
  constraintExpr conE;
  /* drl */  
} yystype;
# define cgrammar_YYSTYPE yystype
# define cgrammar_YYSTYPE_IS_TRIVIAL 1
#endif
# define	BADTOK	257
# define	SKIPTOK	258
# define	CTOK_ELIPSIS	259
# define	CASE	260
# define	DEFAULT	261
# define	CIF	262
# define	CELSE	263
# define	SWITCH	264
# define	WHILE	265
# define	DO	266
# define	CFOR	267
# define	GOTO	268
# define	CONTINUE	269
# define	BREAK	270
# define	RETURN	271
# define	TSEMI	272
# define	TLBRACE	273
# define	TRBRACE	274
# define	TCOMMA	275
# define	TCOLON	276
# define	TASSIGN	277
# define	TLPAREN	278
# define	TRPAREN	279
# define	TLSQBR	280
# define	TRSQBR	281
# define	TDOT	282
# define	TAMPERSAND	283
# define	TEXCL	284
# define	TTILDE	285
# define	TMINUS	286
# define	TPLUS	287
# define	TMULT	288
# define	TDIV	289
# define	TPERCENT	290
# define	TLT	291
# define	TGT	292
# define	TCIRC	293
# define	TBAR	294
# define	TQUEST	295
# define	CSIZEOF	296
# define	CALIGNOF	297
# define	CTYPEOF	298
# define	ARROW_OP	299
# define	CTYPEDEF	300
# define	COFFSETOF	301
# define	INC_OP	302
# define	DEC_OP	303
# define	LEFT_OP	304
# define	RIGHT_OP	305
# define	LE_OP	306
# define	GE_OP	307
# define	EQ_OP	308
# define	NE_OP	309
# define	AND_OP	310
# define	OR_OP	311
# define	MUL_ASSIGN	312
# define	DIV_ASSIGN	313
# define	MOD_ASSIGN	314
# define	ADD_ASSIGN	315
# define	SUB_ASSIGN	316
# define	LEFT_ASSIGN	317
# define	RIGHT_ASSIGN	318
# define	AND_ASSIGN	319
# define	XOR_ASSIGN	320
# define	OR_ASSIGN	321
# define	CSTRUCT	322
# define	CUNION	323
# define	CENUM	324
# define	VA_ARG	325
# define	VA_DCL	326
# define	QWARN	327
# define	QGLOBALS	328
# define	QMODIFIES	329
# define	QNOMODS	330
# define	QCONSTANT	331
# define	QFUNCTION	332
# define	QITER	333
# define	QDEFINES	334
# define	QUSES	335
# define	QALLOCATES	336
# define	QSETS	337
# define	QRELEASES	338
# define	QPRECLAUSE	339
# define	QPOSTCLAUSE	340
# define	QINVARIANT	341
# define	QALT	342
# define	QUNDEF	343
# define	QKILLED	344
# define	QENDMACRO	345
# define	LLMACRO	346
# define	LLMACROITER	347
# define	LLMACROEND	348
# define	TENDMACRO	349
# define	QDREVEALSTATE	350
# define	QSWITCHBREAK	351
# define	QLOOPBREAK	352
# define	QINNERBREAK	353
# define	QSAFEBREAK	354
# define	QINNERCONTINUE	355
# define	QFALLTHROUGH	356
# define	QLINTNOTREACHED	357
# define	QLINTFALLTHROUGH	358
# define	QLINTFALLTHRU	359
# define	QARGSUSED	360
# define	QPRINTFLIKE	361
# define	QLINTPRINTFLIKE	362
# define	QSCANFLIKE	363
# define	QMESSAGELIKE	364
# define	QNOTREACHED	365
# define	QCONST	366
# define	QRESTRICT	367
# define	QVOLATILE	368
# define	QINLINE	369
# define	QEXTENSION	370
# define	QEXTERN	371
# define	QSTATIC	372
# define	QAUTO	373
# define	QREGISTER	374
# define	QOUT	375
# define	QIN	376
# define	QYIELD	377
# define	QONLY	378
# define	QTEMP	379
# define	QSHARED	380
# define	QREF	381
# define	QUNIQUE	382
# define	QCHECKED	383
# define	QUNCHECKED	384
# define	QCHECKEDSTRICT	385
# define	QCHECKMOD	386
# define	QKEEP	387
# define	QKEPT	388
# define	QPARTIAL	389
# define	QSPECIAL	390
# define	QOWNED	391
# define	QDEPENDENT	392
# define	QRETURNED	393
# define	QEXPOSED	394
# define	QNULL	395
# define	QOBSERVER	396
# define	QISNULL	397
# define	QEXITS	398
# define	QMAYEXIT	399
# define	QNEVEREXIT	400
# define	QTRUEEXIT	401
# define	QFALSEEXIT	402
# define	QLONG	403
# define	QSIGNED	404
# define	QUNSIGNED	405
# define	QSHORT	406
# define	QUNUSED	407
# define	QSEF	408
# define	QNOTNULL	409
# define	QRELNULL	410
# define	QABSTRACT	411
# define	QNUMABSTRACT	412
# define	QCONCRETE	413
# define	QMUTABLE	414
# define	QIMMUTABLE	415
# define	QTRUENULL	416
# define	QFALSENULL	417
# define	QEXTERNAL	418
# define	QREFCOUNTED	419
# define	QREFS	420
# define	QNEWREF	421
# define	QTEMPREF	422
# define	QKILLREF	423
# define	QRELDEF	424
# define	CGCHAR	425
# define	CBOOL	426
# define	CINT	427
# define	CGFLOAT	428
# define	CDOUBLE	429
# define	CVOID	430
# define	QANYTYPE	431
# define	QINTEGRALTYPE	432
# define	QUNSIGNEDINTEGRALTYPE	433
# define	QSIGNEDINTEGRALTYPE	434
# define	QNULLTERMINATED	435
# define	QSETBUFFERSIZE	436
# define	QSETSTRINGLENGTH	437
# define	QMAXSET	438
# define	QMAXREAD	439
# define	QTESTINRANGE	440
# define	TCAND	441
# define	IDENTIFIER	442
# define	NEW_IDENTIFIER	443
# define	TYPE_NAME_OR_ID	444
# define	CANNOTATION	445
# define	CCONSTANT	446
# define	ITER_NAME	447
# define	ITER_ENDNAME	448
# define	TYPE_NAME	449
# define	METASTATE_NAME	450


extern cgrammar_YYSTYPE yylval;

#endif /* not BISON_CGRAMMAR_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
d317ee89	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@/
1d91681f	51
	52	/drl added 12/11/2002/
	53	/@-type@/
	54
d317ee89	55	/* < end of bison.head > */
d317ee89	56
368f75ae	57	#ifndef BISON_CGRAMMAR_TAB_H
368f75ae	58	# define BISON_CGRAMMAR_TAB_H
d0b80d80	59
368f75ae	60	#ifndef cgrammar_YYSTYPE
	61	typedef union
	62	{
d0b80d80	63	lltok tok;
	64	int count;
	65	qual typequal;
	66	qualList tquallist;
	67	ctype ctyp;
	68	/@dependent@/ sRef sr;
	69	/@only@/ sRef osr;
	70
	71	/@only@/ functionClauseList funcclauselist;
	72	/@only@/ functionClause funcclause;
	73	/@only@/ flagSpec flagspec;
	74	/@only@/ globalsClause globsclause;
	75	/@only@/ modifiesClause modsclause;
	76	/@only@/ warnClause warnclause;
	77	/@only@/ stateClause stateclause;
	78	/@only@/ pointers pointers;
	79	/@only@/ functionConstraint fcnconstraint;
	80
	81	/@only@/ metaStateConstraint msconstraint;
	82	/@only@/ metaStateSpecifier msspec;
	83	/@only@/ metaStateExpression msexpr;
	84	/@observer@/ metaStateInfo msinfo;
	85
	86	/@only@/ sRefList srlist;
	87	/@only@/ globSet globset;
	88	/@only@/ qtype qtyp;
	89	/@only@/ cstring cname;
	90	/@observer@/ annotationInfo annotation;
	91	/@only@/ idDecl ntyp;
	92	/@only@/ idDeclList ntyplist;
	93	/@only@/ uentryList flist;
	94	/@owned@/ uentryList entrylist;
	95	/@observer@/ /@dependent@/ uentry entry;
	96	/@only@/ uentry oentry;
	97	/@only@/ exprNode expr;
	98	/@only@/ enumNameList enumnamelist;
	99	/@only@/ exprNodeList exprlist;
	100	/@only@/ sRefSet srset;
	101	/@only@/ cstringList cstringlist;
	102
	103	/*drl
	104	added 1/19/2001
	105	*/
	106	constraint con;
	107	constraintList conL;
	108	constraintExpr conE;
	109	/* drl */
368f75ae	110	} yystype;
368f75ae	111	# define cgrammar_YYSTYPE yystype
d0b80d80	112	# define cgrammar_YYSTYPE_IS_TRIVIAL 1
d0b80d80	113	#endif
368f75ae	114	# define BADTOK 257
	115	# define SKIPTOK 258
	116	# define CTOK_ELIPSIS 259
	117	# define CASE 260
	118	# define DEFAULT 261
	119	# define CIF 262
	120	# define CELSE 263
	121	# define SWITCH 264
	122	# define WHILE 265
	123	# define DO 266
	124	# define CFOR 267
	125	# define GOTO 268
	126	# define CONTINUE 269
	127	# define BREAK 270
	128	# define RETURN 271
	129	# define TSEMI 272
	130	# define TLBRACE 273
	131	# define TRBRACE 274
	132	# define TCOMMA 275
	133	# define TCOLON 276
	134	# define TASSIGN 277
	135	# define TLPAREN 278
	136	# define TRPAREN 279
	137	# define TLSQBR 280
	138	# define TRSQBR 281
	139	# define TDOT 282
	140	# define TAMPERSAND 283
	141	# define TEXCL 284
	142	# define TTILDE 285
	143	# define TMINUS 286
	144	# define TPLUS 287
	145	# define TMULT 288
	146	# define TDIV 289
	147	# define TPERCENT 290
	148	# define TLT 291
	149	# define TGT 292
	150	# define TCIRC 293
	151	# define TBAR 294
	152	# define TQUEST 295
	153	# define CSIZEOF 296
	154	# define CALIGNOF 297
	155	# define CTYPEOF 298
	156	# define ARROW_OP 299
	157	# define CTYPEDEF 300
	158	# define COFFSETOF 301
	159	# define INC_OP 302
	160	# define DEC_OP 303
	161	# define LEFT_OP 304
	162	# define RIGHT_OP 305
	163	# define LE_OP 306
	164	# define GE_OP 307
	165	# define EQ_OP 308
	166	# define NE_OP 309
	167	# define AND_OP 310
	168	# define OR_OP 311
	169	# define MUL_ASSIGN 312
	170	# define DIV_ASSIGN 313
	171	# define MOD_ASSIGN 314
	172	# define ADD_ASSIGN 315
	173	# define SUB_ASSIGN 316
	174	# define LEFT_ASSIGN 317
	175	# define RIGHT_ASSIGN 318
	176	# define AND_ASSIGN 319
	177	# define XOR_ASSIGN 320
178	# define OR_ASSIGN 321
179	# define CSTRUCT 322
180	# define CUNION 323
181	# define CENUM 324
182	# define VA_ARG 325
183	# define VA_DCL 326
184	# define QWARN 327
185	# define QGLOBALS 328
186	# define QMODIFIES 329
187	# define QNOMODS 330
188	# define QCONSTANT 331
189	# define QFUNCTION 332
190	# define QITER 333
191	# define QDEFINES 334
192	# define QUSES 335
193	# define QALLOCATES 336
194	# define QSETS 337
195	# define QRELEASES 338
196	# define QPRECLAUSE 339
197	# define QPOSTCLAUSE 340
198	# define QINVARIANT 341
199	# define QALT 342
200	# define QUNDEF 343
201	# define QKILLED 344
202	# define QENDMACRO 345
203	# define LLMACRO 346
204	# define LLMACROITER 347
205	# define LLMACROEND 348
206	# define TENDMACRO 349
207	# define QDREVEALSTATE 350
208	# define QSWITCHBREAK 351
209	# define QLOOPBREAK 352
210	# define QINNERBREAK 353
211	# define QSAFEBREAK 354
212	# define QINNERCONTINUE 355
213	# define QFALLTHROUGH 356
214	# define QLINTNOTREACHED 357
215	# define QLINTFALLTHROUGH 358
216	# define QLINTFALLTHRU 359
217	# define QARGSUSED 360
218	# define QPRINTFLIKE 361
219	# define QLINTPRINTFLIKE 362
220	# define QSCANFLIKE 363
221	# define QMESSAGELIKE 364
222	# define QNOTREACHED 365
223	# define QCONST 366
224	# define QRESTRICT 367
225	# define QVOLATILE 368
226	# define QINLINE 369
227	# define QEXTENSION 370
228	# define QEXTERN 371
229	# define QSTATIC 372
230	# define QAUTO 373
231	# define QREGISTER 374
232	# define QOUT 375
233	# define QIN 376
234	# define QYIELD 377
235	# define QONLY 378
236	# define QTEMP 379
237	# define QSHARED 380
238	# define QREF 381
239	# define QUNIQUE 382
240	# define QCHECKED 383
241	# define QUNCHECKED 384
242	# define QCHECKEDSTRICT 385
243	# define QCHECKMOD 386
244	# define QKEEP 387
245	# define QKEPT 388
246	# define QPARTIAL 389
247	# define QSPECIAL 390
248	# define QOWNED 391
249	# define QDEPENDENT 392
250	# define QRETURNED 393
251	# define QEXPOSED 394
252	# define QNULL 395
253	# define QOBSERVER 396
254	# define QISNULL 397
255	# define QEXITS 398
256	# define QMAYEXIT 399
257	# define QNEVEREXIT 400
258	# define QTRUEEXIT 401
259	# define QFALSEEXIT 402
260	# define QLONG 403
261	# define QSIGNED 404
262	# define QUNSIGNED 405
263	# define QSHORT 406
264	# define QUNUSED 407
265	# define QSEF 408
266	# define QNOTNULL 409
267	# define QRELNULL 410
268	# define QABSTRACT 411
269	# define QNUMABSTRACT 412
270	# define QCONCRETE 413
271	# define QMUTABLE 414
272	# define QIMMUTABLE 415
273	# define QTRUENULL 416
274	# define QFALSENULL 417
275	# define QEXTERNAL 418
276	# define QREFCOUNTED 419
277	# define QREFS 420
278	# define QNEWREF 421
279	# define QTEMPREF 422
280	# define QKILLREF 423
281	# define QRELDEF 424
282	# define CGCHAR 425
283	# define CBOOL 426
284	# define CINT 427
285	# define CGFLOAT 428
286	# define CDOUBLE 429
287	# define CVOID 430
288	# define QANYTYPE 431
289	# define QINTEGRALTYPE 432
290	# define QUNSIGNEDINTEGRALTYPE 433
291	# define QSIGNEDINTEGRALTYPE 434
292	# define QNULLTERMINATED 435
293	# define QSETBUFFERSIZE 436
294	# define QSETSTRINGLENGTH 437
295	# define QMAXSET 438
296	# define QMAXREAD 439
297	# define QTESTINRANGE 440
298	# define TCAND 441
299	# define IDENTIFIER 442
300	# define NEW_IDENTIFIER 443
301	# define TYPE_NAME_OR_ID 444
302	# define CANNOTATION 445
303	# define CCONSTANT 446
304	# define ITER_NAME 447
305	# define ITER_ENDNAME 448
306	# define TYPE_NAME 449
307	# define METASTATE_NAME 450
d0b80d80	308
8f58355a	309
368f75ae	310	extern cgrammar_YYSTYPE yylval;
8f58355a	311
368f75ae	312	#endif /* not BISON_CGRAMMAR_TAB_H */
d317ee89	313	/*
	314	** Resets all flags in bison.head
	315	*/
	316
	317
	318	/@=allmacros@/
	319	/@=boolint@/
	320	/@=charint@/
	321	/@=macroparams@/
	322	/@=macroundef@/
	323	/@=unreachable@/
	324	/@=macrospec@/
	325	/@=varuse@/
	326	/@=ignorequals@/
	327	/@=macrostmt@/
	328	/@=noeffect@/
	329	/@=shadow@/
	330	/@=exitarg@/
	331	/@=macroredef@/
	332	/@=uniondef@/
	333	/@=compdef@/
	334	/@=matchfields@/
	335	/@=exportlocal@/
	336	/@=evalorderuncon@/
	337	/@=exportheader@/
	338	/@=typeuse@/
	339	/@=redecl@/
	340	/@=redef@/
	341	/@=noparams@/
	342	/@=ansireserved@/
	343	/@=fielduse@/
	344	/@=ifblock@/
	345	/@=elseifcomplete@/
	346	/@=whileblock@/
	347	/@=forblock@/
	348	/@=branchstate@/
	349	/@=readonlytrans@/
	350	/@=namechecks@/
	351	/@=usedef@/
	352	/@=systemunrecog@/
	353	/@=dependenttrans@/
	354	/@=unqualifiedtrans@/
	355	/@=declundef@/
	356
	357
	358	/drl added 11/27/2001/
	359	/@=bounds@/
1d91681f	360
	361	/drl added 12/11/2002/
	362	/@=type@/