[splint.git] / src / Headers / sgrammar_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; 
} 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	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	QITER	330
#define	QDEFINES	331
#define	QUSES	332
#define	QALLOCATES	333
#define	QSETS	334
#define	QRELEASES	335
#define	QPRECLAUSE	336
#define	QPOSTCLAUSE	337
#define	QALT	338
#define	QUNDEF	339
#define	QKILLED	340
#define	QENDMACRO	341
#define	LLMACRO	342
#define	LLMACROITER	343
#define	LLMACROEND	344
#define	TENDMACRO	345
#define	QSWITCHBREAK	346
#define	QLOOPBREAK	347
#define	QINNERBREAK	348
#define	QSAFEBREAK	349
#define	QINNERCONTINUE	350
#define	QFALLTHROUGH	351
#define	QLINTNOTREACHED	352
#define	QLINTFALLTHROUGH	353
#define	QLINTFALLTHRU	354
#define	QARGSUSED	355
#define	QPRINTFLIKE	356
#define	QLINTPRINTFLIKE	357
#define	QSCANFLIKE	358
#define	QMESSAGELIKE	359
#define	QNOTREACHED	360
#define	QCONST	361
#define	QVOLATILE	362
#define	QINLINE	363
#define	QEXTENSION	364
#define	QEXTERN	365
#define	QSTATIC	366
#define	QAUTO	367
#define	QREGISTER	368
#define	QOUT	369
#define	QIN	370
#define	QYIELD	371
#define	QONLY	372
#define	QTEMP	373
#define	QSHARED	374
#define	QREF	375
#define	QUNIQUE	376
#define	QCHECKED	377
#define	QUNCHECKED	378
#define	QCHECKEDSTRICT	379
#define	QCHECKMOD	380
#define	QKEEP	381
#define	QKEPT	382
#define	QPARTIAL	383
#define	QSPECIAL	384
#define	QOWNED	385
#define	QDEPENDENT	386
#define	QRETURNED	387
#define	QEXPOSED	388
#define	QNULL	389
#define	QOBSERVER	390
#define	QISNULL	391
#define	QEXITS	392
#define	QMAYEXIT	393
#define	QNEVEREXIT	394
#define	QTRUEEXIT	395
#define	QFALSEEXIT	396
#define	QLONG	397
#define	QSIGNED	398
#define	QUNSIGNED	399
#define	QSHORT	400
#define	QUNUSED	401
#define	QSEF	402
#define	QNOTNULL	403
#define	QRELNULL	404
#define	QABSTRACT	405
#define	QCONCRETE	406
#define	QMUTABLE	407
#define	QIMMUTABLE	408
#define	QTRUENULL	409
#define	QFALSENULL	410
#define	QEXTERNAL	411
#define	QREFCOUNTED	412
#define	QREFS	413
#define	QNEWREF	414
#define	QTEMPREF	415
#define	QKILLREF	416
#define	QRELDEF	417
#define	CGCHAR	418
#define	CBOOL	419
#define	CINT	420
#define	CGFLOAT	421
#define	CDOUBLE	422
#define	CVOID	423
#define	QANYTYPE	424
#define	QINTEGRALTYPE	425
#define	QUNSIGNEDINTEGRALTYPE	426
#define	QSIGNEDINTEGRALTYPE	427
#define	IDENTIFIER	428
#define	NEW_IDENTIFIER	429
#define	CCONSTANT	430
#define	ITER_NAME	431
#define	ITER_ENDNAME	432
#define	TYPE_NAME	433
#define	TYPE_NAME_OR_ID	434


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