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        258
  67 #define PREFIX_OP       259
  68 #define POSTFIX_OP      260
  69 #define LLT_MULOP       261
  70 #define LLT_SEMI        262
  71 #define LLT_VERTICALBAR 263
  72 #define ITERATION_OP    264
  73 #define LLT_LPAR        265
  74 #define LLT_LBRACKET    266
  75 #define selectSym       267
  76 #define LLT_IF_THEN_ELSE        268
  77 #define logicalOp       269
  78 #define eqSepSym        270
  79 #define equationSym     271
  80 #define commentSym      272
  81 #define LLT_WHITESPACE  273
  82 #define LLT_EOL 274
  83 #define LLT_TYPEDEF_NAME        275
  84 #define quantifierSym   276
  85 #define openSym 277
  86 #define closeSym        278
  87 #define sepSym  279
  88 #define simpleId        280
  89 #define mapSym  281
  90 #define markerSym       282
  91 #define preSym  283
  92 #define postSym 284
  93 #define anySym  285
  94 #define LLT_COLON       286
  95 #define LLT_COMMA       287
  96 #define LLT_EQUALS      288
  97 #define LLT_LBRACE      289
  98 #define LLT_RBRACE      290
  99 #define LLT_RBRACKET    291
 100 #define LLT_RPAR        292
 101 #define LLT_QUOTE       293
 102 #define eqOp    294
 103 #define LLT_CCHAR       295
 104 #define LLT_CFLOAT      296
 105 #define LLT_CINTEGER    297
 106 #define LLT_LCSTRING    298
 107 #define LLT_ALL 299
 108 #define LLT_ANYTHING    300
 109 #define LLT_BE  301
 110 #define LLT_BODY        302
 111 #define LLT_CLAIMS      303
 112 #define LLT_CHECKS      304
 113 #define LLT_CONSTANT    305
 114 #define LLT_ELSE        306
 115 #define LLT_ENSURES     307
 116 #define LLT_FOR 308
 117 #define LLT_FRESH       309
 118 #define LLT_IF  310
 119 #define LLT_IMMUTABLE   311
 120 #define LLT_IMPORTS     312
 121 #define LLT_CONSTRAINT  313
 122 #define LLT_ISSUB       314
 123 #define LLT_LET 315
 124 #define LLT_MODIFIES    316
 125 #define LLT_MUTABLE     317
 126 #define LLT_NOTHING     318
 127 #define LLT_INTERNAL    319
 128 #define LLT_FILESYS     320
 129 #define LLT_OBJ 321
 130 #define LLT_OUT 322
 131 #define LLT_SEF 323
 132 #define LLT_ONLY        324
 133 #define LLT_PARTIAL     325
 134 #define LLT_OWNED       326
 135 #define LLT_DEPENDENT   327
 136 #define LLT_KEEP        328
 137 #define LLT_KEPT        329
 138 #define LLT_TEMP        330
 139 #define LLT_SHARED      331
 140 #define LLT_UNIQUE      332
 141 #define LLT_UNUSED      333
 142 #define LLT_EXITS       334
 143 #define LLT_MAYEXIT     335
 144 #define LLT_NEVEREXIT   336
 145 #define LLT_TRUEEXIT    337
 146 #define LLT_FALSEEXIT   338
 147 #define LLT_UNDEF       339
 148 #define LLT_KILLED      340
 149 #define LLT_CHECKMOD    341
 150 #define LLT_CHECKED     342
 151 #define LLT_UNCHECKED   343
 152 #define LLT_CHECKEDSTRICT       344
 153 #define LLT_TRUENULL    345
 154 #define LLT_FALSENULL   346
 155 #define LLT_LNULL       347
 156 #define LLT_LNOTNULL    348
 157 #define LLT_RETURNED    349
 158 #define LLT_OBSERVER    350
 159 #define LLT_EXPOSED     351
 160 #define LLT_REFCOUNTED  352
 161 #define LLT_REFS        353
 162 #define LLT_RELNULL     354
 163 #define LLT_RELDEF      355
 164 #define LLT_KILLREF     356
 165 #define LLT_NULLTERMINATED      357
 166 #define LLT_TEMPREF     358
 167 #define LLT_NEWREF      359
 168 #define LLT_PRIVATE     360
 169 #define LLT_REQUIRES    361
 170 #define LLT_RESULT      362
 171 #define LLT_SIZEOF      363
 172 #define LLT_SPEC        364
 173 #define LLT_TAGGEDUNION 365
 174 #define LLT_THEN        366
 175 #define LLT_TYPE        367
 176 #define LLT_TYPEDEF     368
 177 #define LLT_UNCHANGED   369
 178 #define LLT_USES        370
 179 #define LLT_CHAR        371
 180 #define LLT_CONST       372
 181 #define LLT_DOUBLE      373
 182 #define LLT_ENUM        374
 183 #define LLT_FLOAT       375
 184 #define LLT_INT 376
 185 #define LLT_ITER        377
 186 #define LLT_YIELD       378
 187 #define LLT_LONG        379
 188 #define LLT_SHORT       380
 189 #define LLT_SIGNED      381
 190 #define LLT_UNKNOWN     382
 191 #define LLT_STRUCT      383
 192 #define LLT_TELIPSIS    384
 193 #define LLT_UNION       385
 194 #define LLT_UNSIGNED    386
 195 #define LLT_VOID        387
 196 #define LLT_VOLATILE    388
 197 #define LLT_PRINTFLIKE  389
 198 #define LLT_SCANFLIKE   390
 199 #define LLT_MESSAGELIKE 391
 200
 201
 202 extern YYSTYPE yllval;