src/llgrammar.tab.h

   1 typedef union
   2 {
   3   ltoken ltok;  /* a leaf is also an ltoken */
   4   qual typequal;
   5   unsigned int count;
   6   /*@only@*/ ltokenList ltokenList;
   7   /*@only@*/ abstDeclaratorNode abstDecl;
   8   /*@only@*/ declaratorNode declare;
   9   /*@only@*/ declaratorNodeList declarelist;
  10   /*@only@*/ typeExpr typeexpr;
  11   /*@only@*/ arrayQualNode array;
  12   /*@only@*/ quantifierNode quantifier;
  13   /*@only@*/ quantifierNodeList quantifiers;
  14   /*@only@*/ varNode var;
  15   /*@only@*/ varNodeList vars;
  16   /*@only@*/ storeRefNode storeref;
  17   /*@only@*/ storeRefNodeList storereflist;
  18   /*@only@*/ termNode term;
  19   /*@only@*/ termNodeList termlist;
  20   /*@only@*/ programNode program;
  21   /*@only@*/ stmtNode stmt;
  22   /*@only@*/ claimNode claim;
  23   /*@only@*/ typeNode type;
  24   /*@only@*/ iterNode iter;
  25   /*@only@*/ fcnNode fcn;
  26   /*@only@*/ fcnNodeList fcns;
  27   /*@only@*/ letDeclNode letdecl;
  28   /*@only@*/ letDeclNodeList letdecls;
  29   /*@only@*/ lclPredicateNode lclpredicate;
  30   /*@only@*/ modifyNode modify;
  31   /*@only@*/ paramNode param;
  32   /*@only@*/ paramNodeList paramlist;
  33   /*@only@*/ declaratorInvNodeList declaratorinvs;
  34   /*@only@*/ declaratorInvNode declaratorinv;
  35   /*@only@*/ abstBodyNode abstbody;
  36   /*@only@*/ abstractNode abstract;
  37   /*@only@*/ exposedNode exposed;
  38   /*    taggedUnionNode taggedunion; */
  39   /*@only@*/ globalList globals;
  40   /*@only@*/ constDeclarationNode constdeclaration;
  41   /*@only@*/ varDeclarationNode vardeclaration;
  42   /*@only@*/ varDeclarationNodeList vardeclarationlist;
  43   /*@only@*/ initDeclNodeList initdecls;
  44   /*@only@*/ initDeclNode initdecl;
  45   /*@only@*/ stDeclNodeList structdecls;
  46   /*@only@*/ stDeclNode structdecl;
  47   /*@only@*/ strOrUnionNode structorunion;
  48   /*@only@*/ enumSpecNode enumspec;
  49   /*@only@*/ lclTypeSpecNode lcltypespec;
  50   /*@only@*/ typeNameNode typname;
  51   /*@only@*/ opFormNode opform;
  52   /*@only@*/ sigNode signature;
  53   /*@only@*/ nameNode name;
  54   /*@only@*/ typeNameNodeList namelist;
  55   /*@only@*/ replaceNode replace;
  56   /*@only@*/ replaceNodeList replacelist;
  57   /*@only@*/ renamingNode renaming;
  58   /*@only@*/ traitRefNode traitref;
  59   /*@only@*/ traitRefNodeList traitreflist;
  60   /*@only@*/ importNode import;
  61   /*@only@*/ importNodeList importlist;
  62   /*@only@*/ interfaceNode iface;
  63   /*@only@*/ interfaceNodeList interfacelist;
  64   /*@only@*/ CTypesNode ctypes;
  65 } YYSTYPE;
  66 #define simpleOp        257
  67 #define PREFIX_OP       258
  68 #define POSTFIX_OP      259
  69 #define LLT_MULOP       260
  70 #define LLT_SEMI        261
  71 #define LLT_VERTICALBAR 262
  72 #define ITERATION_OP    263
  73 #define LLT_LPAR        264
  74 #define LLT_LBRACKET    265
  75 #define selectSym       266
  76 #define LLT_IF_THEN_ELSE        267
  77 #define logicalOp       268
  78 #define eqSepSym        269
  79 #define equationSym     270
  80 #define commentSym      271
  81 #define LLT_WHITESPACE  272
  82 #define LLT_EOL 273
  83 #define LLT_TYPEDEF_NAME        274
  84 #define quantifierSym   275
  85 #define openSym 276
  86 #define closeSym        277
  87 #define sepSym  278
  88 #define simpleId        279
  89 #define mapSym  280
  90 #define markerSym       281
  91 #define preSym  282
  92 #define postSym 283
  93 #define anySym  284
  94 #define LLT_COLON       285
  95 #define LLT_COMMA       286
  96 #define LLT_EQUALS      287
  97 #define LLT_LBRACE      288
  98 #define LLT_RBRACE      289
  99 #define LLT_RBRACKET    290
 100 #define LLT_RPAR        291
 101 #define LLT_QUOTE       292
 102 #define eqOp    293
 103 #define LLT_CCHAR       294
 104 #define LLT_CFLOAT      295
 105 #define LLT_CINTEGER    296
 106 #define LLT_LCSTRING    297
 107 #define LLT_ALL 298
 108 #define LLT_ANYTHING    299
 109 #define LLT_BE  300
 110 #define LLT_BODY        301
 111 #define LLT_CLAIMS      302
 112 #define LLT_CHECKS      303
 113 #define LLT_CONSTANT    304
 114 #define LLT_ELSE        305
 115 #define LLT_ENSURES     306
 116 #define LLT_FOR 307
 117 #define LLT_FRESH       308
 118 #define LLT_IF  309
 119 #define LLT_IMMUTABLE   310
 120 #define LLT_IMPORTS     311
 121 #define LLT_CONSTRAINT  312
 122 #define LLT_ISSUB       313
 123 #define LLT_LET 314
 124 #define LLT_MODIFIES    315
 125 #define LLT_MUTABLE     316
 126 #define LLT_NOTHING     317
 127 #define LLT_INTERNAL    318
 128 #define LLT_FILESYS     319
 129 #define LLT_OBJ 320
 130 #define LLT_OUT 321
 131 #define LLT_SEF 322
 132 #define LLT_ONLY        323
 133 #define LLT_PARTIAL     324
 134 #define LLT_OWNED       325
 135 #define LLT_DEPENDENT   326
 136 #define LLT_KEEP        327
 137 #define LLT_KEPT        328
 138 #define LLT_TEMP        329
 139 #define LLT_SHARED      330
 140 #define LLT_UNIQUE      331
 141 #define LLT_UNUSED      332
 142 #define LLT_EXITS       333
 143 #define LLT_MAYEXIT     334
 144 #define LLT_NEVEREXIT   335
 145 #define LLT_TRUEEXIT    336
 146 #define LLT_FALSEEXIT   337
 147 #define LLT_UNDEF       338
 148 #define LLT_KILLED      339
 149 #define LLT_CHECKMOD    340
 150 #define LLT_CHECKED     341
 151 #define LLT_UNCHECKED   342
 152 #define LLT_CHECKEDSTRICT       343
 153 #define LLT_TRUENULL    344
 154 #define LLT_FALSENULL   345
 155 #define LLT_LNULL       346
 156 #define LLT_LNOTNULL    347
 157 #define LLT_RETURNED    348
 158 #define LLT_OBSERVER    349
 159 #define LLT_EXPOSED     350
 160 #define LLT_REFCOUNTED  351
 161 #define LLT_REFS        352
 162 #define LLT_RELNULL     353
 163 #define LLT_RELDEF      354
 164 #define LLT_KILLREF     355
 165 #define LLT_NULLTERMINATED      356
 166 #define LLT_TEMPREF     357
 167 #define LLT_NEWREF      358
 168 #define LLT_PRIVATE     359
 169 #define LLT_REQUIRES    360
 170 #define LLT_RESULT      361
 171 #define LLT_SIZEOF      362
 172 #define LLT_SPEC        363
 173 #define LLT_TAGGEDUNION 364
 174 #define LLT_THEN        365
 175 #define LLT_TYPE        366
 176 #define LLT_TYPEDEF     367
 177 #define LLT_UNCHANGED   368
 178 #define LLT_USES        369
 179 #define LLT_CHAR        370
 180 #define LLT_CONST       371
 181 #define LLT_DOUBLE      372
 182 #define LLT_ENUM        373
 183 #define LLT_FLOAT       374
 184 #define LLT_INT 375
 185 #define LLT_ITER        376
 186 #define LLT_YIELD       377
 187 #define LLT_LONG        378
 188 #define LLT_SHORT       379
 189 #define LLT_SIGNED      380
 190 #define LLT_UNKNOWN     381
 191 #define LLT_STRUCT      382
 192 #define LLT_TELIPSIS    383
 193 #define LLT_UNION       384
 194 #define LLT_UNSIGNED    385
 195 #define LLT_VOID        386
 196 #define LLT_VOLATILE    387
 197 #define LLT_PRINTFLIKE  388
 198 #define LLT_SCANFLIKE   389
 199 #define LLT_MESSAGELIKE 390
 200
 201
 202 extern YYSTYPE yllval;