[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@*/
/* < 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	QSWITCHBREAK	350
# define	QLOOPBREAK	351
# define	QINNERBREAK	352
# define	QSAFEBREAK	353
# define	QINNERCONTINUE	354
# define	QFALLTHROUGH	355
# define	QLINTNOTREACHED	356
# define	QLINTFALLTHROUGH	357
# define	QLINTFALLTHRU	358
# define	QARGSUSED	359
# define	QPRINTFLIKE	360
# define	QLINTPRINTFLIKE	361
# define	QSCANFLIKE	362
# define	QMESSAGELIKE	363
# define	QNOTREACHED	364
# define	QCONST	365
# define	QRESTRICT	366
# define	QVOLATILE	367
# define	QINLINE	368
# define	QEXTENSION	369
# define	QEXTERN	370
# define	QSTATIC	371
# define	QAUTO	372
# define	QREGISTER	373
# define	QOUT	374
# define	QIN	375
# define	QYIELD	376
# define	QONLY	377
# define	QTEMP	378
# define	QSHARED	379
# define	QREF	380
# define	QUNIQUE	381
# define	QCHECKED	382
# define	QUNCHECKED	383
# define	QCHECKEDSTRICT	384
# define	QCHECKMOD	385
# define	QKEEP	386
# define	QKEPT	387
# define	QPARTIAL	388
# define	QSPECIAL	389
# define	QOWNED	390
# define	QDEPENDENT	391
# define	QRETURNED	392
# define	QEXPOSED	393
# define	QNULL	394
# define	QOBSERVER	395
# define	QISNULL	396
# define	QEXITS	397
# define	QMAYEXIT	398
# define	QNEVEREXIT	399
# define	QTRUEEXIT	400
# define	QFALSEEXIT	401
# define	QLONG	402
# define	QSIGNED	403
# define	QUNSIGNED	404
# define	QSHORT	405
# define	QUNUSED	406
# define	QSEF	407
# define	QNOTNULL	408
# define	QRELNULL	409
# define	QABSTRACT	410
# define	QCONCRETE	411
# define	QMUTABLE	412
# define	QIMMUTABLE	413
# define	QTRUENULL	414
# define	QFALSENULL	415
# define	QEXTERNAL	416
# define	QREFCOUNTED	417
# define	QREFS	418
# define	QNEWREF	419
# define	QTEMPREF	420
# define	QKILLREF	421
# define	QRELDEF	422
# define	CGCHAR	423
# define	CBOOL	424
# define	CINT	425
# define	CGFLOAT	426
# define	CDOUBLE	427
# define	CVOID	428
# define	QANYTYPE	429
# define	QINTEGRALTYPE	430
# define	QUNSIGNEDINTEGRALTYPE	431
# define	QSIGNEDINTEGRALTYPE	432
# define	QNULLTERMINATED	433
# define	QSETBUFFERSIZE	434
# define	QSETSTRINGLENGTH	435
# define	QMAXSET	436
# define	QMAXREAD	437
# define	QTESTINRANGE	438
# define	TCAND	439
# define	IDENTIFIER	440
# define	NEW_IDENTIFIER	441
# define	TYPE_NAME_OR_ID	442
# define	CANNOTATION	443
# define	CCONSTANT	444
# define	ITER_NAME	445
# define	ITER_ENDNAME	446
# define	TYPE_NAME	447
# define	METASTATE_NAME	448


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