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 /* A Bison parser, made by GNU Bison 1.875a. */
59 /* Skeleton parser for Yacc-like parsing with Bison,
60 Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003 Free Software Foundation, Inc.
62 This program is free software; you can redistribute it and/or modify
63 it under the terms of the GNU General Public License as published by
64 the Free Software Foundation; either version 2, or (at your option)
67 This program is distributed in the hope that it will be useful,
68 but WITHOUT ANY WARRANTY; without even the implied warranty of
69 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
70 GNU General Public License for more details.
72 You should have received a copy of the GNU General Public License
73 along with this program; if not, write to the Free Software
74 Foundation, Inc., 59 Temple Place - Suite 330,
75 Boston, MA 02111-1307, USA. */
77 /* As a special exception, when this file is copied by Bison into a
78 Bison output file, you may use that output file without restriction.
79 This special exception was added by the Free Software Foundation
80 in version 1.24 of Bison. */
85 /* Put the tokens into the symbol table, so that GDB and other debuggers
186 QINNERCONTINUE = 356,
188 QLINTNOTREACHED = 358,
189 QLINTFALLTHROUGH = 359,
193 QLINTPRINTFLIKE = 363,
216 QCHECKEDSTRICT = 386,
264 QUNSIGNEDINTEGRALTYPE = 434,
265 QSIGNEDINTEGRALTYPE = 435,
266 QNULLTERMINATED = 436,
267 QSETBUFFERSIZE = 437,
268 QSETSTRINGLENGTH = 438,
274 NEW_IDENTIFIER = 444,
275 TYPE_NAME_OR_ID = 445,
286 #define CTOK_ELIPSIS 260
310 #define TAMPERSAND 284
328 #define COFFSETOF 302
339 #define MUL_ASSIGN 313
340 #define DIV_ASSIGN 314
341 #define MOD_ASSIGN 315
342 #define ADD_ASSIGN 316
343 #define SUB_ASSIGN 317
344 #define LEFT_ASSIGN 318
345 #define RIGHT_ASSIGN 319
346 #define AND_ASSIGN 320
347 #define XOR_ASSIGN 321
348 #define OR_ASSIGN 322
356 #define QMODIFIES 330
358 #define QCONSTANT 332
359 #define QFUNCTION 333
363 #define QALLOCATES 337
365 #define QRELEASES 339
366 #define QPRECLAUSE 340
367 #define QPOSTCLAUSE 341
368 #define QINVARIANT 342
372 #define QENDMACRO 346
374 #define LLMACROITER 348
375 #define LLMACROEND 349
376 #define TENDMACRO 350
377 #define QDREVEALSTATE 351
378 #define QSWITCHBREAK 352
379 #define QLOOPBREAK 353
380 #define QINNERBREAK 354
381 #define QSAFEBREAK 355
382 #define QINNERCONTINUE 356
383 #define QFALLTHROUGH 357
384 #define QLINTNOTREACHED 358
385 #define QLINTFALLTHROUGH 359
386 #define QLINTFALLTHRU 360
387 #define QARGSUSED 361
388 #define QPRINTFLIKE 362
389 #define QLINTPRINTFLIKE 363
390 #define QSCANFLIKE 364
391 #define QMESSAGELIKE 365
392 #define QNOTREACHED 366
394 #define QRESTRICT 368
395 #define QVOLATILE 369
397 #define QEXTENSION 371
401 #define QREGISTER 375
411 #define QUNCHECKED 385
412 #define QCHECKEDSTRICT 386
413 #define QCHECKMOD 387
419 #define QDEPENDENT 393
420 #define QRETURNED 394
423 #define QOBSERVER 397
427 #define QNEVEREXIT 401
428 #define QTRUEEXIT 402
429 #define QFALSEEXIT 403
432 #define QUNSIGNED 406
438 #define QABSTRACT 412
439 #define QNUMABSTRACT 413
440 #define QCONCRETE 414
442 #define QIMMUTABLE 416
443 #define QTRUENULL 417
444 #define QFALSENULL 418
445 #define QEXTERNAL 419
446 #define QREFCOUNTED 420
459 #define QINTEGRALTYPE 433
460 #define QUNSIGNEDINTEGRALTYPE 434
461 #define QSIGNEDINTEGRALTYPE 435
462 #define QNULLTERMINATED 436
463 #define QSETBUFFERSIZE 437
464 #define QSETSTRINGLENGTH 438
467 #define QTESTINRANGE 441
469 #define IDENTIFIER 443
470 #define NEW_IDENTIFIER 444
471 #define TYPE_NAME_OR_ID 445
472 #define CANNOTATION 446
473 #define CCONSTANT 447
474 #define ITER_NAME 448
475 #define ITER_ENDNAME 449
476 #define TYPE_NAME 450
477 #define METASTATE_NAME 451
482 #if ! defined (cgrammar_YYSTYPE) && ! defined (cgrammar_YYSTYPE_IS_DECLARED)
484 typedef union cgrammar_YYSTYPE {
490 /*@dependent@*/ sRef sr;
493 /*@only@*/ functionClauseList funcclauselist;
494 /*@only@*/ functionClause funcclause;
495 /*@only@*/ flagSpec flagspec;
496 /*@only@*/ globalsClause globsclause;
497 /*@only@*/ modifiesClause modsclause;
498 /*@only@*/ warnClause warnclause;
499 /*@only@*/ stateClause stateclause;
500 /*@only@*/ pointers pointers;
501 /*@only@*/ functionConstraint fcnconstraint;
503 /*@only@*/ metaStateConstraint msconstraint;
504 /*@only@*/ metaStateSpecifier msspec;
505 /*@only@*/ metaStateExpression msexpr;
506 /*@observer@*/ metaStateInfo msinfo;
508 /*@only@*/ sRefList srlist;
509 /*@only@*/ globSet globset;
510 /*@only@*/ qtype qtyp;
511 /*@only@*/ cstring cname;
512 /*@observer@*/ annotationInfo annotation;
513 /*@only@*/ idDecl ntyp;
514 /*@only@*/ idDeclList ntyplist;
515 /*@only@*/ uentryList flist;
516 /*@owned@*/ uentryList entrylist;
517 /*@observer@*/ /*@dependent@*/ uentry entry;
518 /*@only@*/ uentry oentry;
519 /*@only@*/ exprNode expr;
520 /*@only@*/ enumNameList enumnamelist;
521 /*@only@*/ exprNodeList exprlist;
522 /*@only@*/ sRefSet srset;
523 /*@only@*/ cstringList cstringlist;
533 /* Line 1240 of yacc.c. */
535 # define yystype cgrammar_YYSTYPE /* obsolescent; will be withdrawn */
536 # define cgrammar_YYSTYPE_IS_DECLARED 1
537 # define cgrammar_YYSTYPE_IS_TRIVIAL 1
540 extern cgrammar_YYSTYPE yylval;
545 ** Resets all flags in bison.head
567 /*@=evalorderuncon@*/
576 /*@=elseifcomplete@*/
584 /*@=dependenttrans@*/
585 /*@=unqualifiedtrans@*/
589 /*drl added 11/27/2001*/
592 /*drl added 12/11/2002*/