[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	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	QNUMABSTRACT	411
# define	QCONCRETE	412
# define	QMUTABLE	413
# define	QIMMUTABLE	414
# define	QTRUENULL	415
# define	QFALSENULL	416
# define	QEXTERNAL	417
# define	QREFCOUNTED	418
# define	QREFS	419
# define	QNEWREF	420
# define	QTEMPREF	421
# define	QKILLREF	422
# define	QRELDEF	423
# define	CGCHAR	424
# define	CBOOL	425
# define	CINT	426
# define	CGFLOAT	427
# define	CDOUBLE	428
# define	CVOID	429
# define	QANYTYPE	430
# define	QINTEGRALTYPE	431
# define	QUNSIGNEDINTEGRALTYPE	432
# define	QSIGNEDINTEGRALTYPE	433
# define	QNULLTERMINATED	434
# define	QSETBUFFERSIZE	435
# define	QSETSTRINGLENGTH	436
# define	QMAXSET	437
# define	QMAXREAD	438
# define	QTESTINRANGE	439
# define	TCAND	440
# define	IDENTIFIER	441
# define	NEW_IDENTIFIER	442
# define	TYPE_NAME_OR_ID	443
# define	CANNOTATION	444
# define	CCONSTANT	445
# define	ITER_NAME	446
# define	ITER_ENDNAME	447
# define	TYPE_NAME	448
# define	METASTATE_NAME	449


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
d0b80d80	57	#ifndef BISON_CGRAMMAR_TAB_H
	58	# define BISON_CGRAMMAR_TAB_H
	59
	60	#ifndef cgrammar_YYSTYPE
	61	typedef union
	62	{
	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 */
	110	} yystype;
	111	# define cgrammar_YYSTYPE yystype
	112	# define cgrammar_YYSTYPE_IS_TRIVIAL 1
	113	#endif
	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 QSWITCHBREAK 350
208	# define QLOOPBREAK 351
209	# define QINNERBREAK 352
210	# define QSAFEBREAK 353
211	# define QINNERCONTINUE 354
212	# define QFALLTHROUGH 355
213	# define QLINTNOTREACHED 356
214	# define QLINTFALLTHROUGH 357
215	# define QLINTFALLTHRU 358
216	# define QARGSUSED 359
217	# define QPRINTFLIKE 360
218	# define QLINTPRINTFLIKE 361
219	# define QSCANFLIKE 362
220	# define QMESSAGELIKE 363
221	# define QNOTREACHED 364
222	# define QCONST 365
223	# define QRESTRICT 366
224	# define QVOLATILE 367
225	# define QINLINE 368
226	# define QEXTENSION 369
227	# define QEXTERN 370
228	# define QSTATIC 371
229	# define QAUTO 372
230	# define QREGISTER 373
231	# define QOUT 374
232	# define QIN 375
233	# define QYIELD 376
234	# define QONLY 377
235	# define QTEMP 378
236	# define QSHARED 379
237	# define QREF 380
238	# define QUNIQUE 381
239	# define QCHECKED 382
240	# define QUNCHECKED 383
241	# define QCHECKEDSTRICT 384
242	# define QCHECKMOD 385
243	# define QKEEP 386
244	# define QKEPT 387
245	# define QPARTIAL 388
246	# define QSPECIAL 389
247	# define QOWNED 390
248	# define QDEPENDENT 391
249	# define QRETURNED 392
250	# define QEXPOSED 393
251	# define QNULL 394
252	# define QOBSERVER 395
253	# define QISNULL 396
254	# define QEXITS 397
255	# define QMAYEXIT 398
256	# define QNEVEREXIT 399
257	# define QTRUEEXIT 400
258	# define QFALSEEXIT 401
259	# define QLONG 402
260	# define QSIGNED 403
261	# define QUNSIGNED 404
262	# define QSHORT 405
263	# define QUNUSED 406
264	# define QSEF 407
265	# define QNOTNULL 408
266	# define QRELNULL 409
267	# define QABSTRACT 410
e5081f8c	268	# define QNUMABSTRACT 411
	269	# define QCONCRETE 412
	270	# define QMUTABLE 413
	271	# define QIMMUTABLE 414
	272	# define QTRUENULL 415
	273	# define QFALSENULL 416
	274	# define QEXTERNAL 417
	275	# define QREFCOUNTED 418
	276	# define QREFS 419
	277	# define QNEWREF 420
	278	# define QTEMPREF 421
	279	# define QKILLREF 422
	280	# define QRELDEF 423
	281	# define CGCHAR 424
	282	# define CBOOL 425
	283	# define CINT 426
	284	# define CGFLOAT 427
	285	# define CDOUBLE 428
	286	# define CVOID 429
	287	# define QANYTYPE 430
	288	# define QINTEGRALTYPE 431
	289	# define QUNSIGNEDINTEGRALTYPE 432
	290	# define QSIGNEDINTEGRALTYPE 433
	291	# define QNULLTERMINATED 434
	292	# define QSETBUFFERSIZE 435
	293	# define QSETSTRINGLENGTH 436
	294	# define QMAXSET 437
	295	# define QMAXREAD 438
	296	# define QTESTINRANGE 439
	297	# define TCAND 440
	298	# define IDENTIFIER 441
	299	# define NEW_IDENTIFIER 442
	300	# define TYPE_NAME_OR_ID 443
	301	# define CANNOTATION 444
	302	# define CCONSTANT 445
	303	# define ITER_NAME 446
	304	# define ITER_ENDNAME 447
	305	# define TYPE_NAME 448
	306	# define METASTATE_NAME 449
d0b80d80	307
	308
	309	extern cgrammar_YYSTYPE yylval;
	310
	311	#endif /* not BISON_CGRAMMAR_TAB_H */
d317ee89	312	/*
	313	** Resets all flags in bison.head
	314	*/
	315
	316
	317	/@=allmacros@/
	318	/@=boolint@/
	319	/@=charint@/
	320	/@=macroparams@/
	321	/@=macroundef@/
	322	/@=unreachable@/
	323	/@=macrospec@/
	324	/@=varuse@/
	325	/@=ignorequals@/
	326	/@=macrostmt@/
	327	/@=noeffect@/
	328	/@=shadow@/
	329	/@=exitarg@/
	330	/@=macroredef@/
	331	/@=uniondef@/
	332	/@=compdef@/
	333	/@=matchfields@/
	334	/@=exportlocal@/
	335	/@=evalorderuncon@/
	336	/@=exportheader@/
	337	/@=typeuse@/
	338	/@=redecl@/
	339	/@=redef@/
	340	/@=noparams@/
	341	/@=ansireserved@/
	342	/@=fielduse@/
	343	/@=ifblock@/
	344	/@=elseifcomplete@/
	345	/@=whileblock@/
	346	/@=forblock@/
	347	/@=branchstate@/
	348	/@=readonlytrans@/
	349	/@=namechecks@/
	350	/@=usedef@/
	351	/@=systemunrecog@/
	352	/@=dependenttrans@/
	353	/@=unqualifiedtrans@/
	354	/@=declundef@/
	355
	356
	357	/drl added 11/27/2001/
	358	/@=bounds@/
1d91681f	359
	360	/drl added 12/11/2002/
	361	/@=type@/