2 ** Inserted at beginning of c files generated by bison
3 ** REMEMBER: Change bison.reset too.
42 /*@-unqualifiedtrans@*/
49 /*drl added 11/27/2001*/
52 /*drl added 12/11/2002*/
55 /* < end of bison.head > */
57 #ifndef BISON_LLGRAMMAR_TAB_H
58 # define BISON_LLGRAMMAR_TAB_H
63 ltoken ltok; /* a leaf is also an ltoken */
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;
128 # define YYSTYPE yystype
129 # define YYSTYPE_IS_TRIVIAL 1
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
148 # define LLT_TYPEDEF_NAME 274
149 # define quantifierSym 275
151 # define closeSym 277
153 # define simpleId 279
155 # define markerSym 281
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
168 # define LLT_CCHAR 294
169 # define LLT_CFLOAT 295
170 # define LLT_CINTEGER 296
171 # define LLT_LCSTRING 297
173 # define LLT_ANYTHING 299
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
182 # define LLT_FRESH 308
184 # define LLT_IMMUTABLE 310
185 # define LLT_IMPORTS 311
186 # define LLT_CONSTRAINT 312
187 # define LLT_ISSUB 313
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
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
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
267 extern YYSTYPE yllval;
269 #endif /* not BISON_LLGRAMMAR_TAB_H */
271 ** Resets all flags in bison.head
293 /*@=evalorderuncon@*/
302 /*@=elseifcomplete@*/
310 /*@=dependenttrans@*/
311 /*@=unqualifiedtrans@*/
315 /*drl added 11/27/2001*/
318 /*drl added 12/11/2002*/