2 ** Inserted at beginning of c files generated by bison
3 ** REMEMBER: Change bison.reset too.
42 /*@-unqualifiedtrans@*/
49 /*drl added 11/27/2001*/
51 /* < end of bison.head > */
53 #ifndef BISON_LLGRAMMAR_TAB_H
54 # define BISON_LLGRAMMAR_TAB_H
59 ltoken ltok; /* a leaf is also an ltoken */
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;
124 # define YYSTYPE yystype
125 # define YYSTYPE_IS_TRIVIAL 1
127 # define simpleOp 257
128 # define PREFIX_OP 258
129 # define POSTFIX_OP 259
130 # define LLT_MULOP 260
131 # define LLT_SEMI 261
132 # define LLT_VERTICALBAR 262
133 # define ITERATION_OP 263
134 # define LLT_LPAR 264
135 # define LLT_LBRACKET 265
136 # define selectSym 266
137 # define LLT_IF_THEN_ELSE 267
138 # define logicalOp 268
139 # define eqSepSym 269
140 # define equationSym 270
141 # define commentSym 271
142 # define LLT_WHITESPACE 272
144 # define LLT_TYPEDEF_NAME 274
145 # define quantifierSym 275
147 # define closeSym 277
149 # define simpleId 279
151 # define markerSym 281
155 # define LLT_COLON 285
156 # define LLT_COMMA 286
157 # define LLT_EQUALS 287
158 # define LLT_LBRACE 288
159 # define LLT_RBRACE 289
160 # define LLT_RBRACKET 290
161 # define LLT_RPAR 291
162 # define LLT_QUOTE 292
164 # define LLT_CCHAR 294
165 # define LLT_CFLOAT 295
166 # define LLT_CINTEGER 296
167 # define LLT_LCSTRING 297
169 # define LLT_ANYTHING 299
171 # define LLT_BODY 301
172 # define LLT_CLAIMS 302
173 # define LLT_CHECKS 303
174 # define LLT_CONSTANT 304
175 # define LLT_ELSE 305
176 # define LLT_ENSURES 306
178 # define LLT_FRESH 308
180 # define LLT_IMMUTABLE 310
181 # define LLT_IMPORTS 311
182 # define LLT_CONSTRAINT 312
183 # define LLT_ISSUB 313
185 # define LLT_MODIFIES 315
186 # define LLT_MUTABLE 316
187 # define LLT_NOTHING 317
188 # define LLT_INTERNAL 318
189 # define LLT_FILESYS 319
193 # define LLT_ONLY 323
194 # define LLT_PARTIAL 324
195 # define LLT_OWNED 325
196 # define LLT_DEPENDENT 326
197 # define LLT_KEEP 327
198 # define LLT_KEPT 328
199 # define LLT_TEMP 329
200 # define LLT_SHARED 330
201 # define LLT_UNIQUE 331
202 # define LLT_UNUSED 332
203 # define LLT_EXITS 333
204 # define LLT_MAYEXIT 334
205 # define LLT_NEVEREXIT 335
206 # define LLT_TRUEEXIT 336
207 # define LLT_FALSEEXIT 337
208 # define LLT_UNDEF 338
209 # define LLT_KILLED 339
210 # define LLT_CHECKMOD 340
211 # define LLT_CHECKED 341
212 # define LLT_UNCHECKED 342
213 # define LLT_CHECKEDSTRICT 343
214 # define LLT_TRUENULL 344
215 # define LLT_FALSENULL 345
216 # define LLT_LNULL 346
217 # define LLT_LNOTNULL 347
218 # define LLT_RETURNED 348
219 # define LLT_OBSERVER 349
220 # define LLT_EXPOSED 350
221 # define LLT_REFCOUNTED 351
222 # define LLT_REFS 352
223 # define LLT_RELNULL 353
224 # define LLT_RELDEF 354
225 # define LLT_KILLREF 355
226 # define LLT_NULLTERMINATED 356
227 # define LLT_TEMPREF 357
228 # define LLT_NEWREF 358
229 # define LLT_PRIVATE 359
230 # define LLT_REQUIRES 360
231 # define LLT_RESULT 361
232 # define LLT_SIZEOF 362
233 # define LLT_SPEC 363
234 # define LLT_TAGGEDUNION 364
235 # define LLT_THEN 365
236 # define LLT_TYPE 366
237 # define LLT_TYPEDEF 367
238 # define LLT_UNCHANGED 368
239 # define LLT_USES 369
240 # define LLT_CHAR 370
241 # define LLT_CONST 371
242 # define LLT_DOUBLE 372
243 # define LLT_ENUM 373
244 # define LLT_FLOAT 374
246 # define LLT_ITER 376
247 # define LLT_YIELD 377
248 # define LLT_LONG 378
249 # define LLT_SHORT 379
250 # define LLT_SIGNED 380
251 # define LLT_UNKNOWN 381
252 # define LLT_STRUCT 382
253 # define LLT_TELIPSIS 383
254 # define LLT_UNION 384
255 # define LLT_UNSIGNED 385
256 # define LLT_VOID 386
257 # define LLT_VOLATILE 387
258 # define LLT_PRINTFLIKE 388
259 # define LLT_SCANFLIKE 389
260 # define LLT_MESSAGELIKE 390
263 extern YYSTYPE yllval;
265 #endif /* not BISON_LLGRAMMAR_TAB_H */
267 ** Resets all flags in bison.head
289 /*@=evalorderuncon@*/
298 /*@=elseifcomplete@*/
306 /*@=dependenttrans@*/
307 /*@=unqualifiedtrans@*/
311 /*drl added 11/27/2001*/