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