src/Headers/lctype.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
   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);
 165 extern bool ctype_genMatch (ctype p_c1, ctype p_c2, bool p_force, bool p_arg, bool p_def, bool p_deep);
 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) /*@*/ ;
 173 extern bool ctype_isBool (ctype p_c) /*@*/ ;  /* matches type bool */
 174 extern bool ctype_isManifestBool (ctype p_c) /*@*/ ; /* declared as type bool */
 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) /*@*/ ;
 195 extern bool ctype_isNumeric (ctype p_c) /*@*/ ;
 196 extern bool ctype_isPointer (ctype p_c) /*@*/ ;
 197 extern bool ctype_isReal (ctype p_c) /*@*/ ;
 198 extern /*@unused@*/ bool ctype_isFloat (ctype p_c) /*@*/ ;
 199 extern bool ctype_isDouble (ctype p_c) /*@*/ ;
 200 extern bool ctype_isSigned (ctype p_c) /*@*/ ;
 201 extern bool ctype_isUnsigned (ctype p_c) /*@*/ ;
 202 extern bool ctype_isRealAP (ctype p_c) /*@*/ ;
 203 extern bool ctype_isRealAbstract(ctype p_c)  /*@*/ ;
 204 extern bool ctype_isRealArray (ctype p_c) /*@*/ ;
 205 extern bool ctype_isRealBool (ctype p_c) /*@*/ ;
 206 extern bool ctype_isRealFunction (ctype p_c) /*@*/ ;
 207 extern bool ctype_isRealInt (ctype p_c) /*@*/ ;
 208 extern bool ctype_isRealNumeric (ctype p_c) /*@*/ ;
 209 extern bool ctype_isRealPointer (ctype p_c) /*@*/ ;
 210 extern bool ctype_isRealSU (ctype p_c) /*@*/ ;
 211 extern bool ctype_isRealVoid (ctype p_c) /*@*/ ;
 212 extern bool ctype_isStruct (ctype p_c) /*@*/ ;
 213 extern bool ctype_isStructorUnion(ctype p_c)  /*@*/ ;
 214 extern bool ctype_isUA (ctype p_c) /*@*/ ;
 215 extern bool ctype_isUnion (ctype p_c) /*@*/ ;
 216 extern bool ctype_isVoid (ctype p_c) /*@*/ ;
 217 extern bool ctype_isVoidPointer (ctype p_c) /*@*/ ;
 218
 219 extern bool ctype_isVisiblySharable (ctype p_t) /*@*/ ;
 220 extern bool ctype_match (ctype p_c1, ctype p_c2) /*@*/ ;
 221 extern bool ctype_matchArg (ctype p_c1, ctype p_c2) /*@*/ ;
 222 extern bool ctype_sameName (ctype p_c1, ctype p_c2) /*@*/ ;
 223
 224 extern /*@only@*/ cstring ctype_dump (ctype p_c) /*@*/ ;
 225 extern /*@observer@*/ cstring ctype_enumTag (ctype p_c) /*@*/ ;
 226 extern /*@observer@*/ cstring ctype_unparse (ctype p_c) /*@*/ ;
 227 extern /*@observer@*/ cstring ctype_unparseDeep (ctype p_c) /*@*/ ;
 228 extern /*@unused@*/ /*@observer@*/ cstring ctype_unparseSafe (ctype p_c) /*@*/ ;
 229
 230 extern ctkind ctkind_fromInt (int p_i) /*@*/ ;
 231
 232 extern bool ctype_matchDef (ctype p_c1, ctype p_c2) /*@*/ ;
 233 extern ctype ctype_undump (char **p_c);
 234 extern ctype ctype_adjustPointers(int p_np, ctype p_c);
 235 extern ctype ctype_baseArrayPtr (ctype p_c) /*@*/ ;
 236 extern ctype ctype_combine (ctype p_dominant, ctype p_modifier) ;
 237
 238 extern ctype ctype_createAbstract (typeId p_u)  /*@*/ ;
 239 extern ctype
 240   ctype_createEnum (/*@keep@*/ cstring p_tag, /*@keep@*/ enumNameList p_el);
 241 extern ctype ctype_createForwardStruct (/*@only@*/ cstring p_n)  /*@*/ ;
 242 extern ctype ctype_createForwardUnion (/*@only@*/ cstring p_n)  /*@*/ ;
 243 extern ctype ctype_createStruct (/*@only@*/ cstring p_n, /*@only@*/ uentryList p_f);
 244 extern ctype ctype_createUnion (/*@only@*/ cstring p_n, /*@only@*/ uentryList p_f);
 245
 246 extern ctype ctype_createUnnamedStruct (/*@only@*/ uentryList p_f) ;
 247 extern ctype ctype_createUnnamedUnion (/*@only@*/ uentryList p_f) ;
 248 extern ctype ctype_createUser (typeId p_u) ;
 249
 250 extern bool ctype_isUser (ctype p_c) /*@*/ ;
 251 extern ctype ctype_expectFunction(ctype p_c) ;
 252
 253 extern ctype ctype_fixArrayPtr (ctype p_c);
 254
 255 extern ctype ctype_getBaseType (ctype p_c) /*@*/ ;
 256
 257 extern ctype ctype_makeArray (ctype p_c);
 258 extern ctype ctype_makeFixedArray (ctype p_c, long p_size);
 259 extern ctype ctype_makeConj (ctype p_c1, ctype p_c2);
 260 extern ctype ctype_makeParamsFunction (ctype p_base, /*@only@*/ uentryList p_p);
 261 extern ctype ctype_makeFunction (ctype p_base, /*@only@*/ uentryList p_p) /*@*/ ;
 262 extern ctype ctype_makeNFParamsFunction (ctype p_base, /*@only@*/ uentryList p_p) /*@*/ ;
 263 extern ctype ctype_makePointer (ctype p_c);
 264 extern ctype ctype_makeRealFunction (ctype p_base, /*@dependent@*/ uentryList p_p);
 265
 266 extern ctype ctype_newBase (ctype p_c, ctype p_p) /*@*/ ;
 267 extern ctype ctype_realType (ctype p_c) /*@*/ ;
 268 extern ctype ctype_realishType (ctype p_c) /*@*/ ;
 269 extern ctype ctype_removePointers (ctype p_c) /*@*/ ;
 270 extern ctype ctype_resolve (ctype p_c) /*@*/ ;
 271 extern ctype ctype_resolveNumerics (ctype p_c1, ctype p_c2) /*@*/ ;
 272 extern ctype ctype_returnValue (ctype p_c) /*@*/ ;
 273
 274 extern bool ctype_isRefCounted (ctype p_t) /*@*/ ;
 275 extern /*@observer@*/ uentryList ctype_argsFunction (ctype p_c) /*@*/ ;
 276 extern /*@observer@*/ uentryList ctype_getParams (ctype p_c) /*@*/ ;
 277 # define ctype_getParams(c) ctype_argsFunction(c)
 278
 279 extern /*@observer@*/ enumNameList ctype_elist (ctype p_c) /*@*/ ;
 280 extern /*@observer@*/ uentryList ctype_getFields (ctype p_c) /*@*/ ;
 281
 282 /*
 283 ** could do some run-time checks...
 284 */
 285
 286 extern cprim ctype_toCprim (ctype p_c) /*@*/ ;
 287 /*@access cprim@*/
 288 # define ctype_toCprim(c) ((cprim) (c))
 289 /*@noaccess cprim@*/
 290
 291 extern int ctype_compare (ctype p_c1, ctype p_c2) /*@*/ ;
 292 extern /*@unused@*/ int ctype_count (void);
 293
 294 extern ctype ctype_makeExplicitConj (ctype p_c1, ctype p_c2);
 295
 296 extern typeId ctype_typeId (ctype p_c);
 297
 298 extern ctype ctype_fromQual (qual p_q);
 299 extern bool ctype_isAnyFloat (ctype p_c);
 300 extern bool ctype_isStackAllocated (ctype p_c);
 301
 302 /*@constant ctype ctype_missingParamsMarker; @*/
 303 # define ctype_missingParamsMarker ((ctype)CTK_MISSINGPARAMS)
 304
 305 extern bool ctype_isMissingParamsMarker (ctype p_ct) /*@*/ ;
 306 # define ctype_isMissingParamsMarker(ct) ((ct) == ctype_missingParamsMarker)
 307
 308 extern bool ctype_equal (ctype p_c1, ctype p_c2);
 309 # define ctype_equal(c1,c2) ((c1) == (c2))
 310
 311 extern bool ctype_almostEqual (ctype p_c1, ctype p_c2);
 312
 313 /*@constant ctype ctype_elipsMarker; @*/
 314 # define ctype_elipsMarker ((ctype) CTK_ELIPS)
 315
 316 extern bool ctype_isElips (ctype p_ct) /*@*/;
 317 # define ctype_isElips(ct) ((ct) == ctype_elipsMarker)
 318
 319 extern bool ctype_isAP (ctype p_c) /*@*/ ;
 320 # define ctype_isAP(c) ctype_isArrayPtr(c)
 321
 322 extern bool ctype_isDefined (ctype p_c) /*@*/ ;
 323 # define ctype_isDefined(c)       ((c) != ctype_undefined)
 324
 325 extern bool ctype_isKnown (ctype p_c) /*@*/ ;
 326 # define ctype_isKnown(c)         ((c) != CTX_UNKNOWN)
 327
 328 extern bool ctype_isSU (ctype p_c) /*@*/ ;
 329 # define ctype_isSU(c)            ctype_isStructorUnion(c)
 330
 331 extern bool ctype_isUndefined (ctype p_c) /*@*/ ;
 332 # define ctype_isUndefined(c)     ((c) == ctype_undefined)
 333
 334 extern bool ctype_isUnknown (ctype p_c) /*@*/;
 335 # define ctype_isUnknown(c)       ((c) == CTX_UNKNOWN)
 336
 337 extern bool ctype_isBogus (/*@sef@*/ ctype p_c) /*@*/ ;
 338 # define ctype_isBogus(c)         (ctype_isUndefined(c) || ctype_isUnknown(c))
 339
 340 extern cstring
 341   ctype_unparseDeclaration (ctype p_c, /*@only@*/ cstring p_name);
 342
 343 extern bool ctype_sameAltTypes (ctype p_c1, ctype p_c2) /*@*/ ;
 344
 345 extern void ctype_dumpTable (FILE *p_f);
 346 extern void ctype_loadTable (FILE *p_f);
 347 extern void ctype_destroyMod (void);
 348 extern void ctype_initTable (void);
 349 extern /*@only@*/ cstring ctype_unparseTable (void);
 350 extern /*@unused@*/ void ctype_printTable (void);
 351
 352 extern ctype ctype_widest (ctype, ctype) /*@*/ ;
 353
 354 /*
 355   drl
 356   modified */
 357 long int ctype_getArraySize (ctype c);
 358 /*end drl add functions */
 359
 360 /* Should only be used in uentry.c */
 361 extern bool ctype_isUserBool (ctype p_ct) /*@*/ ;
 362
 363 # else
 364 # error "Multiple include"
 365 # endif