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 1.875a.  */
  58
  59 /* Skeleton parser for Yacc-like parsing with Bison,
  60    Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003 Free Software Foundation, Inc.
  61
  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)
  65    any later version.
  66
  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.
  71
  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.  */
  76
  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.  */
  81
  82 /* Tokens.  */
  83 #ifndef YYTOKENTYPE
  84 # define YYTOKENTYPE
  85    /* Put the tokens into the symbol table, so that GDB and other debuggers
  86       know about them.  */
  87    enum yytokentype {
  88      BADTOK = 258,
  89      SKIPTOK = 259,
  90      CTOK_ELIPSIS = 260,
  91      CASE = 261,
  92      DEFAULT = 262,
  93      CIF = 263,
  94      CELSE = 264,
  95      SWITCH = 265,
  96      WHILE = 266,
  97      DO = 267,
  98      CFOR = 268,
  99      GOTO = 269,
 100      CONTINUE = 270,
 101      BREAK = 271,
 102      RETURN = 272,
 103      TSEMI = 273,
 104      TLBRACE = 274,
 105      TRBRACE = 275,
 106      TCOMMA = 276,
 107      TCOLON = 277,
 108      TASSIGN = 278,
 109      TLPAREN = 279,
 110      TRPAREN = 280,
 111      TLSQBR = 281,
 112      TRSQBR = 282,
 113      TDOT = 283,
 114      TAMPERSAND = 284,
 115      TEXCL = 285,
 116      TTILDE = 286,
 117      TMINUS = 287,
 118      TPLUS = 288,
 119      TMULT = 289,
 120      TDIV = 290,
 121      TPERCENT = 291,
 122      TLT = 292,
 123      TGT = 293,
 124      TCIRC = 294,
 125      TBAR = 295,
 126      TQUEST = 296,
 127      CSIZEOF = 297,
 128      CALIGNOF = 298,
 129      CTYPEOF = 299,
 130      ARROW_OP = 300,
 131      CTYPEDEF = 301,
 132      COFFSETOF = 302,
 133      INC_OP = 303,
 134      DEC_OP = 304,
 135      LEFT_OP = 305,
 136      RIGHT_OP = 306,
 137      LE_OP = 307,
 138      GE_OP = 308,
 139      EQ_OP = 309,
 140      NE_OP = 310,
 141      AND_OP = 311,
 142      OR_OP = 312,
 143      MUL_ASSIGN = 313,
 144      DIV_ASSIGN = 314,
 145      MOD_ASSIGN = 315,
 146      ADD_ASSIGN = 316,
 147      SUB_ASSIGN = 317,
 148      LEFT_ASSIGN = 318,
 149      RIGHT_ASSIGN = 319,
 150      AND_ASSIGN = 320,
 151      XOR_ASSIGN = 321,
 152      OR_ASSIGN = 322,
 153      CSTRUCT = 323,
 154      CUNION = 324,
 155      CENUM = 325,
 156      VA_ARG = 326,
 157      VA_DCL = 327,
 158      QWARN = 328,
 159      QGLOBALS = 329,
 160      QMODIFIES = 330,
 161      QNOMODS = 331,
 162      QCONSTANT = 332,
 163      QFUNCTION = 333,
 164      QITER = 334,
 165      QDEFINES = 335,
 166      QUSES = 336,
 167      QALLOCATES = 337,
 168      QSETS = 338,
 169      QRELEASES = 339,
 170      QPRECLAUSE = 340,
 171      QPOSTCLAUSE = 341,
 172      QINVARIANT = 342,
 173      QALT = 343,
 174      QUNDEF = 344,
 175      QKILLED = 345,
 176      QENDMACRO = 346,
 177      LLMACRO = 347,
 178      LLMACROITER = 348,
 179      LLMACROEND = 349,
 180      TENDMACRO = 350,
 181      QDREVEALSTATE = 351,
 182      QSWITCHBREAK = 352,
 183      QLOOPBREAK = 353,
 184      QINNERBREAK = 354,
 185      QSAFEBREAK = 355,
 186      QINNERCONTINUE = 356,
 187      QFALLTHROUGH = 357,
 188      QLINTNOTREACHED = 358,
 189      QLINTFALLTHROUGH = 359,
 190      QLINTFALLTHRU = 360,
 191      QARGSUSED = 361,
 192      QPRINTFLIKE = 362,
 193      QLINTPRINTFLIKE = 363,
 194      QSCANFLIKE = 364,
 195      QMESSAGELIKE = 365,
 196      QNOTREACHED = 366,
 197      QCONST = 367,
 198      QRESTRICT = 368,
 199      QVOLATILE = 369,
 200      QINLINE = 370,
 201      QEXTENSION = 371,
 202      QEXTERN = 372,
 203      QSTATIC = 373,
 204      QAUTO = 374,
 205      QREGISTER = 375,
 206      QOUT = 376,
 207      QIN = 377,
 208      QYIELD = 378,
 209      QONLY = 379,
 210      QTEMP = 380,
 211      QSHARED = 381,
 212      QREF = 382,
 213      QUNIQUE = 383,
 214      QCHECKED = 384,
 215      QUNCHECKED = 385,
 216      QCHECKEDSTRICT = 386,
 217      QCHECKMOD = 387,
 218      QKEEP = 388,
 219      QKEPT = 389,
 220      QPARTIAL = 390,
 221      QSPECIAL = 391,
 222      QOWNED = 392,
 223      QDEPENDENT = 393,
 224      QRETURNED = 394,
 225      QEXPOSED = 395,
 226      QNULL = 396,
 227      QOBSERVER = 397,
 228      QISNULL = 398,
 229      QEXITS = 399,
 230      QMAYEXIT = 400,
 231      QNEVEREXIT = 401,
 232      QTRUEEXIT = 402,
 233      QFALSEEXIT = 403,
 234      QLONG = 404,
 235      QSIGNED = 405,
 236      QUNSIGNED = 406,
 237      QSHORT = 407,
 238      QUNUSED = 408,
 239      QSEF = 409,
 240      QNOTNULL = 410,
 241      QRELNULL = 411,
 242      QABSTRACT = 412,
 243      QNUMABSTRACT = 413,
 244      QCONCRETE = 414,
 245      QMUTABLE = 415,
 246      QIMMUTABLE = 416,
 247      QTRUENULL = 417,
 248      QFALSENULL = 418,
 249      QEXTERNAL = 419,
 250      QREFCOUNTED = 420,
 251      QREFS = 421,
 252      QNEWREF = 422,
 253      QTEMPREF = 423,
 254      QKILLREF = 424,
 255      QRELDEF = 425,
 256      CGCHAR = 426,
 257      CBOOL = 427,
 258      CINT = 428,
 259      CGFLOAT = 429,
 260      CDOUBLE = 430,
 261      CVOID = 431,
 262      QANYTYPE = 432,
 263      QINTEGRALTYPE = 433,
 264      QUNSIGNEDINTEGRALTYPE = 434,
 265      QSIGNEDINTEGRALTYPE = 435,
 266      QNULLTERMINATED = 436,
 267      QSETBUFFERSIZE = 437,
 268      QSETSTRINGLENGTH = 438,
 269      QMAXSET = 439,
 270      QMAXREAD = 440,
 271      QTESTINRANGE = 441,
 272      TCAND = 442,
 273      IDENTIFIER = 443,
 274      NEW_IDENTIFIER = 444,
 275      TYPE_NAME_OR_ID = 445,
 276      CANNOTATION = 446,
 277      CCONSTANT = 447,
 278      ITER_NAME = 448,
 279      ITER_ENDNAME = 449,
 280      TYPE_NAME = 450,
 281      METASTATE_NAME = 451
 282    };
 283 #endif
 284 #define BADTOK 258
 285 #define SKIPTOK 259
 286 #define CTOK_ELIPSIS 260
 287 #define CASE 261
 288 #define DEFAULT 262
 289 #define CIF 263
 290 #define CELSE 264
 291 #define SWITCH 265
 292 #define WHILE 266
 293 #define DO 267
 294 #define CFOR 268
 295 #define GOTO 269
 296 #define CONTINUE 270
 297 #define BREAK 271
 298 #define RETURN 272
 299 #define TSEMI 273
 300 #define TLBRACE 274
 301 #define TRBRACE 275
 302 #define TCOMMA 276
 303 #define TCOLON 277
 304 #define TASSIGN 278
 305 #define TLPAREN 279
 306 #define TRPAREN 280
 307 #define TLSQBR 281
 308 #define TRSQBR 282
 309 #define TDOT 283
 310 #define TAMPERSAND 284
 311 #define TEXCL 285
 312 #define TTILDE 286
 313 #define TMINUS 287
 314 #define TPLUS 288
 315 #define TMULT 289
 316 #define TDIV 290
 317 #define TPERCENT 291
 318 #define TLT 292
 319 #define TGT 293
 320 #define TCIRC 294
 321 #define TBAR 295
 322 #define TQUEST 296
 323 #define CSIZEOF 297
 324 #define CALIGNOF 298
 325 #define CTYPEOF 299
 326 #define ARROW_OP 300
 327 #define CTYPEDEF 301
 328 #define COFFSETOF 302
 329 #define INC_OP 303
 330 #define DEC_OP 304
 331 #define LEFT_OP 305
 332 #define RIGHT_OP 306
 333 #define LE_OP 307
 334 #define GE_OP 308
 335 #define EQ_OP 309
 336 #define NE_OP 310
 337 #define AND_OP 311
 338 #define OR_OP 312
 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
 349 #define CSTRUCT 323
 350 #define CUNION 324
 351 #define CENUM 325
 352 #define VA_ARG 326
 353 #define VA_DCL 327
 354 #define QWARN 328
 355 #define QGLOBALS 329
 356 #define QMODIFIES 330
 357 #define QNOMODS 331
 358 #define QCONSTANT 332
 359 #define QFUNCTION 333
 360 #define QITER 334
 361 #define QDEFINES 335
 362 #define QUSES 336
 363 #define QALLOCATES 337
 364 #define QSETS 338
 365 #define QRELEASES 339
 366 #define QPRECLAUSE 340
 367 #define QPOSTCLAUSE 341
 368 #define QINVARIANT 342
 369 #define QALT 343
 370 #define QUNDEF 344
 371 #define QKILLED 345
 372 #define QENDMACRO 346
 373 #define LLMACRO 347
 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
 393 #define QCONST 367
 394 #define QRESTRICT 368
 395 #define QVOLATILE 369
 396 #define QINLINE 370
 397 #define QEXTENSION 371
 398 #define QEXTERN 372
 399 #define QSTATIC 373
 400 #define QAUTO 374
 401 #define QREGISTER 375
 402 #define QOUT 376
 403 #define QIN 377
 404 #define QYIELD 378
 405 #define QONLY 379
 406 #define QTEMP 380
 407 #define QSHARED 381
 408 #define QREF 382
 409 #define QUNIQUE 383
 410 #define QCHECKED 384
 411 #define QUNCHECKED 385
 412 #define QCHECKEDSTRICT 386
 413 #define QCHECKMOD 387
 414 #define QKEEP 388
 415 #define QKEPT 389
 416 #define QPARTIAL 390
 417 #define QSPECIAL 391
 418 #define QOWNED 392
 419 #define QDEPENDENT 393
 420 #define QRETURNED 394
 421 #define QEXPOSED 395
 422 #define QNULL 396
 423 #define QOBSERVER 397
 424 #define QISNULL 398
 425 #define QEXITS 399
 426 #define QMAYEXIT 400
 427 #define QNEVEREXIT 401
 428 #define QTRUEEXIT 402
 429 #define QFALSEEXIT 403
 430 #define QLONG 404
 431 #define QSIGNED 405
 432 #define QUNSIGNED 406
 433 #define QSHORT 407
 434 #define QUNUSED 408
 435 #define QSEF 409
 436 #define QNOTNULL 410
 437 #define QRELNULL 411
 438 #define QABSTRACT 412
 439 #define QNUMABSTRACT 413
 440 #define QCONCRETE 414
 441 #define QMUTABLE 415
 442 #define QIMMUTABLE 416
 443 #define QTRUENULL 417
 444 #define QFALSENULL 418
 445 #define QEXTERNAL 419
 446 #define QREFCOUNTED 420
 447 #define QREFS 421
 448 #define QNEWREF 422
 449 #define QTEMPREF 423
 450 #define QKILLREF 424
 451 #define QRELDEF 425
 452 #define CGCHAR 426
 453 #define CBOOL 427
 454 #define CINT 428
 455 #define CGFLOAT 429
 456 #define CDOUBLE 430
 457 #define CVOID 431
 458 #define QANYTYPE 432
 459 #define QINTEGRALTYPE 433
 460 #define QUNSIGNEDINTEGRALTYPE 434
 461 #define QSIGNEDINTEGRALTYPE 435
 462 #define QNULLTERMINATED 436
 463 #define QSETBUFFERSIZE 437
 464 #define QSETSTRINGLENGTH 438
 465 #define QMAXSET 439
 466 #define QMAXREAD 440
 467 #define QTESTINRANGE 441
 468 #define TCAND 442
 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
 478
 479
 480
 481
 482 #if ! defined (cgrammar_YYSTYPE) && ! defined (cgrammar_YYSTYPE_IS_DECLARED)
 483
 484 typedef union cgrammar_YYSTYPE {
 485   lltok tok;
 486   int count;
 487   qual typequal;
 488   qualList tquallist;
 489   ctype ctyp;
 490   /*@dependent@*/ sRef sr;
 491   /*@only@*/ sRef osr;
 492
 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;
 502
 503   /*@only@*/ metaStateConstraint msconstraint;
 504   /*@only@*/ metaStateSpecifier msspec;
 505   /*@only@*/ metaStateExpression msexpr;
 506   /*@observer@*/ metaStateInfo msinfo;
 507
 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;
 524
 525   /*drl
 526     added 1/19/2001
 527   */
 528   constraint con;
 529   constraintList conL;
 530   constraintExpr conE;
 531   /* drl */
 532 } cgrammar_YYSTYPE;
 533 /* Line 1240 of yacc.c.  */
 534
 535 # define yystype cgrammar_YYSTYPE /* obsolescent; will be withdrawn */
 536 # define cgrammar_YYSTYPE_IS_DECLARED 1
 537 # define cgrammar_YYSTYPE_IS_TRIVIAL 1
 538 #endif
 539
 540 extern cgrammar_YYSTYPE yylval;
 541
 542
 543
 544 /*
 545 ** Resets all flags in bison.head
 546 */
 547
 548
 549 /*@=allmacros@*/
 550 /*@=boolint@*/
 551 /*@=charint@*/
 552 /*@=macroparams@*/
 553 /*@=macroundef@*/
 554 /*@=unreachable@*/
 555 /*@=macrospec@*/
 556 /*@=varuse@*/
 557 /*@=ignorequals@*/
 558 /*@=macrostmt@*/
 559 /*@=noeffect@*/
 560 /*@=shadow@*/
 561 /*@=exitarg@*/
 562 /*@=macroredef@*/
 563 /*@=uniondef@*/
 564 /*@=compdef@*/
 565 /*@=matchfields@*/
 566 /*@=exportlocal@*/
 567 /*@=evalorderuncon@*/
 568 /*@=exportheader@*/
 569 /*@=typeuse@*/
 570 /*@=redecl@*/
 571 /*@=redef@*/
 572 /*@=noparams@*/
 573 /*@=ansireserved@*/
 574 /*@=fielduse@*/
 575 /*@=ifblock@*/
 576 /*@=elseifcomplete@*/
 577 /*@=whileblock@*/
 578 /*@=forblock@*/
 579 /*@=branchstate@*/
 580 /*@=readonlytrans@*/
 581 /*@=namechecks@*/
 582 /*@=usedef@*/
 583 /*@=systemunrecog@*/
 584 /*@=dependenttrans@*/
 585 /*@=unqualifiedtrans@*/
 586 /*@=declundef@*/
 587
 588
 589 /*drl added 11/27/2001*/
 590 /*@=bounds@*/
 591
 592 /*drl added 12/11/2002*/
 593 /*@=type@*/