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