src/Headers/sgrammar_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
  45 /* < end of bison.head > */
  46
  47 typedef union
  48 {
  49  lltok tok;
  50  int count;
  51  specialClauseKind sck;
  52  qual typequal;
  53  qualList tquallist;
  54  ctype ctyp;
  55  sRef sr;
  56  /*@only@*/ qtype qtyp;
  57  /*@only@*/ cstring cname;
  58  /*@only@*/ idDecl ntyp;
  59  /*@only@*/ idDeclList ntyplist;
  60  /*@only@*/ uentryList flist;
  61  /*@owned@*/ uentryList entrylist;
  62  /*@observer@*/ /*@dependent@*/ uentry entry;
  63  /*@only@*/ uentry oentry;
  64  /*@only@*/ exprNode expr;
  65  /*@only@*/ enumNameList enumnamelist;
  66  /*@only@*/ exprNodeList alist;
  67  /*@only@*/ sRefSet srset;
  68 } YYSTYPE;
  69 #define BADTOK  258
  70 #define SKIPTOK 259
  71 #define CTOK_ELIPSIS    260
  72 #define CASE    261
  73 #define DEFAULT 262
  74 #define CIF     263
  75 #define CELSE   264
  76 #define SWITCH  265
  77 #define WHILE   266
  78 #define DO      267
  79 #define CFOR    268
  80 #define GOTO    269
  81 #define CONTINUE        270
  82 #define BREAK   271
  83 #define RETURN  272
  84 #define TSEMI   273
  85 #define TLBRACE 274
  86 #define TRBRACE 275
  87 #define TCOMMA  276
  88 #define TCOLON  277
  89 #define TASSIGN 278
  90 #define TLPAREN 279
  91 #define TRPAREN 280
  92 #define TLSQBR  281
  93 #define TRSQBR  282
  94 #define TDOT    283
  95 #define TAMPERSAND      284
  96 #define TEXCL   285
  97 #define TTILDE  286
  98 #define TMINUS  287
  99 #define TPLUS   288
 100 #define TMULT   289
 101 #define TDIV    290
 102 #define TPERCENT        291
 103 #define TLT     292
 104 #define TGT     293
 105 #define TCIRC   294
 106 #define TBAR    295
 107 #define TQUEST  296
 108 #define CSIZEOF 297
 109 #define ARROW_OP        298
 110 #define CTYPEDEF        299
 111 #define COFFSETOF       300
 112 #define INC_OP  301
 113 #define DEC_OP  302
 114 #define LEFT_OP 303
 115 #define RIGHT_OP        304
 116 #define LE_OP   305
 117 #define GE_OP   306
 118 #define EQ_OP   307
 119 #define NE_OP   308
 120 #define AND_OP  309
 121 #define OR_OP   310
 122 #define MUL_ASSIGN      311
 123 #define DIV_ASSIGN      312
 124 #define MOD_ASSIGN      313
 125 #define ADD_ASSIGN      314
 126 #define SUB_ASSIGN      315
 127 #define LEFT_ASSIGN     316
 128 #define RIGHT_ASSIGN    317
 129 #define AND_ASSIGN      318
 130 #define XOR_ASSIGN      319
 131 #define OR_ASSIGN       320
 132 #define CSTRUCT 321
 133 #define CUNION  322
 134 #define CENUM   323
 135 #define VA_ARG  324
 136 #define VA_DCL  325
 137 #define QGLOBALS        326
 138 #define QMODIFIES       327
 139 #define QNOMODS 328
 140 #define QCONSTANT       329
 141 #define QITER   330
 142 #define QDEFINES        331
 143 #define QUSES   332
 144 #define QALLOCATES      333
 145 #define QSETS   334
 146 #define QRELEASES       335
 147 #define QPRECLAUSE      336
 148 #define QPOSTCLAUSE     337
 149 #define QALT    338
 150 #define QUNDEF  339
 151 #define QKILLED 340
 152 #define QENDMACRO       341
 153 #define LLMACRO 342
 154 #define LLMACROITER     343
 155 #define LLMACROEND      344
 156 #define TENDMACRO       345
 157 #define QSWITCHBREAK    346
 158 #define QLOOPBREAK      347
 159 #define QINNERBREAK     348
 160 #define QSAFEBREAK      349
 161 #define QINNERCONTINUE  350
 162 #define QFALLTHROUGH    351
 163 #define QLINTNOTREACHED 352
 164 #define QLINTFALLTHROUGH        353
 165 #define QLINTFALLTHRU   354
 166 #define QARGSUSED       355
 167 #define QPRINTFLIKE     356
 168 #define QLINTPRINTFLIKE 357
 169 #define QSCANFLIKE      358
 170 #define QMESSAGELIKE    359
 171 #define QNOTREACHED     360
 172 #define QCONST  361
 173 #define QVOLATILE       362
 174 #define QINLINE 363
 175 #define QEXTENSION      364
 176 #define QEXTERN 365
 177 #define QSTATIC 366
 178 #define QAUTO   367
 179 #define QREGISTER       368
 180 #define QOUT    369
 181 #define QIN     370
 182 #define QYIELD  371
 183 #define QONLY   372
 184 #define QTEMP   373
 185 #define QSHARED 374
 186 #define QREF    375
 187 #define QUNIQUE 376
 188 #define QCHECKED        377
 189 #define QUNCHECKED      378
 190 #define QCHECKEDSTRICT  379
 191 #define QCHECKMOD       380
 192 #define QKEEP   381
 193 #define QKEPT   382
 194 #define QPARTIAL        383
 195 #define QSPECIAL        384
 196 #define QOWNED  385
 197 #define QDEPENDENT      386
 198 #define QRETURNED       387
 199 #define QEXPOSED        388
 200 #define QNULL   389
 201 #define QOBSERVER       390
 202 #define QISNULL 391
 203 #define QEXITS  392
 204 #define QMAYEXIT        393
 205 #define QNEVEREXIT      394
 206 #define QTRUEEXIT       395
 207 #define QFALSEEXIT      396
 208 #define QLONG   397
 209 #define QSIGNED 398
 210 #define QUNSIGNED       399
 211 #define QSHORT  400
 212 #define QUNUSED 401
 213 #define QSEF    402
 214 #define QNOTNULL        403
 215 #define QRELNULL        404
 216 #define QABSTRACT       405
 217 #define QCONCRETE       406
 218 #define QMUTABLE        407
 219 #define QIMMUTABLE      408
 220 #define QTRUENULL       409
 221 #define QFALSENULL      410
 222 #define QEXTERNAL       411
 223 #define QREFCOUNTED     412
 224 #define QREFS   413
 225 #define QNEWREF 414
 226 #define QTEMPREF        415
 227 #define QKILLREF        416
 228 #define QRELDEF 417
 229 #define CGCHAR  418
 230 #define CBOOL   419
 231 #define CINT    420
 232 #define CGFLOAT 421
 233 #define CDOUBLE 422
 234 #define CVOID   423
 235 #define QANYTYPE        424
 236 #define QINTEGRALTYPE   425
 237 #define QUNSIGNEDINTEGRALTYPE   426
 238 #define QSIGNEDINTEGRALTYPE     427
 239 #define IDENTIFIER      428
 240 #define NEW_IDENTIFIER  429
 241 #define CCONSTANT       430
 242 #define ITER_NAME       431
 243 #define ITER_ENDNAME    432
 244 #define TYPE_NAME       433
 245 #define TYPE_NAME_OR_ID 434
 246
 247
 248 extern YYSTYPE yylval;
 249 /*
 250 ** Resets all flags in bison.head
 251 */
 252
 253
 254 /*@=allmacros@*/
 255 /*@=boolint@*/
 256 /*@=charint@*/
 257 /*@=macroparams@*/
 258 /*@=macroundef@*/
 259 /*@=unreachable@*/
 260 /*@=macrospec@*/
 261 /*@=varuse@*/
 262 /*@=ignorequals@*/
 263 /*@=macrostmt@*/
 264 /*@=noeffect@*/
 265 /*@=shadow@*/
 266 /*@=exitarg@*/
 267 /*@=macroredef@*/
 268 /*@=uniondef@*/
 269 /*@=compdef@*/
 270 /*@=matchfields@*/
 271 /*@=exportlocal@*/
 272 /*@=evalorderuncon@*/
 273 /*@=exportheader@*/
 274 /*@=typeuse@*/
 275 /*@=redecl@*/
 276 /*@=redef@*/
 277 /*@=noparams@*/
 278 /*@=ansireserved@*/
 279 /*@=fielduse@*/
 280 /*@=ifblock@*/
 281 /*@=elseifcomplete@*/
 282 /*@=whileblock@*/
 283 /*@=forblock@*/
 284 /*@=branchstate@*/
 285 /*@=readonlytrans@*/
 286 /*@=namechecks@*/
 287 /*@=usedef@*/
 288 /*@=systemunrecog@*/
 289 /*@=dependenttrans@*/
 290 /*@=unqualifiedtrans@*/