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