]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | /* |
28bf4b0b | 2 | ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001. |
885824d3 | 3 | ** See ../LICENSE for license information. |
4 | ** | |
5 | */ | |
6 | /* | |
7 | ** lctype.h | |
8 | ** | |
9 | ** renamed from ctype.h to avoid confusion with standard | |
10 | ** header file | |
11 | */ | |
12 | ||
13 | # ifndef CTYPE_H | |
14 | # define CTYPE_H | |
15 | ||
16 | /* | |
17 | ** since this is the header file for the ctype module, we need | |
18 | ** to use an access comment to provide access to the representation. | |
19 | */ | |
20 | ||
21 | /* in forwardTypes: typedef int ctype; */ | |
22 | ||
23 | typedef enum | |
24 | { | |
25 | CT_UNKNOWN, | |
26 | CT_PRIM, | |
27 | CT_USER, | |
28 | CT_ABST, | |
29 | CT_ENUM, | |
30 | CT_PTR, | |
31 | CT_ARRAY, | |
32 | CT_FIXEDARRAY, | |
33 | CT_FCN, | |
34 | CT_STRUCT, | |
35 | CT_UNION, | |
36 | CT_ENUMLIST, /* bogus type for keeping unnamed enums around */ | |
37 | CT_BOOL, /* since booleans aren't really prim's but we don't | |
38 | want them to be user or abst, they are a separate type */ | |
39 | CT_CONJ, /* conjunction */ | |
40 | CT_EXPFCN | |
41 | } ctuid ; | |
42 | ||
43 | /*@access ctype@*/ | |
44 | ||
45 | /* hack alert! */ | |
46 | ||
47 | /*@constant int CTK_ELIPS;@*/ | |
48 | # define CTK_ELIPS -23 | |
49 | ||
50 | /*@constant int CTK_MISSINGPARAMS;@*/ | |
51 | # define CTK_MISSINGPARAMS -37 | |
52 | ||
53 | /*@constant int CT_FIRST;@*/ | |
54 | # define CT_FIRST 0 | |
55 | ||
56 | /*@constant int CTK_PREDEFINED;@*/ | |
57 | # define CTK_PREDEFINED (CTX_LAST + 1) | |
58 | ||
59 | /*@constant int CTK_PREDEFINED2;@*/ | |
60 | # define CTK_PREDEFINED2 (CTK_PREDEFINED + CTK_PREDEFINED) | |
61 | ||
62 | /*@constant int LAST_PREDEFINED;@*/ | |
63 | # define LAST_PREDEFINED (CTK_PREDEFINED + CTK_PREDEFINED2) | |
64 | ||
65 | /*@constant int CTP_VOID;@*/ | |
66 | # define CTP_VOID (CTX_VOID + CTK_PREDEFINED) | |
67 | ||
68 | /*@constant int CTP_CHAR;@*/ | |
69 | # define CTP_CHAR (CTX_CHAR + CTK_PREDEFINED) | |
70 | ||
71 | /*@constant int CTK_BASESIZE;@*/ | |
72 | # define CTK_BASESIZE BIGBASESIZE | |
73 | ||
74 | typedef enum | |
75 | { | |
76 | CTK_UNKNOWN = -3, | |
77 | CTK_INVALID = -2, | |
78 | CTK_DNE = -1, | |
79 | CTK_PLAIN = 0, /* these must be in order */ | |
80 | CTK_PTR = 1, | |
81 | CTK_ARRAY = 2, | |
82 | CTK_COMPLEX = 3 | |
83 | } ctkind ; | |
84 | ||
85 | extern int ctkind_toInt (ctkind p_x); | |
86 | # define ctkind_toInt(x) ((int)(x)) | |
87 | ||
88 | /* | |
89 | ** ctypes are integer indexes into ctype table | |
90 | ** | |
91 | ** the most common ctypes are hard wired (see cprim.h) | |
92 | */ | |
93 | ||
94 | /*@constant ctype ctype_undefined; @*/ | |
95 | # define ctype_undefined ((ctype) CTK_INVALID) | |
96 | ||
97 | /*@constant ctype ctype_dne; @*/ | |
98 | # define ctype_dne ((ctype) CTK_DNE) | |
99 | ||
100 | /*@constant ctype ctype_unknown; @*/ | |
101 | # define ctype_unknown CTX_UNKNOWN | |
102 | ||
103 | /*@constant ctype ctype_void; @*/ | |
104 | # define ctype_void CTX_VOID | |
105 | ||
106 | /*@constant ctype ctype_char; @*/ | |
107 | # define ctype_char CTX_CHAR | |
108 | ||
109 | /*@constant ctype ctype_uchar; @*/ | |
110 | # define ctype_uchar CTX_UCHAR | |
111 | ||
112 | /*@constant ctype ctype_double; @*/ | |
113 | # define ctype_double CTX_DOUBLE | |
114 | ||
115 | /*@constant ctype ctype_ldouble; @*/ | |
116 | # define ctype_ldouble CTX_LDOUBLE | |
117 | ||
118 | /*@constant ctype ctype_float; @*/ | |
119 | # define ctype_float CTX_FLOAT | |
120 | ||
121 | /*@constant ctype ctype_int; @*/ | |
122 | # define ctype_int CTX_INT | |
123 | ||
124 | /*@constant ctype ctype_uint; @*/ | |
125 | # define ctype_uint CTX_UINT | |
126 | ||
127 | /*@constant ctype ctype_sint; @*/ | |
128 | # define ctype_sint CTX_SINT | |
129 | ||
130 | /*@constant ctype ctype_lint; @*/ | |
131 | # define ctype_lint CTX_LINT | |
132 | ||
133 | /*@constant ctype ctype_usint; @*/ | |
134 | # define ctype_usint CTX_USINT | |
135 | ||
136 | /*@constant ctype ctype_ulint; @*/ | |
137 | # define ctype_ulint CTX_ULINT | |
138 | ||
139 | /*@constant ctype ctype_llint; @*/ | |
140 | # define ctype_llint CTX_LLINT | |
141 | ||
142 | /*@constant ctype ctype_ullint; @*/ | |
143 | # define ctype_ullint CTX_ULLINT | |
144 | ||
145 | /*@constant ctype ctype_bool; @*/ | |
146 | # define ctype_bool CTX_BOOL | |
147 | ||
148 | /*@constant ctype ctype_string; @*/ | |
149 | # define ctype_string CTP_CHAR | |
150 | ||
151 | /*@constant ctype ctype_anyintegral @*/ | |
152 | # define ctype_anyintegral CTX_ANYINTEGRAL | |
153 | ||
154 | /*@constant ctype ctype_unsignedintegral @*/ | |
155 | # define ctype_unsignedintegral CTX_UNSIGNEDINTEGRAL | |
156 | ||
157 | /*@constant ctype ctype_signedintegral @*/ | |
158 | # define ctype_signedintegral CTX_SIGNEDINTEGRAL | |
159 | ||
160 | /*@constant ctype ctype_voidPointer; @*/ | |
161 | # define ctype_voidPointer CTP_VOID | |
162 | ||
163 | extern ctype ctype_forceRealType (ctype p_c); | |
164 | extern bool ctype_forceMatch (ctype p_c1, ctype p_c2); | |
a0a162cd | 165 | extern bool ctype_genMatch (ctype p_c1, ctype p_c2, bool p_force, bool p_arg, bool p_def, bool p_deep); |
885824d3 | 166 | |
167 | extern bool ctype_isSimple (ctype p_c) /*@*/ ; | |
168 | extern bool ctype_isAbstract (ctype p_c) /*@*/ ; | |
169 | extern bool ctype_isArray (ctype p_c) /*@*/ ; | |
170 | extern bool ctype_isFixedArray (ctype p_c) /*@*/ ; | |
171 | extern bool ctype_isIncompleteArray (ctype p_c) /*@*/ ; | |
172 | extern bool ctype_isArrayPtr (ctype p_c) /*@*/ ; | |
a0a162cd | 173 | extern bool ctype_isBool (ctype p_c) /*@*/ ; /* matches type bool */ |
174 | extern bool ctype_isManifestBool (ctype p_c) /*@*/ ; /* declared as type bool */ | |
885824d3 | 175 | extern bool ctype_isChar (ctype p_c) /*@*/ ; |
176 | extern bool ctype_isUnsignedChar (ctype p_c) /*@*/ ; | |
177 | extern bool ctype_isSignedChar (ctype p_c) /*@*/ ; | |
178 | extern bool ctype_isString (ctype p_c) /*@*/ ; | |
179 | extern bool ctype_isConj (ctype p_c) /*@*/ ; | |
180 | extern bool ctype_isDirectBool (ctype p_c) /*@*/ ; | |
181 | extern bool ctype_isDirectInt(ctype p_c) /*@*/ ; | |
182 | extern bool ctype_isEnum(ctype p_c) /*@*/ ; | |
183 | extern bool ctype_isExpFcn (ctype p_c) /*@*/ ; | |
184 | extern bool ctype_isFirstVoid (ctype p_c) /*@*/ ; | |
185 | extern bool ctype_isForceRealBool (ctype *p_c) /*@*/ ; | |
186 | extern bool ctype_isForceRealInt (ctype *p_c) /*@*/ ; | |
187 | extern bool ctype_isForceRealNumeric (ctype *p_c) /*@*/ ; | |
188 | extern bool ctype_isFunction (ctype p_c) /*@*/ ; | |
189 | extern bool ctype_isArbitraryIntegral (ctype p_c) /*@*/ ; | |
190 | extern bool ctype_isUnsignedIntegral (ctype p_c) /*@*/ ; | |
191 | extern bool ctype_isSignedIntegral (ctype p_c) /*@*/ ; | |
192 | extern bool ctype_isInt (ctype p_c) /*@*/ ; | |
193 | extern bool ctype_isRegularInt (ctype p_c) /*@*/ ; | |
194 | extern bool ctype_isMutable (ctype p_t) /*@*/ ; | |
28bf4b0b | 195 | extern bool ctype_isImmutableAbstract (ctype p_t) /*@*/ ; |
885824d3 | 196 | extern bool ctype_isNumeric (ctype p_c) /*@*/ ; |
197 | extern bool ctype_isPointer (ctype p_c) /*@*/ ; | |
198 | extern bool ctype_isReal (ctype p_c) /*@*/ ; | |
199 | extern /*@unused@*/ bool ctype_isFloat (ctype p_c) /*@*/ ; | |
200 | extern bool ctype_isDouble (ctype p_c) /*@*/ ; | |
201 | extern bool ctype_isSigned (ctype p_c) /*@*/ ; | |
202 | extern bool ctype_isUnsigned (ctype p_c) /*@*/ ; | |
203 | extern bool ctype_isRealAP (ctype p_c) /*@*/ ; | |
204 | extern bool ctype_isRealAbstract(ctype p_c) /*@*/ ; | |
205 | extern bool ctype_isRealArray (ctype p_c) /*@*/ ; | |
206 | extern bool ctype_isRealBool (ctype p_c) /*@*/ ; | |
207 | extern bool ctype_isRealFunction (ctype p_c) /*@*/ ; | |
208 | extern bool ctype_isRealInt (ctype p_c) /*@*/ ; | |
209 | extern bool ctype_isRealNumeric (ctype p_c) /*@*/ ; | |
210 | extern bool ctype_isRealPointer (ctype p_c) /*@*/ ; | |
211 | extern bool ctype_isRealSU (ctype p_c) /*@*/ ; | |
212 | extern bool ctype_isRealVoid (ctype p_c) /*@*/ ; | |
213 | extern bool ctype_isStruct (ctype p_c) /*@*/ ; | |
214 | extern bool ctype_isStructorUnion(ctype p_c) /*@*/ ; | |
215 | extern bool ctype_isUA (ctype p_c) /*@*/ ; | |
216 | extern bool ctype_isUnion (ctype p_c) /*@*/ ; | |
885824d3 | 217 | extern bool ctype_isVoid (ctype p_c) /*@*/ ; |
218 | extern bool ctype_isVoidPointer (ctype p_c) /*@*/ ; | |
219 | ||
220 | extern bool ctype_isVisiblySharable (ctype p_t) /*@*/ ; | |
221 | extern bool ctype_match (ctype p_c1, ctype p_c2) /*@*/ ; | |
222 | extern bool ctype_matchArg (ctype p_c1, ctype p_c2) /*@*/ ; | |
223 | extern bool ctype_sameName (ctype p_c1, ctype p_c2) /*@*/ ; | |
224 | ||
225 | extern /*@only@*/ cstring ctype_dump (ctype p_c) /*@*/ ; | |
226 | extern /*@observer@*/ cstring ctype_enumTag (ctype p_c) /*@*/ ; | |
227 | extern /*@observer@*/ cstring ctype_unparse (ctype p_c) /*@*/ ; | |
228 | extern /*@observer@*/ cstring ctype_unparseDeep (ctype p_c) /*@*/ ; | |
229 | extern /*@unused@*/ /*@observer@*/ cstring ctype_unparseSafe (ctype p_c) /*@*/ ; | |
230 | ||
231 | extern ctkind ctkind_fromInt (int p_i) /*@*/ ; | |
232 | ||
233 | extern bool ctype_matchDef (ctype p_c1, ctype p_c2) /*@*/ ; | |
234 | extern ctype ctype_undump (char **p_c); | |
f9264521 | 235 | extern ctype ctype_adjustPointers (pointers p_p, ctype p_c); |
885824d3 | 236 | extern ctype ctype_baseArrayPtr (ctype p_c) /*@*/ ; |
237 | extern ctype ctype_combine (ctype p_dominant, ctype p_modifier) ; | |
238 | ||
239 | extern ctype ctype_createAbstract (typeId p_u) /*@*/ ; | |
140c27a8 | 240 | |
885824d3 | 241 | extern ctype ctype_createForwardStruct (/*@only@*/ cstring p_n) /*@*/ ; |
242 | extern ctype ctype_createForwardUnion (/*@only@*/ cstring p_n) /*@*/ ; | |
140c27a8 | 243 | extern ctype ctype_createForwardEnum (/*@only@*/ cstring p_n) /*@*/ ; |
244 | ||
885824d3 | 245 | extern ctype ctype_createStruct (/*@only@*/ cstring p_n, /*@only@*/ uentryList p_f); |
246 | extern ctype ctype_createUnion (/*@only@*/ cstring p_n, /*@only@*/ uentryList p_f); | |
140c27a8 | 247 | extern ctype ctype_createEnum (/*@keep@*/ cstring p_tag, /*@keep@*/ enumNameList p_el); |
885824d3 | 248 | |
249 | extern ctype ctype_createUnnamedStruct (/*@only@*/ uentryList p_f) ; | |
250 | extern ctype ctype_createUnnamedUnion (/*@only@*/ uentryList p_f) ; | |
251 | extern ctype ctype_createUser (typeId p_u) ; | |
252 | ||
28bf4b0b | 253 | extern bool ctype_isUnnamedSU (ctype p_c) /*@*/ ; |
885824d3 | 254 | extern bool ctype_isUser (ctype p_c) /*@*/ ; |
e8b84478 | 255 | |
885824d3 | 256 | extern ctype ctype_expectFunction(ctype p_c) ; |
e8b84478 | 257 | extern ctype ctype_dontExpectFunction (ctype p_c) ; |
885824d3 | 258 | |
259 | extern ctype ctype_fixArrayPtr (ctype p_c); | |
260 | ||
261 | extern ctype ctype_getBaseType (ctype p_c) /*@*/ ; | |
262 | ||
d5047b91 | 263 | extern ctype ctype_makeAnytype (void) /*@*/ ; |
264 | extern bool ctype_isAnytype (ctype) /*@*/ ; | |
265 | ||
885824d3 | 266 | extern ctype ctype_makeArray (ctype p_c); |
37ae0b5e | 267 | extern ctype ctype_makeFixedArray (ctype p_c, size_t p_size); |
37ae0b5e | 268 | extern ctype ctype_makeInnerFixedArray (ctype p_c, size_t p_size); |
d5047b91 | 269 | extern ctype ctype_makeInnerArray (ctype p_c); |
270 | extern ctype ctype_makeConj (ctype p_c1, ctype p_c2) /*@modifies internalState@*/ ; | |
885824d3 | 271 | extern ctype ctype_makeParamsFunction (ctype p_base, /*@only@*/ uentryList p_p); |
272 | extern ctype ctype_makeFunction (ctype p_base, /*@only@*/ uentryList p_p) /*@*/ ; | |
273 | extern ctype ctype_makeNFParamsFunction (ctype p_base, /*@only@*/ uentryList p_p) /*@*/ ; | |
274 | extern ctype ctype_makePointer (ctype p_c); | |
28bf4b0b | 275 | extern ctype ctype_makeRawFunction (ctype p_base, /*@only@*/ uentryList p_p); |
e0b363ad | 276 | extern ctype ctype_makeWideString (void) /*@modifies internalState@*/ ; |
277 | extern bool ctype_isWideString (ctype p_c) /*@*/ ; | |
885824d3 | 278 | |
279 | extern ctype ctype_newBase (ctype p_c, ctype p_p) /*@*/ ; | |
280 | extern ctype ctype_realType (ctype p_c) /*@*/ ; | |
281 | extern ctype ctype_realishType (ctype p_c) /*@*/ ; | |
282 | extern ctype ctype_removePointers (ctype p_c) /*@*/ ; | |
283 | extern ctype ctype_resolve (ctype p_c) /*@*/ ; | |
284 | extern ctype ctype_resolveNumerics (ctype p_c1, ctype p_c2) /*@*/ ; | |
28bf4b0b | 285 | extern ctype ctype_getReturnType (ctype p_c) /*@*/ ; |
885824d3 | 286 | |
287 | extern bool ctype_isRefCounted (ctype p_t) /*@*/ ; | |
288 | extern /*@observer@*/ uentryList ctype_argsFunction (ctype p_c) /*@*/ ; | |
289 | extern /*@observer@*/ uentryList ctype_getParams (ctype p_c) /*@*/ ; | |
290 | # define ctype_getParams(c) ctype_argsFunction(c) | |
291 | ||
292 | extern /*@observer@*/ enumNameList ctype_elist (ctype p_c) /*@*/ ; | |
293 | extern /*@observer@*/ uentryList ctype_getFields (ctype p_c) /*@*/ ; | |
294 | ||
295 | /* | |
296 | ** could do some run-time checks... | |
297 | */ | |
298 | ||
299 | extern cprim ctype_toCprim (ctype p_c) /*@*/ ; | |
300 | /*@access cprim@*/ | |
301 | # define ctype_toCprim(c) ((cprim) (c)) | |
302 | /*@noaccess cprim@*/ | |
303 | ||
304 | extern int ctype_compare (ctype p_c1, ctype p_c2) /*@*/ ; | |
305 | extern /*@unused@*/ int ctype_count (void); | |
306 | ||
307 | extern ctype ctype_makeExplicitConj (ctype p_c1, ctype p_c2); | |
308 | ||
309 | extern typeId ctype_typeId (ctype p_c); | |
310 | ||
311 | extern ctype ctype_fromQual (qual p_q); | |
312 | extern bool ctype_isAnyFloat (ctype p_c); | |
313 | extern bool ctype_isStackAllocated (ctype p_c); | |
314 | ||
315 | /*@constant ctype ctype_missingParamsMarker; @*/ | |
316 | # define ctype_missingParamsMarker ((ctype)CTK_MISSINGPARAMS) | |
317 | ||
318 | extern bool ctype_isMissingParamsMarker (ctype p_ct) /*@*/ ; | |
319 | # define ctype_isMissingParamsMarker(ct) ((ct) == ctype_missingParamsMarker) | |
320 | ||
321 | extern bool ctype_equal (ctype p_c1, ctype p_c2); | |
322 | # define ctype_equal(c1,c2) ((c1) == (c2)) | |
323 | ||
324 | extern bool ctype_almostEqual (ctype p_c1, ctype p_c2); | |
325 | ||
326 | /*@constant ctype ctype_elipsMarker; @*/ | |
327 | # define ctype_elipsMarker ((ctype) CTK_ELIPS) | |
328 | ||
329 | extern bool ctype_isElips (ctype p_ct) /*@*/; | |
330 | # define ctype_isElips(ct) ((ct) == ctype_elipsMarker) | |
331 | ||
332 | extern bool ctype_isAP (ctype p_c) /*@*/ ; | |
333 | # define ctype_isAP(c) ctype_isArrayPtr(c) | |
334 | ||
335 | extern bool ctype_isDefined (ctype p_c) /*@*/ ; | |
336 | # define ctype_isDefined(c) ((c) != ctype_undefined) | |
337 | ||
338 | extern bool ctype_isKnown (ctype p_c) /*@*/ ; | |
339 | # define ctype_isKnown(c) ((c) != CTX_UNKNOWN) | |
340 | ||
341 | extern bool ctype_isSU (ctype p_c) /*@*/ ; | |
342 | # define ctype_isSU(c) ctype_isStructorUnion(c) | |
343 | ||
344 | extern bool ctype_isUndefined (ctype p_c) /*@*/ ; | |
345 | # define ctype_isUndefined(c) ((c) == ctype_undefined) | |
346 | ||
347 | extern bool ctype_isUnknown (ctype p_c) /*@*/; | |
348 | # define ctype_isUnknown(c) ((c) == CTX_UNKNOWN) | |
349 | ||
350 | extern bool ctype_isBogus (/*@sef@*/ ctype p_c) /*@*/ ; | |
351 | # define ctype_isBogus(c) (ctype_isUndefined(c) || ctype_isUnknown(c)) | |
352 | ||
353 | extern cstring | |
354 | ctype_unparseDeclaration (ctype p_c, /*@only@*/ cstring p_name); | |
355 | ||
356 | extern bool ctype_sameAltTypes (ctype p_c1, ctype p_c2) /*@*/ ; | |
357 | ||
358 | extern void ctype_dumpTable (FILE *p_f); | |
359 | extern void ctype_loadTable (FILE *p_f); | |
360 | extern void ctype_destroyMod (void); | |
361 | extern void ctype_initTable (void); | |
362 | extern /*@only@*/ cstring ctype_unparseTable (void); | |
363 | extern /*@unused@*/ void ctype_printTable (void); | |
364 | ||
365 | extern ctype ctype_widest (ctype, ctype) /*@*/ ; | |
366 | ||
7534721d | 367 | /* drl modified */ |
37ae0b5e | 368 | extern size_t ctype_getArraySize (ctype p_c); |
ef2aa32a | 369 | /*end drl add functions */ |
370 | ||
a0a162cd | 371 | /* Should only be used in uentry.c */ |
372 | extern bool ctype_isUserBool (ctype p_ct) /*@*/ ; | |
373 | ||
885824d3 | 374 | # else |
375 | # error "Multiple include" | |
376 | # endif |