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