]>
Commit | Line | Data |
---|---|---|
864101ed | 1 | /* |
2 | ** Inserted at beginning of c files generated by bison | |
3 | ** REMEMBER: Change bison.reset too. | |
4 | */ | |
5 | ||
6 | /*@-allmacros@*/ | |
7 | /*@+boolint@*/ | |
8 | /*@+charint@*/ | |
9 | /*@-macroparams@*/ | |
10 | /*@-macroundef@*/ | |
11 | /*@-unreachable@*/ | |
12 | /*@-macrospec@*/ | |
13 | /*@-varuse@*/ | |
14 | /*@+ignorequals@*/ | |
15 | /*@-macrostmt@*/ | |
16 | /*@-noeffect@*/ | |
17 | /*@-shadow@*/ | |
18 | /*@-exitarg@*/ | |
19 | /*@-macroredef@*/ | |
20 | /*@-uniondef@*/ | |
21 | /*@-compdef@*/ | |
22 | /*@-matchfields@*/ | |
23 | /*@-exportlocal@*/ | |
24 | /*@-evalorderuncon@*/ | |
25 | /*@-exportheader@*/ | |
26 | /*@-typeuse@*/ | |
27 | /*@-redecl@*/ | |
28 | /*@-redef@*/ | |
29 | /*@-noparams@*/ | |
30 | /*@-ansireserved@*/ | |
31 | /*@-fielduse@*/ | |
32 | /*@-ifblock@*/ | |
33 | /*@-elseifcomplete@*/ | |
34 | /*@-whileblock@*/ | |
35 | /*@-forblock@*/ | |
36 | /*@-branchstate@*/ | |
37 | /*@-readonlytrans@*/ | |
38 | /*@-namechecks@*/ | |
39 | /*@-usedef@*/ | |
40 | /*@-systemunrecog@*/ | |
41 | /*@-dependenttrans@*/ | |
42 | /*@-unqualifiedtrans@*/ | |
43 | /*@-nullassign@*/ | |
44 | /*@-nullpass@*/ | |
45 | /*@-nullptrarith*/ | |
46 | /*@-usereleased@*/ | |
47 | /*@-declundef@*/ | |
48 | ||
49 | /*drl added 11/27/2001*/ | |
50 | /*@-bounds@*/ | |
e015e087 | 51 | |
52 | /*drl added 12/11/2002*/ | |
53 | /*@-type@*/ | |
54 | ||
864101ed | 55 | /* < end of bison.head > */ |
56 | ||
368f75ae | 57 | #ifndef BISON_LLGRAMMAR_TAB_H |
58 | # define BISON_LLGRAMMAR_TAB_H | |
e5081f8c | 59 | |
368f75ae | 60 | #ifndef YYSTYPE |
61 | typedef union | |
62 | { | |
864101ed | 63 | ltoken ltok; /* a leaf is also an ltoken */ |
64 | qual typequal; | |
65 | unsigned int count; | |
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; | |
f9264521 | 98 | /*@only@*/ pointers pointers; |
864101ed | 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; | |
126 | /*@-redef@*/ | |
368f75ae | 127 | } yystype; |
128 | # define YYSTYPE yystype | |
e5081f8c | 129 | # define YYSTYPE_IS_TRIVIAL 1 |
130 | #endif | |
368f75ae | 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 | |
147 | # define LLT_EOL 273 | |
148 | # define LLT_TYPEDEF_NAME 274 | |
149 | # define quantifierSym 275 | |
150 | # define openSym 276 | |
151 | # define closeSym 277 | |
152 | # define sepSym 278 | |
153 | # define simpleId 279 | |
154 | # define mapSym 280 | |
155 | # define markerSym 281 | |
156 | # define preSym 282 | |
157 | # define postSym 283 | |
158 | # define anySym 284 | |
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 | |
167 | # define eqOp 293 | |
168 | # define LLT_CCHAR 294 | |
169 | # define LLT_CFLOAT 295 | |
170 | # define LLT_CINTEGER 296 | |
171 | # define LLT_LCSTRING 297 | |
172 | # define LLT_ALL 298 | |
173 | # define LLT_ANYTHING 299 | |
174 | # define LLT_BE 300 | |
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 | |
181 | # define LLT_FOR 307 | |
182 | # define LLT_FRESH 308 | |
183 | # define LLT_IF 309 | |
184 | # define LLT_IMMUTABLE 310 | |
185 | # define LLT_IMPORTS 311 | |
186 | # define LLT_CONSTRAINT 312 | |
187 | # define LLT_ISSUB 313 | |
188 | # define LLT_LET 314 | |
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 | |
194 | # define LLT_OBJ 320 | |
195 | # define LLT_OUT 321 | |
196 | # define LLT_SEF 322 | |
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 | |
249 | # define LLT_INT 375 | |
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 | |
e5081f8c | 265 | |
8f58355a | 266 | |
368f75ae | 267 | extern YYSTYPE yllval; |
8f58355a | 268 | |
368f75ae | 269 | #endif /* not BISON_LLGRAMMAR_TAB_H */ |
864101ed | 270 | /* |
271 | ** Resets all flags in bison.head | |
272 | */ | |
273 | ||
274 | ||
275 | /*@=allmacros@*/ | |
276 | /*@=boolint@*/ | |
277 | /*@=charint@*/ | |
278 | /*@=macroparams@*/ | |
279 | /*@=macroundef@*/ | |
280 | /*@=unreachable@*/ | |
281 | /*@=macrospec@*/ | |
282 | /*@=varuse@*/ | |
283 | /*@=ignorequals@*/ | |
284 | /*@=macrostmt@*/ | |
285 | /*@=noeffect@*/ | |
286 | /*@=shadow@*/ | |
287 | /*@=exitarg@*/ | |
288 | /*@=macroredef@*/ | |
289 | /*@=uniondef@*/ | |
290 | /*@=compdef@*/ | |
291 | /*@=matchfields@*/ | |
292 | /*@=exportlocal@*/ | |
293 | /*@=evalorderuncon@*/ | |
294 | /*@=exportheader@*/ | |
295 | /*@=typeuse@*/ | |
296 | /*@=redecl@*/ | |
297 | /*@=redef@*/ | |
298 | /*@=noparams@*/ | |
299 | /*@=ansireserved@*/ | |
300 | /*@=fielduse@*/ | |
301 | /*@=ifblock@*/ | |
302 | /*@=elseifcomplete@*/ | |
303 | /*@=whileblock@*/ | |
304 | /*@=forblock@*/ | |
305 | /*@=branchstate@*/ | |
306 | /*@=readonlytrans@*/ | |
307 | /*@=namechecks@*/ | |
308 | /*@=usedef@*/ | |
309 | /*@=systemunrecog@*/ | |
310 | /*@=dependenttrans@*/ | |
311 | /*@=unqualifiedtrans@*/ | |
312 | /*@=declundef@*/ | |
313 | ||
314 | ||
315 | /*drl added 11/27/2001*/ | |
316 | /*@=bounds@*/ | |
e015e087 | 317 | |
318 | /*drl added 12/11/2002*/ | |
319 | /*@=type@*/ |