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

/* < end of bison.head > */

typedef union
{
 lltok tok;
 int count;
 specialClauseKind sck;
 qual typequal;
 qualList tquallist;
 ctype ctyp;
 sRef sr;
 /*@only@*/ qtype qtyp;
 /*@only@*/ cstring cname;
 /*@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 alist;
 /*@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	ARROW_OP	298
#define	CTYPEDEF	299
#define	COFFSETOF	300
#define	INC_OP	301
#define	DEC_OP	302
#define	LEFT_OP	303
#define	RIGHT_OP	304
#define	LE_OP	305
#define	GE_OP	306
#define	EQ_OP	307
#define	NE_OP	308
#define	AND_OP	309
#define	OR_OP	310
#define	MUL_ASSIGN	311
#define	DIV_ASSIGN	312
#define	MOD_ASSIGN	313
#define	ADD_ASSIGN	314
#define	SUB_ASSIGN	315
#define	LEFT_ASSIGN	316
#define	RIGHT_ASSIGN	317
#define	AND_ASSIGN	318
#define	XOR_ASSIGN	319
#define	OR_ASSIGN	320
#define	CSTRUCT	321
#define	CUNION	322
#define	CENUM	323
#define	VA_ARG	324
#define	VA_DCL	325
#define	QGLOBALS	326
#define	QMODIFIES	327
#define	QNOMODS	328
#define	QCONSTANT	329
#define	QFUNCTION	330
#define	QITER	331
#define	QDEFINES	332
#define	QUSES	333
#define	QALLOCATES	334
#define	QSETS	335
#define	QRELEASES	336
#define	QPRECLAUSE	337
#define	QPOSTCLAUSE	338
#define	QALT	339
#define	QUNDEF	340
#define	QKILLED	341
#define	QENDMACRO	342
#define	LLMACRO	343
#define	LLMACROITER	344
#define	LLMACROEND	345
#define	TENDMACRO	346
#define	QSWITCHBREAK	347
#define	QLOOPBREAK	348
#define	QINNERBREAK	349
#define	QSAFEBREAK	350
#define	QINNERCONTINUE	351
#define	QFALLTHROUGH	352
#define	QLINTNOTREACHED	353
#define	QLINTFALLTHROUGH	354
#define	QLINTFALLTHRU	355
#define	QARGSUSED	356
#define	QPRINTFLIKE	357
#define	QLINTPRINTFLIKE	358
#define	QSCANFLIKE	359
#define	QMESSAGELIKE	360
#define	QNOTREACHED	361
#define	QCONST	362
#define	QVOLATILE	363
#define	QINLINE	364
#define	QEXTENSION	365
#define	QEXTERN	366
#define	QSTATIC	367
#define	QAUTO	368
#define	QREGISTER	369
#define	QOUT	370
#define	QIN	371
#define	QYIELD	372
#define	QONLY	373
#define	QTEMP	374
#define	QSHARED	375
#define	QREF	376
#define	QUNIQUE	377
#define	QCHECKED	378
#define	QUNCHECKED	379
#define	QCHECKEDSTRICT	380
#define	QCHECKMOD	381
#define	QKEEP	382
#define	QKEPT	383
#define	QPARTIAL	384
#define	QSPECIAL	385
#define	QOWNED	386
#define	QDEPENDENT	387
#define	QRETURNED	388
#define	QEXPOSED	389
#define	QNULL	390
#define	QOBSERVER	391
#define	QISNULL	392
#define	QEXITS	393
#define	QMAYEXIT	394
#define	QNEVEREXIT	395
#define	QTRUEEXIT	396
#define	QFALSEEXIT	397
#define	QLONG	398
#define	QSIGNED	399
#define	QUNSIGNED	400
#define	QSHORT	401
#define	QUNUSED	402
#define	QSEF	403
#define	QNOTNULL	404
#define	QRELNULL	405
#define	QABSTRACT	406
#define	QCONCRETE	407
#define	QMUTABLE	408
#define	QIMMUTABLE	409
#define	QTRUENULL	410
#define	QFALSENULL	411
#define	QEXTERNAL	412
#define	QREFCOUNTED	413
#define	QREFS	414
#define	QNEWREF	415
#define	QTEMPREF	416
#define	QKILLREF	417
#define	QRELDEF	418
#define	CGCHAR	419
#define	CBOOL	420
#define	CINT	421
#define	CGFLOAT	422
#define	CDOUBLE	423
#define	CVOID	424
#define	QANYTYPE	425
#define	QINTEGRALTYPE	426
#define	QUNSIGNEDINTEGRALTYPE	427
#define	QSIGNEDINTEGRALTYPE	428
#define	QNULLTERMINATED	429
#define	QSETBUFFERSIZE	430
#define	QBUFFERCONSTRAINT	431
#define	QENSURESCONSTRAINT	432
#define	QSETSTRINGLENGTH	433
#define	QMAXSET	434
#define	QMAXREAD	435
#define	QTESTINRANGE	436
#define	TCAND	437
#define	IDENTIFIER	438
#define	NEW_IDENTIFIER	439
#define	TYPE_NAME_OR_ID	440
#define	CCONSTANT	441
#define	ITER_NAME	442
#define	ITER_ENDNAME	443
#define	TYPE_NAME	444


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