[splint.git] / src / Headers / lctype.h

/*
** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
** See ../LICENSE for license information.
**
*/
/*       
** lctype.h
**
** renamed from ctype.h to avoid confusion with standard
** header file
*/      
        
# ifndef CTYPE_H
# define CTYPE_H

/*
** since this is the header file for the ctype module, we need
** to use an access comment to provide access to the representation.
*/

/* in forwardTypes: typedef int ctype; */
       
typedef enum 
{ 
  CT_UNKNOWN, 
  CT_PRIM, 
  CT_USER, 
  CT_ABST,
  CT_NUMABST, 
  CT_ENUM, 
  CT_PTR, 
  CT_ARRAY, 
  CT_FIXEDARRAY, 
  CT_FCN, 
  CT_STRUCT, 
  CT_UNION,
  CT_ENUMLIST, /* bogus type for keeping unnamed enums around */
  CT_BOOL,     /* since booleans aren't really prim's but we don't
		  want them to be user or abst, they are a separate type */
  CT_CONJ,     /* conjunction */
  CT_EXPFCN
  } ctuid ;

/*@access ctype@*/

/* hack alert! */

/*@constant int CTK_ELIPS;@*/          
# define CTK_ELIPS -23         

/*@constant int CTK_MISSINGPARAMS;@*/          
# define CTK_MISSINGPARAMS -37

/*@constant int CT_FIRST;@*/          
# define CT_FIRST 0

/*@constant int CTK_PREDEFINED;@*/       
# define CTK_PREDEFINED   (CTX_LAST + 1)

/*@constant int CTK_PREDEFINED2;@*/       
# define CTK_PREDEFINED2  (CTK_PREDEFINED + CTK_PREDEFINED)

/*@constant int LAST_PREDEFINED;@*/       
# define LAST_PREDEFINED (CTK_PREDEFINED + CTK_PREDEFINED2)

/*@constant int CTP_VOID;@*/       
# define CTP_VOID (CTX_VOID + CTK_PREDEFINED)

/*@constant int CTP_CHAR;@*/       
# define CTP_CHAR (CTX_CHAR + CTK_PREDEFINED)
         
/*@constant int CTK_BASESIZE;@*/                
# define CTK_BASESIZE BIGBASESIZE
       
typedef enum 
{ 
  CTK_UNKNOWN = -3,
  CTK_INVALID = -2, 
  CTK_DNE = -1,
  CTK_PLAIN = 0, /* these must be in order */
  CTK_PTR = 1,
  CTK_ARRAY = 2,
  CTK_COMPLEX = 3 
  } ctkind ;

extern int ctkind_toInt (ctkind p_x);
# define ctkind_toInt(x) ((int)(x))

/*
** ctypes are integer indexes into ctype table
**
** the most common ctypes are hard wired (see cprim.h)
*/

/*@constant ctype ctype_undefined; @*/
# define ctype_undefined  ((ctype) CTK_INVALID)

/*@constant ctype ctype_dne; @*/
# define ctype_dne        ((ctype) CTK_DNE)

/*@constant ctype ctype_unknown; @*/
# define ctype_unknown    CTX_UNKNOWN

/*@constant ctype ctype_void; @*/
# define ctype_void       CTX_VOID

/*@constant ctype ctype_char; @*/
# define ctype_char       CTX_CHAR

/*@constant ctype ctype_uchar; @*/
# define ctype_uchar      CTX_UCHAR

/*@constant ctype ctype_double; @*/
# define ctype_double     CTX_DOUBLE

/*@constant ctype ctype_ldouble; @*/
# define ctype_ldouble    CTX_LDOUBLE

/*@constant ctype ctype_float; @*/
# define ctype_float      CTX_FLOAT

/*@constant ctype ctype_int; @*/
# define ctype_int        CTX_INT

/*@constant ctype ctype_uint; @*/
# define ctype_uint       CTX_UINT

/*@constant ctype ctype_sint; @*/
# define ctype_sint       CTX_SINT

/*@constant ctype ctype_lint; @*/
# define ctype_lint       CTX_LINT

/*@constant ctype ctype_usint; @*/
# define ctype_usint      CTX_USINT

/*@constant ctype ctype_ulint; @*/
# define ctype_ulint      CTX_ULINT

/*@constant ctype ctype_llint; @*/
# define ctype_llint      CTX_LLINT

/*@constant ctype ctype_ullint; @*/
# define ctype_ullint     CTX_ULLINT

/*@constant ctype ctype_bool; @*/
# define ctype_bool       CTX_BOOL

/*@constant ctype ctype_string; @*/
# define ctype_string     CTP_CHAR

/*@constant ctype ctype_anyintegral @*/
# define ctype_anyintegral CTX_ANYINTEGRAL

/*@constant ctype ctype_unsignedintegral @*/
# define ctype_unsignedintegral CTX_UNSIGNEDINTEGRAL

/*@constant ctype ctype_signedintegral @*/
# define ctype_signedintegral CTX_SIGNEDINTEGRAL

/*@constant ctype ctype_voidPointer; @*/
# define ctype_voidPointer CTP_VOID

extern ctype ctype_forceRealType (ctype p_c);       
extern bool ctype_forceMatch (ctype p_c1, ctype p_c2);
extern bool ctype_genMatch (ctype p_c1, ctype p_c2, bool p_force, bool p_arg, bool p_def, bool p_deep);

extern bool ctype_isSimple (ctype p_c) /*@*/ ;
extern bool ctype_isAbstract (ctype p_c) /*@*/ ;
extern bool ctype_isNumAbstract (ctype p_c) /*@*/ ;
extern bool ctype_isArray (ctype p_c) /*@*/ ;
extern bool ctype_isFixedArray (ctype p_c) /*@*/ ;
extern bool ctype_isIncompleteArray (ctype p_c) /*@*/ ;
extern bool ctype_isArrayPtr (ctype p_c) /*@*/ ;
extern bool ctype_isBool (ctype p_c) /*@*/ ;  /* matches type bool */
extern bool ctype_isManifestBool (ctype p_c) /*@*/ ; /* declared as type bool */
extern bool ctype_isChar (ctype p_c) /*@*/ ;
extern bool ctype_isUnsignedChar (ctype p_c) /*@*/ ;
extern bool ctype_isSignedChar (ctype p_c) /*@*/ ;
extern bool ctype_isString (ctype p_c) /*@*/ ;
extern bool ctype_isConj (ctype p_c) /*@*/ ;
extern bool ctype_isDirectBool (ctype p_c) /*@*/ ;
extern bool ctype_isDirectInt(ctype p_c) /*@*/ ;
extern bool ctype_isEnum(ctype p_c) /*@*/ ;
extern bool ctype_isExpFcn (ctype p_c) /*@*/ ;
extern bool ctype_isFirstVoid (ctype p_c) /*@*/ ;
extern bool ctype_isForceRealBool (ctype *p_c) /*@*/ ;
extern bool ctype_isForceRealInt (ctype *p_c) /*@*/ ;
extern bool ctype_isForceRealNumeric (ctype *p_c) /*@*/ ;
extern bool ctype_isFunction (ctype p_c) /*@*/ ;
extern bool ctype_isArbitraryIntegral (ctype p_c) /*@*/ ;
extern bool ctype_isUnsignedIntegral (ctype p_c) /*@*/ ;
extern bool ctype_isSignedIntegral (ctype p_c) /*@*/ ;
extern bool ctype_isInt (ctype p_c) /*@*/ ;
extern bool ctype_isRegularInt (ctype p_c) /*@*/ ;
extern bool ctype_isMutable (ctype p_t) /*@*/ ;
extern bool ctype_isImmutableAbstract (ctype p_t) /*@*/ ;
extern bool ctype_isNumeric (ctype p_c) /*@*/ ;
extern bool ctype_isPointer (ctype p_c) /*@*/ ;
extern bool ctype_isReal (ctype p_c) /*@*/ ;
extern /*@unused@*/ bool ctype_isFloat (ctype p_c) /*@*/ ;
extern bool ctype_isDouble (ctype p_c) /*@*/ ;
extern bool ctype_isSigned (ctype p_c) /*@*/ ;
extern bool ctype_isUnsigned (ctype p_c) /*@*/ ;
extern bool ctype_isRealAP (ctype p_c) /*@*/ ;
extern bool ctype_isRealAbstract(ctype p_c) /*@*/ ;
extern bool ctype_isRealNumAbstract(ctype p_c) /*@*/ ;
extern bool ctype_isRealArray (ctype p_c) /*@*/ ;
extern bool ctype_isRealBool (ctype p_c) /*@*/ ;
extern bool ctype_isRealFunction (ctype p_c) /*@*/ ;
extern bool ctype_isRealInt (ctype p_c) /*@*/ ;
extern bool ctype_isRealNumeric (ctype p_c) /*@*/ ;
extern bool ctype_isRealPointer (ctype p_c) /*@*/ ;
extern bool ctype_isRealSU (ctype p_c) /*@*/ ;
extern bool ctype_isRealVoid (ctype p_c) /*@*/ ;
extern bool ctype_isStruct (ctype p_c) /*@*/ ;
extern bool ctype_isStructorUnion(ctype p_c) /*@*/ ;
extern bool ctype_isUA (ctype p_c) /*@*/ ;
extern bool ctype_isUnion (ctype p_c) /*@*/ ;
extern bool ctype_isVoid (ctype p_c) /*@*/ ;
extern bool ctype_isVoidPointer (ctype p_c) /*@*/ ;

extern bool ctype_isVisiblySharable (ctype p_t) /*@*/ ;
extern bool ctype_match (ctype p_c1, ctype p_c2) /*@*/ ;
extern bool ctype_matchArg (ctype p_c1, ctype p_c2) /*@*/ ;
extern bool ctype_sameName (ctype p_c1, ctype p_c2) /*@*/ ;         

extern /*@only@*/ cstring ctype_dump (ctype p_c) /*@*/ ;
extern /*@observer@*/ cstring ctype_enumTag (ctype p_c) /*@*/ ;           
extern /*@observer@*/ cstring ctype_unparse (ctype p_c) /*@*/ ;
extern /*@observer@*/ cstring ctype_unparseDeep (ctype p_c) /*@*/ ;       
extern /*@unused@*/ /*@observer@*/ cstring ctype_unparseSafe (ctype p_c) /*@*/ ;

extern ctkind ctkind_fromInt (int p_i) /*@*/ ;

extern bool ctype_matchDef (ctype p_c1, ctype p_c2) /*@*/ ;
extern ctype ctype_undump (char **p_c);
extern ctype ctype_adjustPointers (pointers p_p, ctype p_c);
extern ctype ctype_baseArrayPtr (ctype p_c) /*@*/ ;
extern ctype ctype_combine (ctype p_dominant, ctype p_modifier) ;

extern ctype ctype_createAbstract (typeId p_u)  /*@*/ ;
extern ctype ctype_createNumAbstract (typeId p_u)  /*@*/ ;

extern ctype ctype_createForwardStruct (/*@only@*/ cstring p_n)  /*@*/ ;
extern ctype ctype_createForwardUnion (/*@only@*/ cstring p_n)  /*@*/ ;
extern ctype ctype_createForwardEnum (/*@only@*/ cstring p_n) /*@*/ ;

extern ctype ctype_createStruct (/*@only@*/ cstring p_n, /*@only@*/ uentryList p_f);
extern ctype ctype_createUnion (/*@only@*/ cstring p_n, /*@only@*/ uentryList p_f);
extern ctype ctype_createEnum (/*@keep@*/ cstring p_tag, /*@keep@*/ enumNameList p_el);

extern ctype ctype_createUnnamedStruct (/*@only@*/ uentryList p_f) ;
extern ctype ctype_createUnnamedUnion (/*@only@*/ uentryList p_f) ;
extern ctype ctype_createUser (typeId p_u) ;

extern bool ctype_isUnnamedSU (ctype p_c) /*@*/ ;
extern bool ctype_isUser (ctype p_c) /*@*/ ;

extern int ctype_getSize (ctype p_c) 
  /* EFFECTS: Returns the expected size of type p_c.  Various flags to control? 
  **          Returns -1 if the size is unknown (or should not be guessed). 
  */
 /*@*/ ;

extern ctype ctype_biggerType (ctype p_c1, ctype p_c2) 
  /* EFFECTS: returns whichever of c1 or c2 is bigger (storage requirements).
        If they are equal, returns c1. */
  /*@*/ ;

extern ctype ctype_expectFunction(ctype p_c) ;
extern ctype ctype_dontExpectFunction (ctype p_c) ;

extern ctype ctype_fixArrayPtr (ctype p_c);

extern ctype ctype_getBaseType (ctype p_c) /*@*/ ;

extern ctype ctype_makeAnytype (void) /*@*/ ;
extern bool ctype_isAnytype (ctype) /*@*/ ;

extern ctype ctype_makeArray (ctype p_c);
extern ctype ctype_makeFixedArray (ctype p_c, size_t p_size);
extern ctype ctype_makeInnerFixedArray (ctype p_c, size_t p_size);
extern ctype ctype_makeInnerArray (ctype p_c);
extern ctype ctype_makeConj (ctype p_c1, ctype p_c2) /*@modifies internalState@*/ ;
extern ctype ctype_makeParamsFunction (ctype p_base, /*@only@*/ uentryList p_p);
extern ctype ctype_makeFunction (ctype p_base, /*@only@*/ uentryList p_p) /*@*/ ;
extern ctype ctype_makeNFParamsFunction (ctype p_base, /*@only@*/ uentryList p_p) /*@*/ ;
extern ctype ctype_makePointer (ctype p_c);
extern ctype ctype_makeRawFunction (ctype p_base, /*@only@*/ uentryList p_p);
extern ctype ctype_makeWideString (void) /*@modifies internalState@*/ ;
extern bool ctype_isWideString (ctype p_c) /*@*/ ;

extern ctype ctype_newBase (ctype p_c, ctype p_p) /*@*/ ;
extern ctype ctype_realType (ctype p_c) /*@*/ ;
extern ctype ctype_realishType (ctype p_c) /*@*/ ;
extern ctype ctype_removePointers (ctype p_c) /*@*/ ;
extern ctype ctype_resolve (ctype p_c) /*@*/ ;
extern ctype ctype_resolveNumerics (ctype p_c1, ctype p_c2) /*@*/ ;
extern ctype ctype_getReturnType (ctype p_c) /*@*/ ;

extern bool ctype_isRefCounted (ctype p_t) /*@*/ ;
extern /*@observer@*/ uentryList ctype_argsFunction (ctype p_c) /*@*/ ;
extern /*@observer@*/ uentryList ctype_getParams (ctype p_c) /*@*/ ;
# define ctype_getParams(c) ctype_argsFunction(c)

extern /*@observer@*/ enumNameList ctype_elist (ctype p_c) /*@*/ ;
extern /*@observer@*/ uentryList ctype_getFields (ctype p_c) /*@*/ ;

/*
** could do some run-time checks...
*/

extern cprim ctype_toCprim (ctype p_c) /*@*/ ;
/*@access cprim@*/
# define ctype_toCprim(c) ((cprim) (c))
/*@noaccess cprim@*/

extern int ctype_compare (ctype p_c1, ctype p_c2) /*@*/ ;
extern /*@unused@*/ int ctype_count (void);

extern ctype ctype_makeExplicitConj (ctype p_c1, ctype p_c2);

extern typeId ctype_typeId (ctype p_c);

extern ctype ctype_fromQual (qual p_q);
extern bool ctype_isAnyFloat (ctype p_c);
extern bool ctype_isStackAllocated (ctype p_c);

/*@constant ctype ctype_missingParamsMarker; @*/
# define ctype_missingParamsMarker ((ctype)CTK_MISSINGPARAMS)

extern bool ctype_isMissingParamsMarker (ctype p_ct) /*@*/ ;
# define ctype_isMissingParamsMarker(ct) ((ct) == ctype_missingParamsMarker)

extern bool ctype_equal (ctype p_c1, ctype p_c2);
# define ctype_equal(c1,c2) ((c1) == (c2))

extern bool ctype_almostEqual (ctype p_c1, ctype p_c2);

/*@constant ctype ctype_elipsMarker; @*/
# define ctype_elipsMarker ((ctype) CTK_ELIPS)

extern bool ctype_isElips (ctype p_ct) /*@*/;
# define ctype_isElips(ct) ((ct) == ctype_elipsMarker)

extern bool ctype_isAP (ctype p_c) /*@*/ ;
# define ctype_isAP(c) ctype_isArrayPtr(c)       

extern bool ctype_isDefined (ctype p_c) /*@*/ ;
# define ctype_isDefined(c)       ((c) != ctype_undefined)

extern bool ctype_isKnown (ctype p_c) /*@*/ ;
# define ctype_isKnown(c)         ((c) != CTX_UNKNOWN)

extern bool ctype_isSU (ctype p_c) /*@*/ ;
# define ctype_isSU(c)            ctype_isStructorUnion(c)

extern bool ctype_isUndefined (ctype p_c) /*@*/ ;
# define ctype_isUndefined(c)     ((c) == ctype_undefined)

extern bool ctype_isUnknown (ctype p_c) /*@*/;
# define ctype_isUnknown(c)       ((c) == CTX_UNKNOWN)

extern bool ctype_isBogus (/*@sef@*/ ctype p_c) /*@*/ ;
# define ctype_isBogus(c)         (ctype_isUndefined(c) || ctype_isUnknown(c))

extern cstring 
  ctype_unparseDeclaration (ctype p_c, /*@only@*/ cstring p_name);

extern bool ctype_sameAltTypes (ctype p_c1, ctype p_c2) /*@*/ ;

extern void ctype_dumpTable (FILE *p_f);
extern void ctype_loadTable (FILE *p_f);
extern void ctype_destroyMod (void);
extern void ctype_initTable (void);
extern /*@only@*/ cstring ctype_unparseTable (void);
extern /*@unused@*/ void ctype_printTable (void);

extern ctype ctype_widest (ctype, ctype) /*@*/ ;

/* drl modified */
extern size_t ctype_getArraySize (ctype p_c);
/*end drl add functions */

/* Should only be used in uentry.c */
extern bool ctype_isUserBool (ctype p_ct) /*@*/ ;

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