[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 > */

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