src/Headers/cgrammar_tokens.h

   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 /*@-nullpass@*/
  45 /*@-nullptrarith*/
  46 /*@-usereleased@*/
  47 /*@-declundef@*/
  48
  49 /*drl added 11/27/2001*/
  50 /*@-bounds@*/
  51
  52 /*drl added 12/11/2002*/
  53 /*@-type@*/
  54
  55 /*@-enummemuse@*/
  56
  57 /* < end of bison.head > */
  58
  59 /* A Bison parser, made by GNU Bison 2.3.  */
  60
  61 /* Skeleton interface for Bison's Yacc-like parsers in C
  62
  63    Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003, 2004, 2005, 2006
  64    Free Software Foundation, Inc.
  65
  66    This program is free software; you can redistribute it and/or modify
  67    it under the terms of the GNU General Public License as published by
  68    the Free Software Foundation; either version 2, or (at your option)
  69    any later version.
  70
  71    This program is distributed in the hope that it will be useful,
  72    but WITHOUT ANY WARRANTY; without even the implied warranty of
  73    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  74    GNU General Public License for more details.
  75
  76    You should have received a copy of the GNU General Public License
  77    along with this program; if not, write to the Free Software
  78    Foundation, Inc., 51 Franklin Street, Fifth Floor,
  79    Boston, MA 02110-1301, USA.  */
  80
  81 /* As a special exception, you may create a larger work that contains
  82    part or all of the Bison parser skeleton and distribute that work
  83    under terms of your choice, so long as that work isn't itself a
  84    parser generator using the skeleton or a modified version thereof
  85    as a parser skeleton.  Alternatively, if you modify or redistribute
  86    the parser skeleton itself, you may (at your option) remove this
  87    special exception, which will cause the skeleton and the resulting
  88    Bison output files to be licensed under the GNU General Public
  89    License without this special exception.
  90
  91    This special exception was added by the Free Software Foundation in
  92    version 2.2 of Bison.  */
  93
  94 /* Tokens.  */
  95 #ifndef YYTOKENTYPE
  96 # define YYTOKENTYPE
  97    /* Put the tokens into the symbol table, so that GDB and other debuggers
  98       know about them.  */
  99    enum yytokentype {
 100      BADTOK = 258,
 101      SKIPTOK = 259,
 102      CTOK_ELIPSIS = 260,
 103      CASE = 261,
 104      DEFAULT = 262,
 105      CIF = 263,
 106      CELSE = 264,
 107      SWITCH = 265,
 108      WHILE = 266,
 109      DO = 267,
 110      CFOR = 268,
 111      GOTO = 269,
 112      CONTINUE = 270,
 113      BREAK = 271,
 114      RETURN = 272,
 115      TSEMI = 273,
 116      TLBRACE = 274,
 117      TRBRACE = 275,
 118      TCOMMA = 276,
 119      TCOLON = 277,
 120      TASSIGN = 278,
 121      TLPAREN = 279,
 122      TRPAREN = 280,
 123      TLSQBR = 281,
 124      TRSQBR = 282,
 125      TDOT = 283,
 126      TAMPERSAND = 284,
 127      TEXCL = 285,
 128      TTILDE = 286,
 129      TMINUS = 287,
 130      TPLUS = 288,
 131      TMULT = 289,
 132      TDIV = 290,
 133      TPERCENT = 291,
 134      TLT = 292,
 135      TGT = 293,
 136      TCIRC = 294,
 137      TBAR = 295,
 138      TQUEST = 296,
 139      CSIZEOF = 297,
 140      CALIGNOF = 298,
 141      CTYPEOF = 299,
 142      ARROW_OP = 300,
 143      CTYPEDEF = 301,
 144      COFFSETOF = 302,
 145      INC_OP = 303,
 146      DEC_OP = 304,
 147      LEFT_OP = 305,
 148      RIGHT_OP = 306,
 149      LE_OP = 307,
 150      GE_OP = 308,
 151      EQ_OP = 309,
 152      NE_OP = 310,
 153      AND_OP = 311,
 154      OR_OP = 312,
 155      MUL_ASSIGN = 313,
 156      DIV_ASSIGN = 314,
 157      MOD_ASSIGN = 315,
 158      ADD_ASSIGN = 316,
 159      SUB_ASSIGN = 317,
 160      LEFT_ASSIGN = 318,
 161      RIGHT_ASSIGN = 319,
 162      AND_ASSIGN = 320,
 163      XOR_ASSIGN = 321,
 164      OR_ASSIGN = 322,
 165      CSTRUCT = 323,
 166      CUNION = 324,
 167      CENUM = 325,
 168      VA_ARG = 326,
 169      VA_DCL = 327,
 170      QWARN = 328,
 171      QGLOBALS = 329,
 172      QMODIFIES = 330,
 173      QNOMODS = 331,
 174      QCONSTANT = 332,
 175      QFUNCTION = 333,
 176      QITER = 334,
 177      QDEFINES = 335,
 178      QUSES = 336,
 179      QALLOCATES = 337,
 180      QSETS = 338,
 181      QRELEASES = 339,
 182      QPRECLAUSE = 340,
 183      QPOSTCLAUSE = 341,
 184      QINVARIANT = 342,
 185      QALT = 343,
 186      QUNDEF = 344,
 187      QKILLED = 345,
 188      QENDMACRO = 346,
 189      LLMACRO = 347,
 190      LLMACROITER = 348,
 191      LLMACROEND = 349,
 192      TENDMACRO = 350,
 193      QDREVEALSTATE = 351,
 194      QSWITCHBREAK = 352,
 195      QLOOPBREAK = 353,
 196      QINNERBREAK = 354,
 197      QSAFEBREAK = 355,
 198      QINNERCONTINUE = 356,
 199      QFALLTHROUGH = 357,
 200      QLINTNOTREACHED = 358,
 201      QLINTFALLTHROUGH = 359,
 202      QLINTFALLTHRU = 360,
 203      QARGSUSED = 361,
 204      QPRINTFLIKE = 362,
 205      QLINTPRINTFLIKE = 363,
 206      QSCANFLIKE = 364,
 207      QMESSAGELIKE = 365,
 208      QNOTREACHED = 366,
 209      QCONST = 367,
 210      QRESTRICT = 368,
 211      QVOLATILE = 369,
 212      QINLINE = 370,
 213      QEXTENSION = 371,
 214      QEXTERN = 372,
 215      QSTATIC = 373,
 216      QAUTO = 374,
 217      QREGISTER = 375,
 218      QOUT = 376,
 219      QIN = 377,
 220      QYIELD = 378,
 221      QONLY = 379,
 222      QTEMP = 380,
 223      QSHARED = 381,
 224      QREF = 382,
 225      QUNIQUE = 383,
 226      QCHECKED = 384,
 227      QUNCHECKED = 385,
 228      QCHECKEDSTRICT = 386,
 229      QCHECKMOD = 387,
 230      QKEEP = 388,
 231      QKEPT = 389,
 232      QPARTIAL = 390,
 233      QSPECIAL = 391,
 234      QOWNED = 392,
 235      QDEPENDENT = 393,
 236      QRETURNED = 394,
 237      QEXPOSED = 395,
 238      QNULL = 396,
 239      QOBSERVER = 397,
 240      QISNULL = 398,
 241      QEXITS = 399,
 242      QMAYEXIT = 400,
 243      QNEVEREXIT = 401,
 244      QTRUEEXIT = 402,
 245      QFALSEEXIT = 403,
 246      QLONG = 404,
 247      QSIGNED = 405,
 248      QUNSIGNED = 406,
 249      QSHORT = 407,
 250      QUNUSED = 408,
 251      QSEF = 409,
 252      QNOTNULL = 410,
 253      QRELNULL = 411,
 254      QABSTRACT = 412,
 255      QNUMABSTRACT = 413,
 256      QCONCRETE = 414,
 257      QMUTABLE = 415,
 258      QIMMUTABLE = 416,
 259      QTRUENULL = 417,
 260      QFALSENULL = 418,
 261      QEXTERNAL = 419,
 262      QREFCOUNTED = 420,
 263      QREFS = 421,
 264      QNEWREF = 422,
 265      QTEMPREF = 423,
 266      QKILLREF = 424,
 267      QRELDEF = 425,
 268      CGCHAR = 426,
 269      CBOOL = 427,
 270      CINT = 428,
 271      CGFLOAT = 429,
 272      CDOUBLE = 430,
 273      CVOID = 431,
 274      QANYTYPE = 432,
 275      QINTEGRALTYPE = 433,
 276      QUNSIGNEDINTEGRALTYPE = 434,
 277      QSIGNEDINTEGRALTYPE = 435,
 278      QNULLTERMINATED = 436,
 279      QSETBUFFERSIZE = 437,
 280      QSETSTRINGLENGTH = 438,
 281      QMAXSET = 439,
 282      QMAXREAD = 440,
 283      QTESTINRANGE = 441,
 284      TCAND = 442,
 285      IDENTIFIER = 443,
 286      NEW_IDENTIFIER = 444,
 287      TYPE_NAME_OR_ID = 445,
 288      CANNOTATION = 446,
 289      CCONSTANT = 447,
 290      ITER_NAME = 448,
 291      ITER_ENDNAME = 449,
 292      TYPE_NAME = 450,
 293      METASTATE_NAME = 451
 294    };
 295 #endif
 296 /* Tokens.  */
 297 #define BADTOK 258
 298 #define SKIPTOK 259
 299 #define CTOK_ELIPSIS 260
 300 #define CASE 261
 301 #define DEFAULT 262
 302 #define CIF 263
 303 #define CELSE 264
 304 #define SWITCH 265
 305 #define WHILE 266
 306 #define DO 267
 307 #define CFOR 268
 308 #define GOTO 269
 309 #define CONTINUE 270
 310 #define BREAK 271
 311 #define RETURN 272
 312 #define TSEMI 273
 313 #define TLBRACE 274
 314 #define TRBRACE 275
 315 #define TCOMMA 276
 316 #define TCOLON 277
 317 #define TASSIGN 278
 318 #define TLPAREN 279
 319 #define TRPAREN 280
 320 #define TLSQBR 281
 321 #define TRSQBR 282
 322 #define TDOT 283
 323 #define TAMPERSAND 284
 324 #define TEXCL 285
 325 #define TTILDE 286
 326 #define TMINUS 287
 327 #define TPLUS 288
 328 #define TMULT 289
 329 #define TDIV 290
 330 #define TPERCENT 291
 331 #define TLT 292
 332 #define TGT 293
 333 #define TCIRC 294
 334 #define TBAR 295
 335 #define TQUEST 296
 336 #define CSIZEOF 297
 337 #define CALIGNOF 298
 338 #define CTYPEOF 299
 339 #define ARROW_OP 300
 340 #define CTYPEDEF 301
 341 #define COFFSETOF 302
 342 #define INC_OP 303
 343 #define DEC_OP 304
 344 #define LEFT_OP 305
 345 #define RIGHT_OP 306
 346 #define LE_OP 307
 347 #define GE_OP 308
 348 #define EQ_OP 309
 349 #define NE_OP 310
 350 #define AND_OP 311
 351 #define OR_OP 312
 352 #define MUL_ASSIGN 313
 353 #define DIV_ASSIGN 314
 354 #define MOD_ASSIGN 315
 355 #define ADD_ASSIGN 316
 356 #define SUB_ASSIGN 317
 357 #define LEFT_ASSIGN 318
 358 #define RIGHT_ASSIGN 319
 359 #define AND_ASSIGN 320
 360 #define XOR_ASSIGN 321
 361 #define OR_ASSIGN 322
 362 #define CSTRUCT 323
 363 #define CUNION 324
 364 #define CENUM 325
 365 #define VA_ARG 326
 366 #define VA_DCL 327
 367 #define QWARN 328
 368 #define QGLOBALS 329
 369 #define QMODIFIES 330
 370 #define QNOMODS 331
 371 #define QCONSTANT 332
 372 #define QFUNCTION 333
 373 #define QITER 334
 374 #define QDEFINES 335
 375 #define QUSES 336
 376 #define QALLOCATES 337
 377 #define QSETS 338
 378 #define QRELEASES 339
 379 #define QPRECLAUSE 340
 380 #define QPOSTCLAUSE 341
 381 #define QINVARIANT 342
 382 #define QALT 343
 383 #define QUNDEF 344
 384 #define QKILLED 345
 385 #define QENDMACRO 346
 386 #define LLMACRO 347
 387 #define LLMACROITER 348
 388 #define LLMACROEND 349
 389 #define TENDMACRO 350
 390 #define QDREVEALSTATE 351
 391 #define QSWITCHBREAK 352
 392 #define QLOOPBREAK 353
 393 #define QINNERBREAK 354
 394 #define QSAFEBREAK 355
 395 #define QINNERCONTINUE 356
 396 #define QFALLTHROUGH 357
 397 #define QLINTNOTREACHED 358
 398 #define QLINTFALLTHROUGH 359
 399 #define QLINTFALLTHRU 360
 400 #define QARGSUSED 361
 401 #define QPRINTFLIKE 362
 402 #define QLINTPRINTFLIKE 363
 403 #define QSCANFLIKE 364
 404 #define QMESSAGELIKE 365
 405 #define QNOTREACHED 366
 406 #define QCONST 367
 407 #define QRESTRICT 368
 408 #define QVOLATILE 369
 409 #define QINLINE 370
 410 #define QEXTENSION 371
 411 #define QEXTERN 372
 412 #define QSTATIC 373
 413 #define QAUTO 374
 414 #define QREGISTER 375
 415 #define QOUT 376
 416 #define QIN 377
 417 #define QYIELD 378
 418 #define QONLY 379
 419 #define QTEMP 380
 420 #define QSHARED 381
 421 #define QREF 382
 422 #define QUNIQUE 383
 423 #define QCHECKED 384
 424 #define QUNCHECKED 385
 425 #define QCHECKEDSTRICT 386
 426 #define QCHECKMOD 387
 427 #define QKEEP 388
 428 #define QKEPT 389
 429 #define QPARTIAL 390
 430 #define QSPECIAL 391
 431 #define QOWNED 392
 432 #define QDEPENDENT 393
 433 #define QRETURNED 394
 434 #define QEXPOSED 395
 435 #define QNULL 396
 436 #define QOBSERVER 397
 437 #define QISNULL 398
 438 #define QEXITS 399
 439 #define QMAYEXIT 400
 440 #define QNEVEREXIT 401
 441 #define QTRUEEXIT 402
 442 #define QFALSEEXIT 403
 443 #define QLONG 404
 444 #define QSIGNED 405
 445 #define QUNSIGNED 406
 446 #define QSHORT 407
 447 #define QUNUSED 408
 448 #define QSEF 409
 449 #define QNOTNULL 410
 450 #define QRELNULL 411
 451 #define QABSTRACT 412
 452 #define QNUMABSTRACT 413
 453 #define QCONCRETE 414
 454 #define QMUTABLE 415
 455 #define QIMMUTABLE 416
 456 #define QTRUENULL 417
 457 #define QFALSENULL 418
 458 #define QEXTERNAL 419
 459 #define QREFCOUNTED 420
 460 #define QREFS 421
 461 #define QNEWREF 422
 462 #define QTEMPREF 423
 463 #define QKILLREF 424
 464 #define QRELDEF 425
 465 #define CGCHAR 426
 466 #define CBOOL 427
 467 #define CINT 428
 468 #define CGFLOAT 429
 469 #define CDOUBLE 430
 470 #define CVOID 431
 471 #define QANYTYPE 432
 472 #define QINTEGRALTYPE 433
 473 #define QUNSIGNEDINTEGRALTYPE 434
 474 #define QSIGNEDINTEGRALTYPE 435
 475 #define QNULLTERMINATED 436
 476 #define QSETBUFFERSIZE 437
 477 #define QSETSTRINGLENGTH 438
 478 #define QMAXSET 439
 479 #define QMAXREAD 440
 480 #define QTESTINRANGE 441
 481 #define TCAND 442
 482 #define IDENTIFIER 443
 483 #define NEW_IDENTIFIER 444
 484 #define TYPE_NAME_OR_ID 445
 485 #define CANNOTATION 446
 486 #define CCONSTANT 447
 487 #define ITER_NAME 448
 488 #define ITER_ENDNAME 449
 489 #define TYPE_NAME 450
 490 #define METASTATE_NAME 451
 491
 492
 493
 494
 495 #if ! defined cgrammar_YYSTYPE && ! defined cgrammar_YYSTYPE_IS_DECLARED
 496 typedef union cgrammar_YYSTYPE
 497
 498 {
 499   lltok tok;
 500   int count;
 501   qual typequal;
 502   qualList tquallist;
 503   ctype ctyp;
 504   /*@dependent@*/ sRef sr;
 505   /*@only@*/ sRef osr;
 506
 507   /*@only@*/ functionClauseList funcclauselist;
 508   /*@only@*/ functionClause funcclause;
 509   /*@only@*/ flagSpec flagspec;
 510   /*@only@*/ globalsClause globsclause;
 511   /*@only@*/ modifiesClause modsclause;
 512   /*@only@*/ warnClause warnclause;
 513   /*@only@*/ stateClause stateclause;
 514   /*@only@*/ pointers pointers;
 515   /*@only@*/ functionConstraint fcnconstraint;
 516
 517   /*@only@*/ metaStateConstraint msconstraint;
 518   /*@only@*/ metaStateSpecifier msspec;
 519   /*@only@*/ metaStateExpression msexpr;
 520   /*@observer@*/ metaStateInfo msinfo;
 521
 522   /*@only@*/ sRefList srlist;
 523   /*@only@*/ globSet globset;
 524   /*@only@*/ qtype qtyp;
 525   /*@only@*/ cstring cname;
 526   /*@observer@*/ annotationInfo annotation;
 527   /*@only@*/ idDecl ntyp;
 528   /*@only@*/ idDeclList ntyplist;
 529   /*@only@*/ uentryList flist;
 530   /*@owned@*/ uentryList entrylist;
 531   /*@observer@*/ /*@dependent@*/ uentry entry;
 532   /*@only@*/ uentry oentry;
 533   /*@only@*/ exprNode expr;
 534   /*@only@*/ enumNameList enumnamelist;
 535   /*@only@*/ exprNodeList exprlist;
 536   /*@only@*/ sRefSet srset;
 537   /*@only@*/ cstringList cstringlist;
 538
 539   /*drl
 540     added 1/19/2001
 541   */
 542   constraint con;
 543   constraintList conL;
 544   constraintExpr conE;
 545   /* drl */
 546 }
 547 /* Line 1529 of yacc.c.  */
 548
 549         cgrammar_YYSTYPE;
 550 # define yystype cgrammar_YYSTYPE /* obsolescent; will be withdrawn */
 551 # define cgrammar_YYSTYPE_IS_DECLARED 1
 552 # define cgrammar_YYSTYPE_IS_TRIVIAL 1
 553 #endif
 554
 555 extern cgrammar_YYSTYPE yylval;
 556
 557 /*
 558 ** Resets all flags in bison.head
 559 */
 560
 561
 562 /*@=allmacros@*/
 563 /*@=boolint@*/
 564 /*@=charint@*/
 565 /*@=macroparams@*/
 566 /*@=macroundef@*/
 567 /*@=unreachable@*/
 568 /*@=macrospec@*/
 569 /*@=varuse@*/
 570 /*@=ignorequals@*/
 571 /*@=macrostmt@*/
 572 /*@=noeffect@*/
 573 /*@=shadow@*/
 574 /*@=exitarg@*/
 575 /*@=macroredef@*/
 576 /*@=uniondef@*/
 577 /*@=compdef@*/
 578 /*@=matchfields@*/
 579 /*@=exportlocal@*/
 580 /*@=evalorderuncon@*/
 581 /*@=exportheader@*/
 582 /*@=typeuse@*/
 583 /*@=redecl@*/
 584 /*@=redef@*/
 585 /*@=noparams@*/
 586 /*@=ansireserved@*/
 587 /*@=fielduse@*/
 588 /*@=ifblock@*/
 589 /*@=elseifcomplete@*/
 590 /*@=whileblock@*/
 591 /*@=forblock@*/
 592 /*@=branchstate@*/
 593 /*@=readonlytrans@*/
 594 /*@=namechecks@*/
 595 /*@=usedef@*/
 596 /*@=systemunrecog@*/
 597 /*@=dependenttrans@*/
 598 /*@=unqualifiedtrans@*/
 599 /*@=declundef@*/
 600
 601
 602 /*drl added 11/27/2001*/
 603 /*@=bounds@*/
 604
 605 /*drl added 12/11/2002*/
 606 /*@=type@*/
 607
 608 /*@=enummemuse@*/