2 ** Inserted at beginning of c files generated by bison
3 ** REMEMBER: Change bison.reset too.
42 /*@-unqualifiedtrans@*/
49 /*drl added 11/27/2001*/
52 /*drl added 12/11/2002*/
55 /* < end of bison.head > */
57 #ifndef BISON_CGRAMMAR_TAB_H
58 # define BISON_CGRAMMAR_TAB_H
60 #ifndef cgrammar_YYSTYPE
68 /*@dependent@*/ sRef sr;
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;
81 /*@only@*/ metaStateConstraint msconstraint;
82 /*@only@*/ metaStateSpecifier msspec;
83 /*@only@*/ metaStateExpression msexpr;
84 /*@observer@*/ metaStateInfo msinfo;
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;
111 # define cgrammar_YYSTYPE yystype
112 # define cgrammar_YYSTYPE_IS_TRIVIAL 1
116 # define CTOK_ELIPSIS 259
126 # define CONTINUE 269
140 # define TAMPERSAND 283
147 # define TPERCENT 290
154 # define CALIGNOF 297
156 # define ARROW_OP 299
157 # define CTYPEDEF 300
158 # define COFFSETOF 301
162 # define RIGHT_OP 305
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
185 # define QGLOBALS 328
186 # define QMODIFIES 329
188 # define QCONSTANT 331
189 # define QFUNCTION 332
191 # define QDEFINES 334
193 # define QALLOCATES 336
195 # define QRELEASES 338
196 # define QPRECLAUSE 339
197 # define QPOSTCLAUSE 340
198 # define QINVARIANT 341
202 # define QENDMACRO 345
204 # define LLMACROITER 347
205 # define LLMACROEND 348
206 # define TENDMACRO 349
207 # define QDREVEALSTATE 350
208 # define QSWITCHBREAK 351
209 # define QLOOPBREAK 352
210 # define QINNERBREAK 353
211 # define QSAFEBREAK 354
212 # define QINNERCONTINUE 355
213 # define QFALLTHROUGH 356
214 # define QLINTNOTREACHED 357
215 # define QLINTFALLTHROUGH 358
216 # define QLINTFALLTHRU 359
217 # define QARGSUSED 360
218 # define QPRINTFLIKE 361
219 # define QLINTPRINTFLIKE 362
220 # define QSCANFLIKE 363
221 # define QMESSAGELIKE 364
222 # define QNOTREACHED 365
224 # define QRESTRICT 367
225 # define QVOLATILE 368
227 # define QEXTENSION 370
231 # define QREGISTER 374
240 # define QCHECKED 383
241 # define QUNCHECKED 384
242 # define QCHECKEDSTRICT 385
243 # define QCHECKMOD 386
246 # define QPARTIAL 389
247 # define QSPECIAL 390
249 # define QDEPENDENT 392
250 # define QRETURNED 393
251 # define QEXPOSED 394
253 # define QOBSERVER 396
256 # define QMAYEXIT 399
257 # define QNEVEREXIT 400
258 # define QTRUEEXIT 401
259 # define QFALSEEXIT 402
262 # define QUNSIGNED 405
266 # define QNOTNULL 409
267 # define QRELNULL 410
268 # define QABSTRACT 411
269 # define QNUMABSTRACT 412
270 # define QCONCRETE 413
271 # define QMUTABLE 414
272 # define QIMMUTABLE 415
273 # define QTRUENULL 416
274 # define QFALSENULL 417
275 # define QEXTERNAL 418
276 # define QREFCOUNTED 419
279 # define QTEMPREF 422
280 # define QKILLREF 423
288 # define QANYTYPE 431
289 # define QINTEGRALTYPE 432
290 # define QUNSIGNEDINTEGRALTYPE 433
291 # define QSIGNEDINTEGRALTYPE 434
292 # define QNULLTERMINATED 435
293 # define QSETBUFFERSIZE 436
294 # define QSETSTRINGLENGTH 437
296 # define QMAXREAD 439
297 # define QTESTINRANGE 440
299 # define IDENTIFIER 442
300 # define NEW_IDENTIFIER 443
301 # define TYPE_NAME_OR_ID 444
302 # define CANNOTATION 445
303 # define CCONSTANT 446
304 # define ITER_NAME 447
305 # define ITER_ENDNAME 448
306 # define TYPE_NAME 449
307 # define METASTATE_NAME 450
310 extern cgrammar_YYSTYPE yylval;
312 #endif /* not BISON_CGRAMMAR_TAB_H */
314 ** Resets all flags in bison.head
336 /*@=evalorderuncon@*/
345 /*@=elseifcomplete@*/
353 /*@=dependenttrans@*/
354 /*@=unqualifiedtrans@*/
358 /*drl added 11/27/2001*/
361 /*drl added 12/11/2002*/