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