]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | /* |
c0de361f | 2 | ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003. |
885824d3 | 3 | ** See ../LICENSE for license information. |
4 | ** | |
5 | */ | |
6 | # ifndef ABSTRACT_H | |
7 | # define ABSTRACT_H | |
8 | ||
885824d3 | 9 | /* |
10 | ** These two are needed in symtable.c | |
11 | */ | |
12 | ||
13 | /*@constant int HT_MAXINDEX; @*/ | |
14 | # define HT_MAXINDEX 255 | |
15 | ||
16 | /* simply use the lower-order bits by masking out the higher order bits */ | |
17 | ||
18 | # include "ltoken.h" | |
19 | # include "ltokenList.h" | |
20 | ||
885824d3 | 21 | typedef enum |
22 | { | |
23 | TAG_ENUM, TAG_STRUCT, TAG_UNION, TAG_FWDSTRUCT, TAG_FWDUNION | |
24 | } tagKind; | |
25 | ||
26 | # include "importNode.h" | |
27 | # include "importNodeList.h" | |
28 | ||
29 | extern void checkBrackets (ltoken p_lb, ltoken p_rb); | |
30 | ||
31 | # include "sortList.h" | |
32 | # include "lsymbolList.h" | |
33 | ||
34 | # include "lsymbolSet.h" | |
35 | # include "sortSet.h" | |
36 | ||
37 | /* | |
38 | ** added pointer indirects to all typedefs, except as noted | |
39 | ** evs 94-01-05 | |
40 | */ | |
41 | ||
42 | # include "pairNode.h" | |
43 | # include "pairNodeList.h" | |
44 | ||
28bf4b0b | 45 | # include "declaratorNode.h" |
46 | # include "declaratorNodeList.h" | |
47 | ||
885824d3 | 48 | # include "declaratorInvNode.h" |
49 | # include "declaratorInvNodeList.h" | |
50 | ||
51 | # include "typeExpr.h" /* also defines abstDeclaratorNode */ | |
52 | ||
885824d3 | 53 | # include "arrayQualNode.h" |
54 | ||
55 | # include "varNode.h" | |
56 | # include "varNodeList.h" | |
57 | ||
58 | # include "quantifierNode.h" | |
59 | # include "quantifierNodeList.h" | |
60 | ||
61 | # include "storeRefNode.h" | |
62 | # include "storeRefNodeList.h" | |
63 | ||
64 | # include "modifyNode.h" | |
65 | ||
66 | # include "letDeclNode.h" | |
67 | # include "letDeclNodeList.h" | |
68 | ||
69 | # include "programNode.h" | |
70 | # include "programNodeList.h" | |
71 | ||
72 | # include "lclPredicateNode.h" | |
73 | # include "exposedNode.h" | |
74 | ||
75 | typedef enum { | |
76 | TK_ABSTRACT, TK_EXPOSED, TK_UNION | |
77 | } typeKind ; | |
78 | ||
79 | # include "CTypesNode.h" | |
80 | ||
81 | # include "initDeclNode.h" | |
82 | # include "initDeclNodeList.h" | |
83 | ||
84 | # include "constDeclarationNode.h" | |
85 | ||
86 | typedef enum { | |
87 | QLF_NONE, QLF_CONST, QLF_VOLATILE | |
88 | } qualifierKind; | |
89 | ||
90 | # include "varDeclarationNode.h" | |
91 | # include "varDeclarationNodeList.h" | |
92 | ||
93 | # include "globalList.h" | |
94 | ||
95 | # include "claimNode.h" | |
96 | ||
97 | # include "fcnNode.h" | |
98 | # include "fcnNodeList.h" | |
99 | ||
100 | # include "iterNode.h" | |
101 | ||
102 | # include "abstBodyNode.h" | |
103 | # include "abstractNode.h" | |
104 | ||
105 | # include "stDeclNode.h" | |
106 | # include "stDeclNodeList.h" | |
107 | ||
108 | # include "taggedUnionNode.h" | |
109 | # include "typeNode.h" | |
110 | ||
111 | # include "strOrUnionNode.h" | |
112 | # include "enumSpecNode.h" | |
113 | ||
114 | # include "lclTypeSpecNode.h" | |
115 | # include "typeNamePack.h" | |
116 | ||
117 | # include "typeNameNode.h" | |
118 | # include "typeNameNodeList.h" /* this is a list of typeNameNode's */ | |
119 | ||
120 | # include "opFormNode.h" | |
121 | ||
122 | # include "quantifiedTermNode.h" | |
123 | ||
124 | typedef enum { | |
125 | TRM_LITERAL, TRM_CONST, TRM_VAR, | |
126 | TRM_ZEROARY, TRM_APPLICATION, TRM_QUANTIFIER, | |
127 | TRM_UNCHANGEDALL, TRM_UNCHANGEDOTHERS, | |
128 | TRM_SIZEOF | |
129 | } termKIND; | |
130 | ||
131 | # include "sigNode.h" | |
132 | # include "sigNodeSet.h" | |
133 | ||
134 | # include "signNode.h" | |
135 | # include "nameNode.h" | |
136 | ||
137 | # include "lslOp.h" | |
138 | # include "lslOpSet.h" | |
139 | ||
140 | # include "replaceNode.h" | |
141 | # include "replaceNodeList.h" | |
142 | ||
143 | # include "renamingNode.h" | |
144 | ||
145 | # include "traitRefNode.h" | |
146 | # include "traitRefNodeList.h" | |
147 | ||
148 | # include "exportNode.h" | |
149 | # include "privateNode.h" | |
150 | ||
151 | # include "interfaceNode.h" | |
152 | # include "interfaceNodeList.h" /* note: interfaceList --> interfaceNodeList */ | |
153 | ||
154 | # include "termNode.h" | |
155 | # include "termNodeList.h" | |
156 | # include "stmtNode.h" | |
157 | ||
158 | /* The following are for parsing LSL signatures */ | |
159 | ||
160 | # include "sortSetList.h" | |
161 | # include "lslOpList.h" | |
162 | ||
163 | /* function prototypes for parsing LSL signatures */ | |
164 | ||
165 | extern /*@only@*/ lslOp | |
166 | makelslOpNode (/*@only@*/ /*@null@*/ nameNode p_name, | |
167 | /*@dependent@*/ sigNode p_s); | |
168 | ||
169 | extern /*@only@*/ cstring lslOp_unparse (lslOp p_x); | |
170 | ||
171 | /*@notfunction@*/ | |
172 | # define MASH(x,y) \ | |
173 | (/*@+enumint@*/ (((unsigned) ((x)+1) << 1) + (y)) & HT_MAXINDEX /*@=enumint@*/) | |
174 | ||
175 | extern void abstract_init (void); | |
176 | extern void resetImports (cstring p_current) ; | |
177 | ||
178 | extern interfaceNodeList | |
179 | consInterfaceNode (/*@only@*/ interfaceNode p_n, /*@returned@*/ interfaceNodeList p_ns); | |
180 | ||
181 | /* evs 8 Sept 1993 changed to importNodeList */ | |
182 | extern /*@only@*/ interfaceNode | |
183 | makeInterfaceNodeImports (/*@only@*/ importNodeList p_x); | |
184 | ||
185 | extern /*@only@*/ nameNode | |
186 | makeNameNodeForm (/*@only@*/ /*@null@*/ opFormNode p_opform) /*@*/ ; | |
187 | extern /*@only@*/ nameNode | |
188 | makeNameNodeId (/*@only@*/ ltoken p_opid) /*@*/ ; | |
189 | extern /*@only@*/ interfaceNode | |
190 | makeInterfaceNodeUses (/*@only@*/ traitRefNodeList p_x) /*@*/ ; | |
191 | extern /*@only@*/ interfaceNode | |
192 | interfaceNode_makeConst (/*@only@*/ constDeclarationNode p_x) /*@*/ ; | |
193 | extern /*@only@*/ interfaceNode | |
194 | interfaceNode_makeVar (/*@only@*/ varDeclarationNode p_x) /*@*/ ; | |
195 | extern /*@only@*/ interfaceNode | |
196 | interfaceNode_makeType (/*@only@*/ typeNode p_x) /*@*/ ; | |
197 | extern /*@only@*/ interfaceNode | |
198 | interfaceNode_makeFcn (/*@only@*/ fcnNode p_x) /*@*/ ; | |
199 | extern /*@only@*/ interfaceNode | |
200 | interfaceNode_makeClaim (/*@only@*/ claimNode p_x) /*@*/ ; | |
201 | extern /*@only@*/ interfaceNode interfaceNode_makeIter (/*@only@*/ iterNode p_x) /*@*/ ; | |
202 | extern /*@only@*/ interfaceNode interfaceNode_makePrivConst(/*@only@*/ constDeclarationNode p_x) /*@*/ ; | |
203 | extern /*@only@*/ interfaceNode | |
204 | interfaceNode_makePrivVar(/*@only@*/ varDeclarationNode p_x) /*@*/ ; | |
205 | extern /*@only@*/ interfaceNode | |
206 | interfaceNode_makePrivType(/*@only@*/ typeNode p_x) /*@*/ ; | |
207 | extern /*@only@*/ interfaceNode | |
208 | interfaceNode_makePrivFcn(/*@only@*/ fcnNode p_x) /*@*/ ; | |
209 | extern /*@only@*/ typeNode makeAbstractTypeNode (/*@only@*/ abstractNode p_x) /*@*/ ; | |
210 | extern /*@only@*/ typeNode makeExposedTypeNode (/*@only@*/ exposedNode p_x) /*@*/ ; | |
211 | ||
212 | extern /*@only@*/ traitRefNode | |
213 | makeTraitRefNode(/*@only@*/ ltokenList p_fl, /*@null@*/ /*@only@*/ renamingNode p_r) /*@*/ ; | |
214 | ||
215 | extern /*@only@*/ cstring printLeaves2 (ltokenList p_f) /*@*/ ; | |
216 | extern /*@only@*/ cstring printRawLeaves2 (ltokenList p_f) /*@*/ ; | |
217 | extern /*@only@*/ cstring sigNode_unparseText (/*@null@*/ sigNode p_n) /*@*/ ; | |
218 | ||
219 | extern /*@only@*/ renamingNode | |
220 | makeRenamingNode (/*@only@*/ typeNameNodeList p_n, | |
221 | /*@only@*/ replaceNodeList p_r) /*@*/ ; | |
222 | extern /*@only@*/ replaceNode | |
223 | makeReplaceNode (/*@only@*/ ltoken p_t, /*@only@*/ typeNameNode p_tn, bool p_is_ctype, | |
224 | /*@only@*/ ltoken p_ct, | |
225 | /*@null@*/ /*@only@*/ nameNode p_nn, | |
226 | /*@null@*/ /*@only@*/ sigNode p_sn) /*@*/ ; | |
227 | ||
228 | extern /*@only@*/ sigNode | |
229 | makesigNode (/*@only@*/ ltoken p_t, /*@only@*/ ltokenList p_domain, /*@only@*/ ltoken p_range) /*@*/ ; | |
230 | ||
231 | extern /*@only@*/ replaceNode | |
232 | makeReplaceNameNode (/*@only@*/ ltoken p_t, /*@only@*/ typeNameNode p_tn, | |
233 | /*@only@*/ nameNode p_nn) /*@*/ ; | |
234 | ||
235 | extern /*@only@*/ opFormNode | |
236 | makeOpFormNode(/*@only@*/ ltoken p_t, opFormKind p_k, | |
237 | opFormUnion p_u, /*@only@*/ ltoken p_close) /*@*/ ; | |
238 | ||
239 | extern /*@only@*/ typeNameNode | |
240 | makeTypeNameNode (bool p_isObj, /*@only@*/ lclTypeSpecNode p_t, | |
241 | /*@only@*/ abstDeclaratorNode p_n) /*@*/ ; | |
242 | extern /*@only@*/ typeNameNode | |
243 | makeTypeNameNodeOp (/*@only@*/ opFormNode p_n) /*@*/ ; | |
244 | ||
245 | extern /*@only@*/ lclTypeSpecNode | |
246 | makeLclTypeSpecNodeConj (/*@only@*/ /*@null@*/ lclTypeSpecNode p_a, | |
247 | /*@only@*/ /*@null@*/ lclTypeSpecNode p_b) /*@*/ ; | |
248 | ||
249 | extern /*@only@*/ lclTypeSpecNode | |
250 | makeLclTypeSpecNodeType(/*@only@*/ /*@null@*/ CTypesNode p_x) /*@*/ ; | |
251 | ||
252 | extern /*@only@*/ lclTypeSpecNode | |
253 | makeLclTypeSpecNodeSU(/*@only@*/ /*@null@*/ strOrUnionNode p_x) /*@*/ ; | |
254 | ||
255 | extern /*@only@*/ lclTypeSpecNode | |
256 | makeLclTypeSpecNodeEnum(/*@only@*/ /*@null@*/ enumSpecNode p_x) /*@*/ ; | |
257 | ||
258 | extern /*@only@*/ lclTypeSpecNode | |
259 | lclTypeSpecNode_addQual (/*@only@*/ lclTypeSpecNode p_n, qual p_q) | |
260 | /*@modifies p_n@*/ ; | |
261 | ||
262 | extern /*@only@*/ enumSpecNode | |
263 | makeEnumSpecNode (/*@only@*/ ltoken p_t, /*@only@*/ ltoken p_optTagId, /*@owned@*/ ltokenList p_enums); | |
264 | ||
265 | extern /*@only@*/ enumSpecNode | |
266 | makeEnumSpecNode2 (/*@only@*/ ltoken p_t, /*@only@*/ ltoken p_tagid); | |
267 | ||
268 | extern /*@only@*/ strOrUnionNode | |
269 | makestrOrUnionNode (/*@only@*/ ltoken p_str, suKind p_k, | |
270 | /*@only@*/ ltoken p_opttagid, /*@only@*/ stDeclNodeList p_x); | |
271 | ||
272 | extern /*@only@*/ strOrUnionNode | |
273 | makeForwardstrOrUnionNode (/*@only@*/ ltoken p_str, suKind p_k, | |
274 | /*@only@*/ ltoken p_tagid); | |
275 | ||
276 | extern /*@only@*/ stDeclNode | |
277 | makestDeclNode (/*@only@*/ lclTypeSpecNode p_s, | |
278 | /*@only@*/ declaratorNodeList p_x); | |
279 | extern /*@only@*/ constDeclarationNode | |
280 | makeConstDeclarationNode (/*@only@*/ lclTypeSpecNode p_t, | |
281 | /*@only@*/ initDeclNodeList p_decls); | |
282 | extern /*@only@*/ varDeclarationNode | |
283 | makeVarDeclarationNode (/*@only@*/ lclTypeSpecNode p_t, | |
284 | /*@only@*/ initDeclNodeList p_x, | |
285 | bool p_isGlobal, bool p_isPrivate); | |
286 | ||
287 | extern varDeclarationNode makeFileSystemNode (void); | |
288 | extern varDeclarationNode makeInternalStateNode (void); | |
289 | ||
290 | extern /*@only@*/ initDeclNode | |
291 | makeInitDeclNode (/*@only@*/ declaratorNode p_d, /*@null@*/ /*@only@*/ termNode p_x); | |
292 | ||
293 | extern /*@only@*/ abstractNode | |
294 | makeAbstractNode (/*@only@*/ ltoken p_t, /*@only@*/ ltoken p_name, | |
295 | bool p_isMutable, bool p_isRefCounted, | |
296 | /*@only@*/ abstBodyNode p_a); | |
297 | ||
298 | extern /*@unused@*/ /*@only@*/ cstring abstBodyNode_unparseExposed (abstBodyNode p_n); | |
299 | ||
300 | extern /*@only@*/ exposedNode | |
301 | makeExposedNode (/*@only@*/ ltoken p_t, /*@only@*/ lclTypeSpecNode p_s, | |
302 | /*@only@*/ declaratorInvNodeList p_d); | |
303 | ||
304 | extern /*@only@*/ declaratorInvNode | |
305 | makeDeclaratorInvNode (/*@only@*/ declaratorNode p_d, | |
306 | /*@only@*/ abstBodyNode p_b); | |
307 | ||
308 | extern /*@only@*/ fcnNode | |
309 | fcnNode_fromDeclarator (/*@only@*/ /*@null@*/ lclTypeSpecNode p_t, | |
310 | /*@only@*/ declaratorNode p_d); | |
311 | ||
312 | extern /*@only@*/ fcnNode | |
313 | makeFcnNode (qual p_specQual, | |
314 | /*@only@*/ /*@null@*/ lclTypeSpecNode p_t, | |
315 | /*@only@*/ declaratorNode p_d, | |
316 | /*@only@*/ /*@null@*/ globalList p_g, | |
317 | /*@only@*/ /*@null@*/ varDeclarationNodeList p_privateinits, | |
318 | /*@only@*/ /*@null@*/ letDeclNodeList p_lets, | |
319 | /*@only@*/ /*@null@*/ lclPredicateNode p_checks, | |
320 | /*@only@*/ /*@null@*/ lclPredicateNode p_requires, | |
321 | /*@only@*/ /*@null@*/ modifyNode p_m, | |
322 | /*@only@*/ /*@null@*/ lclPredicateNode p_ensures, | |
323 | /*@only@*/ /*@null@*/ lclPredicateNode p_claims); | |
324 | ||
325 | extern /*@only@*/ iterNode | |
326 | makeIterNode (/*@only@*/ ltoken p_id, /*@only@*/ paramNodeList p_p); | |
327 | ||
328 | extern /*@only@*/ claimNode | |
329 | makeClaimNode (/*@only@*/ ltoken p_id, | |
330 | /*@only@*/ paramNodeList p_p, | |
331 | /*@only@*/ /*@null@*/ globalList p_g, | |
332 | /*@only@*/ /*@null@*/ letDeclNodeList p_lets, | |
333 | /*@only@*/ /*@null@*/ lclPredicateNode p_requires, | |
334 | /*@only@*/ /*@null@*/ programNode p_b, | |
335 | /*@only@*/ /*@null@*/ lclPredicateNode p_ensures); | |
336 | ||
337 | extern /*@only@*/ lclPredicateNode | |
338 | makeIntraClaimNode (/*@only@*/ ltoken p_t, /*@only@*/ lclPredicateNode p_n); | |
339 | ||
340 | extern /*@only@*/ lclPredicateNode | |
341 | makeRequiresNode (/*@only@*/ ltoken p_t, /*@only@*/ lclPredicateNode p_n); | |
342 | ||
343 | extern /*@only@*/ lclPredicateNode | |
344 | makeChecksNode (/*@only@*/ ltoken p_t, /*@only@*/ lclPredicateNode p_n); | |
345 | ||
346 | extern /*@only@*/ lclPredicateNode | |
347 | makeEnsuresNode (/*@only@*/ ltoken p_t, /*@only@*/ lclPredicateNode p_n); | |
348 | ||
349 | extern /*@only@*/ lclPredicateNode | |
350 | makeLclPredicateNode (/*@only@*/ ltoken p_t, /*@only@*/ termNode p_n, | |
351 | lclPredicateKind p_k); | |
352 | ||
353 | extern /*@only@*/ stmtNode | |
354 | makeStmtNode (/*@only@*/ ltoken p_varId, | |
355 | /*@only@*/ ltoken p_fcnId, /*@only@*/ termNodeList p_v); | |
356 | ||
357 | extern /*@only@*/ programNode | |
358 | makeProgramNodeAction (/*@only@*/ programNodeList p_x, actionKind p_k); | |
359 | ||
360 | extern /*@only@*/ programNode | |
361 | makeProgramNode (/*@only@*/ stmtNode p_x); | |
362 | ||
363 | extern /*@only@*/ storeRefNode | |
364 | makeStoreRefNodeTerm (/*@only@*/ termNode p_t); | |
365 | ||
366 | extern /*@only@*/ storeRefNode | |
367 | makeStoreRefNodeType (/*@only@*/ lclTypeSpecNode p_t, bool p_isObj); | |
368 | ||
369 | extern /*@only@*/ modifyNode | |
370 | makeModifyNodeSpecial (/*@only@*/ ltoken p_t, bool p_modifiesNothing); | |
371 | ||
372 | extern storeRefNode makeStoreRefNodeInternal (void); | |
373 | extern storeRefNode makeStoreRefNodeSystem (void); | |
374 | ||
375 | extern /*@only@*/ modifyNode | |
376 | makeModifyNodeRef (/*@only@*/ ltoken p_t, /*@only@*/ storeRefNodeList p_y); | |
377 | ||
378 | extern /*@only@*/ letDeclNode | |
379 | makeLetDeclNode(/*@only@*/ ltoken p_varid, /*@null@*/ /*@only@*/ lclTypeSpecNode p_t, | |
380 | /*@only@*/ termNode p_term); | |
381 | ||
382 | extern /*@only@*/ abstBodyNode | |
383 | makeAbstBodyNode (/*@only@*/ ltoken p_t, /*@only@*/ fcnNodeList p_f); | |
384 | ||
385 | extern /*@only@*/ abstBodyNode | |
386 | makeExposedBodyNode (/*@only@*/ ltoken p_t, /*@only@*/ lclPredicateNode p_inv); | |
387 | ||
388 | extern /*@only@*/ abstBodyNode | |
389 | makeAbstBodyNode2 (/*@only@*/ ltoken p_t, /*@only@*/ ltokenList p_ops); | |
390 | ||
391 | extern paramNode markYieldParamNode (/*@returned@*/ paramNode p_p); | |
392 | ||
393 | extern /*@only@*/ arrayQualNode | |
394 | makeArrayQualNode (/*@only@*/ ltoken p_t, /*@null@*/ /*@only@*/ termNode p_term); | |
395 | ||
396 | extern /*@only@*/ quantifierNode | |
397 | makeQuantifierNode (/*@only@*/ varNodeList p_v, /*@only@*/ ltoken p_quant); | |
398 | ||
399 | extern /*@only@*/ varNode | |
400 | makeVarNode (/*@only@*/ ltoken p_varid, bool p_isObj, /*@only@*/ lclTypeSpecNode p_t); | |
401 | ||
402 | extern /*@only@*/ typeExpr makeTypeExpr (/*@only@*/ ltoken p_t); | |
403 | ||
404 | extern /*@only@*/ declaratorNode | |
405 | makeDeclaratorNode (/*@only@*/ typeExpr p_t); | |
406 | ||
407 | extern /*@only@*/ typeExpr | |
408 | makeFunctionNode (/*@null@*/ /*@only@*/ typeExpr p_x, /*@only@*/ paramNodeList p_p); | |
409 | ||
410 | extern /*@only@*/ typeExpr | |
411 | makePointerNode (/*@only@*/ ltoken p_star, /*@null@*/ /*@only@*/ /*@returned@*/ typeExpr p_x); | |
412 | ||
413 | extern /*@only@*/ typeExpr | |
414 | makeArrayNode (/*@only@*/ /*@returned@*/ /*@null@*/ typeExpr p_x, | |
415 | /*@only@*/ arrayQualNode p_a); | |
416 | ||
417 | extern /*@only@*/ paramNode | |
418 | makeParamNode (/*@only@*/ lclTypeSpecNode p_t, /*@only@*/ typeExpr p_d); | |
419 | ||
420 | extern /*@only@*/ termNode | |
421 | makeIfTermNode (/*@only@*/ ltoken p_ift, /*@only@*/ termNode p_ifn, | |
422 | /*@only@*/ ltoken p_thent, /*@only@*/ termNode p_thenn, | |
423 | /*@only@*/ ltoken p_elset, /*@only@*/ termNode p_elsen); | |
424 | ||
425 | extern /*@only@*/ termNode | |
426 | makeQuantifiedTermNode (/*@only@*/ quantifierNodeList p_qn, | |
427 | /*@only@*/ ltoken p_open, | |
428 | /*@only@*/ termNode p_t, /*@only@*/ ltoken p_close); | |
429 | ||
430 | extern /*@only@*/ termNode | |
431 | makeInfixTermNode (/*@only@*/ termNode p_x, /*@only@*/ ltoken p_op, | |
432 | /*@only@*/ termNode p_y); | |
433 | ||
434 | extern /*@only@*/ termNode | |
435 | makePostfixTermNode (/*@returned@*/ /*@only@*/ termNode p_secondary, | |
436 | /*@only@*/ ltokenList p_postfixops); | |
437 | ||
438 | extern /*@only@*/ termNode | |
439 | makePostfixTermNode2 (/*@only@*/ /*@returned@*/ termNode p_secondary, | |
440 | /*@only@*/ ltoken p_postfixop); | |
441 | ||
442 | extern /*@only@*/ termNode | |
443 | makePrefixTermNode (/*@only@*/ ltoken p_op, /*@only@*/ termNode p_arg); | |
444 | ||
445 | extern /*@exposed@*/ termNode | |
446 | CollapseInfixTermNode (/*@returned@*/ termNode p_secondary, termNodeList p_infix); | |
447 | ||
448 | extern /*@only@*/ termNode | |
449 | makeMatchedNode (/*@only@*/ ltoken p_open, | |
450 | /*@only@*/ termNodeList p_args, /*@only@*/ ltoken p_close); | |
451 | ||
452 | extern /*@only@*/ termNode | |
453 | makeSqBracketedNode (/*@only@*/ ltoken p_lbracket, | |
454 | /*@only@*/ termNodeList p_args, | |
455 | /*@only@*/ ltoken p_rbracket); | |
456 | ||
457 | extern /*@only@*/ termNode | |
458 | updateSqBracketedNode (/*@null@*/ /*@only@*/ termNode p_left, | |
459 | /*@only@*/ /*@returned@*/ termNode p_t, | |
460 | /*@null@*/ /*@only@*/ termNode p_right); | |
461 | ||
462 | extern termNode | |
463 | updateMatchedNode (/*@null@*/ /*@only@*/ termNode p_left, /*@returned@*/ termNode p_t, | |
464 | /*@null@*/ /*@only@*/ termNode p_right); | |
465 | ||
466 | extern /*@only@*/ termNode | |
467 | makeSimpleTermNode (/*@only@*/ ltoken p_varid); | |
468 | extern /*@only@*/ termNode | |
469 | makeSelectTermNode (/*@only@*/ termNode p_pri, /*@only@*/ ltoken p_select, | |
470 | /*@dependent@*/ ltoken p_id); | |
471 | extern /*@only@*/ termNode | |
472 | makeMapTermNode (/*@only@*/ termNode p_pri, /*@only@*/ ltoken p_map, | |
473 | /*@dependent@*/ ltoken p_id); | |
474 | extern /*@only@*/ termNode | |
475 | makeLiteralTermNode (/*@only@*/ ltoken p_tok, sort p_s); | |
476 | ||
477 | extern /*@only@*/ termNode | |
478 | makeUnchangedTermNode1 (/*@only@*/ ltoken p_op, /*@only@*/ ltoken p_all); | |
479 | extern /*@only@*/ termNode | |
480 | makeUnchangedTermNode2 (/*@only@*/ ltoken p_op, /*@only@*/ storeRefNodeList p_x); | |
481 | extern /*@only@*/ termNode | |
482 | makeSizeofTermNode(/*@only@*/ ltoken p_op, /*@only@*/ lclTypeSpecNode p_type); | |
483 | extern /*@only@*/ termNode | |
484 | makeOpCallTermNode (/*@only@*/ ltoken p_op, /*@only@*/ ltoken p_open, | |
485 | /*@only@*/ termNodeList p_args, /*@only@*/ ltoken p_close); | |
486 | ||
487 | extern sort sigNode_rangeSort (sigNode p_sig); | |
488 | ||
489 | extern /*@only@*/ sortList sigNode_domain (sigNode p_sig); | |
490 | ||
491 | extern bool sameNameNode (/*@null@*/ nameNode p_n1, /*@null@*/ nameNode p_n2); | |
492 | ||
493 | extern /*@only@*/ CTypesNode | |
494 | makeCTypesNode (/*@null@*/ /*@only@*/ CTypesNode p_ctypes, /*@only@*/ ltoken p_ct); | |
495 | ||
496 | extern /*@only@*/ CTypesNode | |
497 | makeTypeSpecifier (/*@only@*/ ltoken p_typedefname) ; | |
498 | ||
499 | extern bool sigNode_equal (sigNode p_n1, sigNode p_n2); | |
500 | ||
501 | extern sort lclTypeSpecNode2sort(lclTypeSpecNode p_type); | |
502 | ||
503 | extern sort typeExpr2ptrSort(sort p_base, /*@null@*/ typeExpr p_t); | |
504 | ||
505 | /* should be tagKind, instead of int */ | |
506 | extern lsymbol checkAndEnterTag(tagKind p_k, /*@only@*/ ltoken p_opttagid); | |
507 | extern void enteringFcnScope(lclTypeSpecNode p_t, declaratorNode p_d, globalList p_g); | |
508 | extern void enteringClaimScope (paramNodeList p_params, globalList p_g); | |
509 | ||
510 | extern /*@observer@*/ ltoken nameNode_errorToken (/*@null@*/ nameNode p_nn); | |
511 | extern /*@observer@*/ ltoken termNode_errorToken (/*@null@*/ termNode p_n); | |
512 | extern /*@observer@*/ ltoken lclTypeSpecNode_errorToken (/*@null@*/ lclTypeSpecNode p_t); | |
513 | ||
514 | extern opFormUnion opFormUnion_createAnyOp (ltoken p_t); | |
515 | extern opFormUnion opFormUnion_createMiddle (int p_middle); | |
516 | extern void LCLBuiltins (void); | |
517 | extern /*@only@*/ paramNode paramNode_elipsis (void); | |
518 | extern termNodeList | |
519 | pushInfixOpPartNode (/*@returned@*/ termNodeList p_x, /*@only@*/ ltoken p_op, | |
520 | /*@only@*/ termNode p_secondary); | |
521 | extern /*@only@*/ cstring declaratorNode_unparseCode (declaratorNode p_x); | |
522 | ||
523 | extern /*@only@*/ cstring typeExpr_name (/*@null@*/ typeExpr p_x); | |
524 | ||
525 | extern void setExposedType (lclTypeSpecNode p_s); | |
526 | extern void declareForwardType (declaratorNode p_declare); | |
527 | ||
528 | extern /*@only@*/ declaratorNode declaratorNode_copy (declaratorNode p_x); | |
529 | ||
530 | extern bool lslOp_equal (lslOp p_x, lslOp p_y); | |
531 | ||
532 | extern void lsymbol_setbool (lsymbol p_s) /*@modifies internalState@*/ ; | |
533 | extern lsymbol lsymbol_getbool (void); | |
534 | extern lsymbol lsymbol_getBool (void); | |
535 | extern lsymbol lsymbol_getTRUE (void); | |
536 | extern lsymbol lsymbol_getFALSE (void); | |
537 | ||
538 | ||
539 | # else | |
540 | # error "Multiple include" | |
541 | # endif |