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