[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;
} YYSTYPE;
#define	BADTOK	258
#define	SKIPTOK	259
#define	CTOK_ELIPSIS	260
#define	CASE	261
#define	DEFAULT	262
#define	CIF	263
#define	CELSE	264
#define	SWITCH	265
#define	WHILE	266
#define	DO	267
#define	CFOR	268
#define	GOTO	269
#define	CONTINUE	270
#define	BREAK	271
#define	RETURN	272
#define	TSEMI	273
#define	TLBRACE	274
#define	TRBRACE	275
#define	TCOMMA	276
#define	TCOLON	277
#define	TASSIGN	278
#define	TLPAREN	279
#define	TRPAREN	280
#define	TLSQBR	281
#define	TRSQBR	282
#define	TDOT	283
#define	TAMPERSAND	284
#define	TEXCL	285
#define	TTILDE	286
#define	TMINUS	287
#define	TPLUS	288
#define	TMULT	289
#define	TDIV	290
#define	TPERCENT	291
#define	TLT	292
#define	TGT	293
#define	TCIRC	294
#define	TBAR	295
#define	TQUEST	296
#define	CSIZEOF	297
#define	CALIGNOF	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	QGLOBALS	327
#define	QMODIFIES	328
#define	QNOMODS	329
#define	QCONSTANT	330
#define	QFUNCTION	331
#define	QITER	332
#define	QDEFINES	333
#define	QUSES	334
#define	QALLOCATES	335
#define	QSETS	336
#define	QRELEASES	337
#define	QPRECLAUSE	338
#define	QPOSTCLAUSE	339
#define	QALT	340
#define	QUNDEF	341
#define	QKILLED	342
#define	QENDMACRO	343
#define	LLMACRO	344
#define	LLMACROITER	345
#define	LLMACROEND	346
#define	TENDMACRO	347
#define	QSWITCHBREAK	348
#define	QLOOPBREAK	349
#define	QINNERBREAK	350
#define	QSAFEBREAK	351
#define	QINNERCONTINUE	352
#define	QFALLTHROUGH	353
#define	QLINTNOTREACHED	354
#define	QLINTFALLTHROUGH	355
#define	QLINTFALLTHRU	356
#define	QARGSUSED	357
#define	QPRINTFLIKE	358
#define	QLINTPRINTFLIKE	359
#define	QSCANFLIKE	360
#define	QMESSAGELIKE	361
#define	QNOTREACHED	362
#define	QCONST	363
#define	QVOLATILE	364
#define	QINLINE	365
#define	QEXTENSION	366
#define	QEXTERN	367
#define	QSTATIC	368
#define	QAUTO	369
#define	QREGISTER	370
#define	QOUT	371
#define	QIN	372
#define	QYIELD	373
#define	QONLY	374
#define	QTEMP	375
#define	QSHARED	376
#define	QREF	377
#define	QUNIQUE	378
#define	QCHECKED	379
#define	QUNCHECKED	380
#define	QCHECKEDSTRICT	381
#define	QCHECKMOD	382
#define	QKEEP	383
#define	QKEPT	384
#define	QPARTIAL	385
#define	QSPECIAL	386
#define	QOWNED	387
#define	QDEPENDENT	388
#define	QRETURNED	389
#define	QEXPOSED	390
#define	QNULL	391
#define	QOBSERVER	392
#define	QISNULL	393
#define	QEXITS	394
#define	QMAYEXIT	395
#define	QNEVEREXIT	396
#define	QTRUEEXIT	397
#define	QFALSEEXIT	398
#define	QLONG	399
#define	QSIGNED	400
#define	QUNSIGNED	401
#define	QSHORT	402
#define	QUNUSED	403
#define	QSEF	404
#define	QNOTNULL	405
#define	QRELNULL	406
#define	QABSTRACT	407
#define	QCONCRETE	408
#define	QMUTABLE	409
#define	QIMMUTABLE	410
#define	QTRUENULL	411
#define	QFALSENULL	412
#define	QEXTERNAL	413
#define	QREFCOUNTED	414
#define	QREFS	415
#define	QNEWREF	416
#define	QTEMPREF	417
#define	QKILLREF	418
#define	QRELDEF	419
#define	CGCHAR	420
#define	CBOOL	421
#define	CINT	422
#define	CGFLOAT	423
#define	CDOUBLE	424
#define	CVOID	425
#define	QANYTYPE	426
#define	QINTEGRALTYPE	427
#define	QUNSIGNEDINTEGRALTYPE	428
#define	QSIGNEDINTEGRALTYPE	429
#define	QNULLTERMINATED	430
#define	QSETBUFFERSIZE	431
#define	QSETSTRINGLENGTH	432
#define	QTESTINRANGE	433
#define	IDENTIFIER	434
#define	NEW_IDENTIFIER	435
#define	TYPE_NAME_OR_ID	436
#define	CCONSTANT	437
#define	ITER_NAME	438
#define	ITER_ENDNAME	439
#define	TYPE_NAME	440


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