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        QDREVEALSTATE   350
 208 # define        QSWITCHBREAK    351
 209 # define        QLOOPBREAK      352
 210 # define        QINNERBREAK     353
 211 # define        QSAFEBREAK      354
 212 # define        QINNERCONTINUE  355
 213 # define        QFALLTHROUGH    356
 214 # define        QLINTNOTREACHED 357
 215 # define        QLINTFALLTHROUGH        358
 216 # define        QLINTFALLTHRU   359
 217 # define        QARGSUSED       360
 218 # define        QPRINTFLIKE     361
 219 # define        QLINTPRINTFLIKE 362
 220 # define        QSCANFLIKE      363
 221 # define        QMESSAGELIKE    364
 222 # define        QNOTREACHED     365
 223 # define        QCONST  366
 224 # define        QRESTRICT       367
 225 # define        QVOLATILE       368
 226 # define        QINLINE 369
 227 # define        QEXTENSION      370
 228 # define        QEXTERN 371
 229 # define        QSTATIC 372
 230 # define        QAUTO   373
 231 # define        QREGISTER       374
 232 # define        QOUT    375
 233 # define        QIN     376
 234 # define        QYIELD  377
 235 # define        QONLY   378
 236 # define        QTEMP   379
 237 # define        QSHARED 380
 238 # define        QREF    381
 239 # define        QUNIQUE 382
 240 # define        QCHECKED        383
 241 # define        QUNCHECKED      384
 242 # define        QCHECKEDSTRICT  385
 243 # define        QCHECKMOD       386
 244 # define        QKEEP   387
 245 # define        QKEPT   388
 246 # define        QPARTIAL        389
 247 # define        QSPECIAL        390
 248 # define        QOWNED  391
 249 # define        QDEPENDENT      392
 250 # define        QRETURNED       393
 251 # define        QEXPOSED        394
 252 # define        QNULL   395
 253 # define        QOBSERVER       396
 254 # define        QISNULL 397
 255 # define        QEXITS  398
 256 # define        QMAYEXIT        399
 257 # define        QNEVEREXIT      400
 258 # define        QTRUEEXIT       401
 259 # define        QFALSEEXIT      402
 260 # define        QLONG   403
 261 # define        QSIGNED 404
 262 # define        QUNSIGNED       405
 263 # define        QSHORT  406
 264 # define        QUNUSED 407
 265 # define        QSEF    408
 266 # define        QNOTNULL        409
 267 # define        QRELNULL        410
 268 # define        QABSTRACT       411
 269 # define        QNUMABSTRACT    412
 270 # define        QCONCRETE       413
 271 # define        QMUTABLE        414
 272 # define        QIMMUTABLE      415
 273 # define        QTRUENULL       416
 274 # define        QFALSENULL      417
 275 # define        QEXTERNAL       418
 276 # define        QREFCOUNTED     419
 277 # define        QREFS   420
 278 # define        QNEWREF 421
 279 # define        QTEMPREF        422
 280 # define        QKILLREF        423
 281 # define        QRELDEF 424
 282 # define        CGCHAR  425
 283 # define        CBOOL   426
 284 # define        CINT    427
 285 # define        CGFLOAT 428
 286 # define        CDOUBLE 429
 287 # define        CVOID   430
 288 # define        QANYTYPE        431
 289 # define        QINTEGRALTYPE   432
 290 # define        QUNSIGNEDINTEGRALTYPE   433
 291 # define        QSIGNEDINTEGRALTYPE     434
 292 # define        QNULLTERMINATED 435
 293 # define        QSETBUFFERSIZE  436
 294 # define        QSETSTRINGLENGTH        437
 295 # define        QMAXSET 438
 296 # define        QMAXREAD        439
 297 # define        QTESTINRANGE    440
 298 # define        TCAND   441
 299 # define        IDENTIFIER      442
 300 # define        NEW_IDENTIFIER  443
 301 # define        TYPE_NAME_OR_ID 444
 302 # define        CANNOTATION     445
 303 # define        CCONSTANT       446
 304 # define        ITER_NAME       447
 305 # define        ITER_ENDNAME    448
 306 # define        TYPE_NAME       449
 307 # define        METASTATE_NAME  450
 308
 309
 310 extern cgrammar_YYSTYPE yylval;
 311
 312 #endif /* not BISON_CGRAMMAR_TAB_H */
 313 /*
 314 ** Resets all flags in bison.head
 315 */
 316
 317
 318 /*@=allmacros@*/
 319 /*@=boolint@*/
 320 /*@=charint@*/
 321 /*@=macroparams@*/
 322 /*@=macroundef@*/
 323 /*@=unreachable@*/
 324 /*@=macrospec@*/
 325 /*@=varuse@*/
 326 /*@=ignorequals@*/
 327 /*@=macrostmt@*/
 328 /*@=noeffect@*/
 329 /*@=shadow@*/
 330 /*@=exitarg@*/
 331 /*@=macroredef@*/
 332 /*@=uniondef@*/
 333 /*@=compdef@*/
 334 /*@=matchfields@*/
 335 /*@=exportlocal@*/
 336 /*@=evalorderuncon@*/
 337 /*@=exportheader@*/
 338 /*@=typeuse@*/
 339 /*@=redecl@*/
 340 /*@=redef@*/
 341 /*@=noparams@*/
 342 /*@=ansireserved@*/
 343 /*@=fielduse@*/
 344 /*@=ifblock@*/
 345 /*@=elseifcomplete@*/
 346 /*@=whileblock@*/
 347 /*@=forblock@*/
 348 /*@=branchstate@*/
 349 /*@=readonlytrans@*/
 350 /*@=namechecks@*/
 351 /*@=usedef@*/
 352 /*@=systemunrecog@*/
 353 /*@=dependenttrans@*/
 354 /*@=unqualifiedtrans@*/
 355 /*@=declundef@*/
 356
 357
 358 /*drl added 11/27/2001*/
 359 /*@=bounds@*/
 360
 361 /*drl added 12/11/2002*/
 362 /*@=type@*/