src/Headers/llgrammar_gen2.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_LLGRAMMAR_TAB_H
  58 # define BISON_LLGRAMMAR_TAB_H
  59
  60 #ifndef YYSTYPE
  61 typedef union
  62 {
  63   ltoken ltok;  /* a leaf is also an ltoken */
  64   qual typequal;
  65   unsigned int count;
  66   /*@only@*/ ltokenList ltokenList;
  67   /*@only@*/ abstDeclaratorNode abstDecl;
  68   /*@only@*/ declaratorNode declare;
  69   /*@only@*/ declaratorNodeList declarelist;
  70   /*@only@*/ typeExpr typeexpr;
  71   /*@only@*/ arrayQualNode array;
  72   /*@only@*/ quantifierNode quantifier;
  73   /*@only@*/ quantifierNodeList quantifiers;
  74   /*@only@*/ varNode var;
  75   /*@only@*/ varNodeList vars;
  76   /*@only@*/ storeRefNode storeref;
  77   /*@only@*/ storeRefNodeList storereflist;
  78   /*@only@*/ termNode term;
  79   /*@only@*/ termNodeList termlist;
  80   /*@only@*/ programNode program;
  81   /*@only@*/ stmtNode stmt;
  82   /*@only@*/ claimNode claim;
  83   /*@only@*/ typeNode type;
  84   /*@only@*/ iterNode iter;
  85   /*@only@*/ fcnNode fcn;
  86   /*@only@*/ fcnNodeList fcns;
  87   /*@only@*/ letDeclNode letdecl;
  88   /*@only@*/ letDeclNodeList letdecls;
  89   /*@only@*/ lclPredicateNode lclpredicate;
  90   /*@only@*/ modifyNode modify;
  91   /*@only@*/ paramNode param;
  92   /*@only@*/ paramNodeList paramlist;
  93   /*@only@*/ declaratorInvNodeList declaratorinvs;
  94   /*@only@*/ declaratorInvNode declaratorinv;
  95   /*@only@*/ abstBodyNode abstbody;
  96   /*@only@*/ abstractNode abstract;
  97   /*@only@*/ exposedNode exposed;
  98   /*@only@*/ pointers pointers;
  99   /*    taggedUnionNode taggedunion; */
 100   /*@only@*/ globalList globals;
 101   /*@only@*/ constDeclarationNode constdeclaration;
 102   /*@only@*/ varDeclarationNode vardeclaration;
 103   /*@only@*/ varDeclarationNodeList vardeclarationlist;
 104   /*@only@*/ initDeclNodeList initdecls;
 105   /*@only@*/ initDeclNode initdecl;
 106   /*@only@*/ stDeclNodeList structdecls;
 107   /*@only@*/ stDeclNode structdecl;
 108   /*@only@*/ strOrUnionNode structorunion;
 109   /*@only@*/ enumSpecNode enumspec;
 110   /*@only@*/ lclTypeSpecNode lcltypespec;
 111   /*@only@*/ typeNameNode typname;
 112   /*@only@*/ opFormNode opform;
 113   /*@only@*/ sigNode signature;
 114   /*@only@*/ nameNode name;
 115   /*@only@*/ typeNameNodeList namelist;
 116   /*@only@*/ replaceNode replace;
 117   /*@only@*/ replaceNodeList replacelist;
 118   /*@only@*/ renamingNode renaming;
 119   /*@only@*/ traitRefNode traitref;
 120   /*@only@*/ traitRefNodeList traitreflist;
 121   /*@only@*/ importNode import;
 122   /*@only@*/ importNodeList importlist;
 123   /*@only@*/ interfaceNode iface;
 124   /*@only@*/ interfaceNodeList interfacelist;
 125   /*@only@*/ CTypesNode ctypes;
 126   /*@-redef@*/
 127 } yystype;
 128 # define YYSTYPE yystype
 129 # define YYSTYPE_IS_TRIVIAL 1
 130 #endif
 131 # define        simpleOp        257
 132 # define        PREFIX_OP       258
 133 # define        POSTFIX_OP      259
 134 # define        LLT_MULOP       260
 135 # define        LLT_SEMI        261
 136 # define        LLT_VERTICALBAR 262
 137 # define        ITERATION_OP    263
 138 # define        LLT_LPAR        264
 139 # define        LLT_LBRACKET    265
 140 # define        selectSym       266
 141 # define        LLT_IF_THEN_ELSE        267
 142 # define        logicalOp       268
 143 # define        eqSepSym        269
 144 # define        equationSym     270
 145 # define        commentSym      271
 146 # define        LLT_WHITESPACE  272
 147 # define        LLT_EOL 273
 148 # define        LLT_TYPEDEF_NAME        274
 149 # define        quantifierSym   275
 150 # define        openSym 276
 151 # define        closeSym        277
 152 # define        sepSym  278
 153 # define        simpleId        279
 154 # define        mapSym  280
 155 # define        markerSym       281
 156 # define        preSym  282
 157 # define        postSym 283
 158 # define        anySym  284
 159 # define        LLT_COLON       285
 160 # define        LLT_COMMA       286
 161 # define        LLT_EQUALS      287
 162 # define        LLT_LBRACE      288
 163 # define        LLT_RBRACE      289
 164 # define        LLT_RBRACKET    290
 165 # define        LLT_RPAR        291
 166 # define        LLT_QUOTE       292
 167 # define        eqOp    293
 168 # define        LLT_CCHAR       294
 169 # define        LLT_CFLOAT      295
 170 # define        LLT_CINTEGER    296
 171 # define        LLT_LCSTRING    297
 172 # define        LLT_ALL 298
 173 # define        LLT_ANYTHING    299
 174 # define        LLT_BE  300
 175 # define        LLT_BODY        301
 176 # define        LLT_CLAIMS      302
 177 # define        LLT_CHECKS      303
 178 # define        LLT_CONSTANT    304
 179 # define        LLT_ELSE        305
 180 # define        LLT_ENSURES     306
 181 # define        LLT_FOR 307
 182 # define        LLT_FRESH       308
 183 # define        LLT_IF  309
 184 # define        LLT_IMMUTABLE   310
 185 # define        LLT_IMPORTS     311
 186 # define        LLT_CONSTRAINT  312
 187 # define        LLT_ISSUB       313
 188 # define        LLT_LET 314
 189 # define        LLT_MODIFIES    315
 190 # define        LLT_MUTABLE     316
 191 # define        LLT_NOTHING     317
 192 # define        LLT_INTERNAL    318
 193 # define        LLT_FILESYS     319
 194 # define        LLT_OBJ 320
 195 # define        LLT_OUT 321
 196 # define        LLT_SEF 322
 197 # define        LLT_ONLY        323
 198 # define        LLT_PARTIAL     324
 199 # define        LLT_OWNED       325
 200 # define        LLT_DEPENDENT   326
 201 # define        LLT_KEEP        327
 202 # define        LLT_KEPT        328
 203 # define        LLT_TEMP        329
 204 # define        LLT_SHARED      330
 205 # define        LLT_UNIQUE      331
 206 # define        LLT_UNUSED      332
 207 # define        LLT_EXITS       333
 208 # define        LLT_MAYEXIT     334
 209 # define        LLT_NEVEREXIT   335
 210 # define        LLT_TRUEEXIT    336
 211 # define        LLT_FALSEEXIT   337
 212 # define        LLT_UNDEF       338
 213 # define        LLT_KILLED      339
 214 # define        LLT_CHECKMOD    340
 215 # define        LLT_CHECKED     341
 216 # define        LLT_UNCHECKED   342
 217 # define        LLT_CHECKEDSTRICT       343
 218 # define        LLT_TRUENULL    344
 219 # define        LLT_FALSENULL   345
 220 # define        LLT_LNULL       346
 221 # define        LLT_LNOTNULL    347
 222 # define        LLT_RETURNED    348
 223 # define        LLT_OBSERVER    349
 224 # define        LLT_EXPOSED     350
 225 # define        LLT_REFCOUNTED  351
 226 # define        LLT_REFS        352
 227 # define        LLT_RELNULL     353
 228 # define        LLT_RELDEF      354
 229 # define        LLT_KILLREF     355
 230 # define        LLT_NULLTERMINATED      356
 231 # define        LLT_TEMPREF     357
 232 # define        LLT_NEWREF      358
 233 # define        LLT_PRIVATE     359
 234 # define        LLT_REQUIRES    360
 235 # define        LLT_RESULT      361
 236 # define        LLT_SIZEOF      362
 237 # define        LLT_SPEC        363
 238 # define        LLT_TAGGEDUNION 364
 239 # define        LLT_THEN        365
 240 # define        LLT_TYPE        366
 241 # define        LLT_TYPEDEF     367
 242 # define        LLT_UNCHANGED   368
 243 # define        LLT_USES        369
 244 # define        LLT_CHAR        370
 245 # define        LLT_CONST       371
 246 # define        LLT_DOUBLE      372
 247 # define        LLT_ENUM        373
 248 # define        LLT_FLOAT       374
 249 # define        LLT_INT 375
 250 # define        LLT_ITER        376
 251 # define        LLT_YIELD       377
 252 # define        LLT_LONG        378
 253 # define        LLT_SHORT       379
 254 # define        LLT_SIGNED      380
 255 # define        LLT_UNKNOWN     381
 256 # define        LLT_STRUCT      382
 257 # define        LLT_TELIPSIS    383
 258 # define        LLT_UNION       384
 259 # define        LLT_UNSIGNED    385
 260 # define        LLT_VOID        386
 261 # define        LLT_VOLATILE    387
 262 # define        LLT_PRINTFLIKE  388
 263 # define        LLT_SCANFLIKE   389
 264 # define        LLT_MESSAGELIKE 390
 265
 266
 267 extern YYSTYPE yllval;
 268
 269 #endif /* not BISON_LLGRAMMAR_TAB_H */
 270 /*
 271 ** Resets all flags in bison.head
 272 */
 273
 274
 275 /*@=allmacros@*/
 276 /*@=boolint@*/
 277 /*@=charint@*/
 278 /*@=macroparams@*/
 279 /*@=macroundef@*/
 280 /*@=unreachable@*/
 281 /*@=macrospec@*/
 282 /*@=varuse@*/
 283 /*@=ignorequals@*/
 284 /*@=macrostmt@*/
 285 /*@=noeffect@*/
 286 /*@=shadow@*/
 287 /*@=exitarg@*/
 288 /*@=macroredef@*/
 289 /*@=uniondef@*/
 290 /*@=compdef@*/
 291 /*@=matchfields@*/
 292 /*@=exportlocal@*/
 293 /*@=evalorderuncon@*/
 294 /*@=exportheader@*/
 295 /*@=typeuse@*/
 296 /*@=redecl@*/
 297 /*@=redef@*/
 298 /*@=noparams@*/
 299 /*@=ansireserved@*/
 300 /*@=fielduse@*/
 301 /*@=ifblock@*/
 302 /*@=elseifcomplete@*/
 303 /*@=whileblock@*/
 304 /*@=forblock@*/
 305 /*@=branchstate@*/
 306 /*@=readonlytrans@*/
 307 /*@=namechecks@*/
 308 /*@=usedef@*/
 309 /*@=systemunrecog@*/
 310 /*@=dependenttrans@*/
 311 /*@=unqualifiedtrans@*/
 312 /*@=declundef@*/
 313
 314
 315 /*drl added 11/27/2001*/
 316 /*@=bounds@*/
 317
 318 /*drl added 12/11/2002*/
 319 /*@=type@*/