llgrammar.tab.h Source File

00001 typedef union 
00002 {
00003   ltoken ltok;  /* a leaf is also an ltoken */
00004   qual typequal;
00005   unsigned int count;
00006   /*@only@*/ ltokenList ltokenList;
00007   /*@only@*/ abstDeclaratorNode abstDecl; 
00008   /*@only@*/ declaratorNode declare;
00009   /*@only@*/ declaratorNodeList declarelist;
00010   /*@only@*/ typeExpr typeexpr;
00011   /*@only@*/ arrayQualNode array;
00012   /*@only@*/ quantifierNode quantifier;
00013   /*@only@*/ quantifierNodeList quantifiers;
00014   /*@only@*/ varNode var;
00015   /*@only@*/ varNodeList vars;
00016   /*@only@*/ storeRefNode storeref;
00017   /*@only@*/ storeRefNodeList storereflist;
00018   /*@only@*/ termNode term;
00019   /*@only@*/ termNodeList termlist;
00020   /*@only@*/ programNode program; 
00021   /*@only@*/ stmtNode stmt;
00022   /*@only@*/ claimNode claim;
00023   /*@only@*/ typeNode type;
00024   /*@only@*/ iterNode iter;
00025   /*@only@*/ fcnNode fcn;
00026   /*@only@*/ fcnNodeList fcns;
00027   /*@only@*/ letDeclNode letdecl;
00028   /*@only@*/ letDeclNodeList letdecls;
00029   /*@only@*/ lclPredicateNode lclpredicate;
00030   /*@only@*/ modifyNode modify;
00031   /*@only@*/ paramNode param;
00032   /*@only@*/ paramNodeList paramlist;
00033   /*@only@*/ declaratorInvNodeList declaratorinvs;      
00034   /*@only@*/ declaratorInvNode declaratorinv;   
00035   /*@only@*/ abstBodyNode abstbody;
00036   /*@only@*/ abstractNode abstract;
00037   /*@only@*/ exposedNode exposed;
00038   /*    taggedUnionNode taggedunion; */
00039   /*@only@*/ globalList globals;
00040   /*@only@*/ constDeclarationNode constdeclaration;
00041   /*@only@*/ varDeclarationNode vardeclaration;
00042   /*@only@*/ varDeclarationNodeList vardeclarationlist;
00043   /*@only@*/ initDeclNodeList initdecls;
00044   /*@only@*/ initDeclNode initdecl;
00045   /*@only@*/ stDeclNodeList structdecls;
00046   /*@only@*/ stDeclNode structdecl;
00047   /*@only@*/ strOrUnionNode structorunion;
00048   /*@only@*/ enumSpecNode enumspec; 
00049   /*@only@*/ lclTypeSpecNode lcltypespec;
00050   /*@only@*/ typeNameNode typname;
00051   /*@only@*/ opFormNode opform;
00052   /*@only@*/ sigNode signature;
00053   /*@only@*/ nameNode name;
00054   /*@only@*/ typeNameNodeList namelist;
00055   /*@only@*/ replaceNode replace;       
00056   /*@only@*/ replaceNodeList replacelist;
00057   /*@only@*/ renamingNode renaming;
00058   /*@only@*/ traitRefNode traitref;
00059   /*@only@*/ traitRefNodeList traitreflist;
00060   /*@only@*/ importNode import;
00061   /*@only@*/ importNodeList importlist;
00062   /*@only@*/ interfaceNode iface;
00063   /*@only@*/ interfaceNodeList interfacelist; 
00064   /*@only@*/ CTypesNode ctypes;
00065 } YYSTYPE;
00066 #define simpleOp        257
00067 #define PREFIX_OP       258
00068 #define POSTFIX_OP      259
00069 #define LLT_MULOP       260
00070 #define LLT_SEMI        261
00071 #define LLT_VERTICALBAR 262
00072 #define ITERATION_OP    263
00073 #define LLT_LPAR        264
00074 #define LLT_LBRACKET    265
00075 #define selectSym       266
00076 #define LLT_IF_THEN_ELSE        267
00077 #define logicalOp       268
00078 #define eqSepSym        269
00079 #define equationSym     270
00080 #define commentSym      271
00081 #define LLT_WHITESPACE  272
00082 #define LLT_EOL 273
00083 #define LLT_TYPEDEF_NAME        274
00084 #define quantifierSym   275
00085 #define openSym 276
00086 #define closeSym        277
00087 #define sepSym  278
00088 #define simpleId        279
00089 #define mapSym  280
00090 #define markerSym       281
00091 #define preSym  282
00092 #define postSym 283
00093 #define anySym  284
00094 #define LLT_COLON       285
00095 #define LLT_COMMA       286
00096 #define LLT_EQUALS      287
00097 #define LLT_LBRACE      288
00098 #define LLT_RBRACE      289
00099 #define LLT_RBRACKET    290
00100 #define LLT_RPAR        291
00101 #define LLT_QUOTE       292
00102 #define eqOp    293
00103 #define LLT_CCHAR       294
00104 #define LLT_CFLOAT      295
00105 #define LLT_CINTEGER    296
00106 #define LLT_LCSTRING    297
00107 #define LLT_ALL 298
00108 #define LLT_ANYTHING    299
00109 #define LLT_BE  300
00110 #define LLT_BODY        301
00111 #define LLT_CLAIMS      302
00112 #define LLT_CHECKS      303
00113 #define LLT_CONSTANT    304
00114 #define LLT_ELSE        305
00115 #define LLT_ENSURES     306
00116 #define LLT_FOR 307
00117 #define LLT_FRESH       308
00118 #define LLT_IF  309
00119 #define LLT_IMMUTABLE   310
00120 #define LLT_IMPORTS     311
00121 #define LLT_CONSTRAINT  312
00122 #define LLT_ISSUB       313
00123 #define LLT_LET 314
00124 #define LLT_MODIFIES    315
00125 #define LLT_MUTABLE     316
00126 #define LLT_NOTHING     317
00127 #define LLT_INTERNAL    318
00128 #define LLT_FILESYS     319
00129 #define LLT_OBJ 320
00130 #define LLT_OUT 321
00131 #define LLT_SEF 322
00132 #define LLT_ONLY        323
00133 #define LLT_PARTIAL     324
00134 #define LLT_OWNED       325
00135 #define LLT_DEPENDENT   326
00136 #define LLT_KEEP        327
00137 #define LLT_KEPT        328
00138 #define LLT_TEMP        329
00139 #define LLT_SHARED      330
00140 #define LLT_UNIQUE      331
00141 #define LLT_UNUSED      332
00142 #define LLT_EXITS       333
00143 #define LLT_MAYEXIT     334
00144 #define LLT_NEVEREXIT   335
00145 #define LLT_TRUEEXIT    336
00146 #define LLT_FALSEEXIT   337
00147 #define LLT_UNDEF       338
00148 #define LLT_KILLED      339
00149 #define LLT_CHECKMOD    340
00150 #define LLT_CHECKED     341
00151 #define LLT_UNCHECKED   342
00152 #define LLT_CHECKEDSTRICT       343
00153 #define LLT_TRUENULL    344
00154 #define LLT_FALSENULL   345
00155 #define LLT_LNULL       346
00156 #define LLT_LNOTNULL    347
00157 #define LLT_RETURNED    348
00158 #define LLT_OBSERVER    349
00159 #define LLT_EXPOSED     350
00160 #define LLT_REFCOUNTED  351
00161 #define LLT_REFS        352
00162 #define LLT_RELNULL     353
00163 #define LLT_RELDEF      354
00164 #define LLT_KILLREF     355
00165 #define LLT_TEMPREF     356
00166 #define LLT_NEWREF      357
00167 #define LLT_PRIVATE     358
00168 #define LLT_REQUIRES    359
00169 #define LLT_RESULT      360
00170 #define LLT_SIZEOF      361
00171 #define LLT_SPEC        362
00172 #define LLT_TAGGEDUNION 363
00173 #define LLT_THEN        364
00174 #define LLT_TYPE        365
00175 #define LLT_TYPEDEF     366
00176 #define LLT_UNCHANGED   367
00177 #define LLT_USES        368
00178 #define LLT_CHAR        369
00179 #define LLT_CONST       370
00180 #define LLT_DOUBLE      371
00181 #define LLT_ENUM        372
00182 #define LLT_FLOAT       373
00183 #define LLT_INT 374
00184 #define LLT_ITER        375
00185 #define LLT_YIELD       376
00186 #define LLT_LONG        377
00187 #define LLT_SHORT       378
00188 #define LLT_SIGNED      379
00189 #define LLT_UNKNOWN     380
00190 #define LLT_STRUCT      381
00191 #define LLT_TELIPSIS    382
00192 #define LLT_UNION       383
00193 #define LLT_UNSIGNED    384
00194 #define LLT_VOID        385
00195 #define LLT_VOLATILE    386
00196 #define LLT_PRINTFLIKE  387
00197 #define LLT_SCANFLIKE   388
00198 #define LLT_MESSAGELIKE 389
00199 
00200 
00201 extern YYSTYPE yllval;