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

/*
** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
** 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_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_ANYTYPE = -4,
  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_anytype; @*/
# define ctype_anytype    ((ctype) CTK_ANYTYPE)

/*@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_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_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(int p_np, 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_createEnum (/*@keep@*/ cstring p_tag, /*@keep@*/ enumNameList p_el);
extern ctype ctype_createForwardStruct (/*@only@*/ cstring p_n)  /*@*/ ;
extern ctype ctype_createForwardUnion (/*@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_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 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_makeArray (ctype p_c);
extern ctype ctype_makeFixedArray (ctype p_c, long p_size);
extern ctype ctype_makeInnerArray (ctype p_c);
extern ctype ctype_makeInnerFixedArray (ctype p_c, long p_size);

extern ctype ctype_makeConj (ctype p_c1, ctype p_c2);
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_isAnytype (ctype p_c) /*@*/;
# define ctype_isAnytype(c)       ((c) == ctype_anytype)

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 long int 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	/*
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	{
02b84d4b	76	CTK_ANYTYPE = -4,
885824d3	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
02b84d4b	101	/@constant ctype ctype_anytype; @/
	102	# define ctype_anytype ((ctype) CTK_ANYTYPE)
	103
885824d3	104	/@constant ctype ctype_unknown; @/
	105	# define ctype_unknown CTX_UNKNOWN
	106
	107	/@constant ctype ctype_void; @/
	108	# define ctype_void CTX_VOID
	109
	110	/@constant ctype ctype_char; @/
	111	# define ctype_char CTX_CHAR
	112
	113	/@constant ctype ctype_uchar; @/
	114	# define ctype_uchar CTX_UCHAR
	115
	116	/@constant ctype ctype_double; @/
	117	# define ctype_double CTX_DOUBLE
	118
	119	/@constant ctype ctype_ldouble; @/
	120	# define ctype_ldouble CTX_LDOUBLE
	121
	122	/@constant ctype ctype_float; @/
	123	# define ctype_float CTX_FLOAT
	124
	125	/@constant ctype ctype_int; @/
	126	# define ctype_int CTX_INT
	127
	128	/@constant ctype ctype_uint; @/
	129	# define ctype_uint CTX_UINT
	130
	131	/@constant ctype ctype_sint; @/
	132	# define ctype_sint CTX_SINT
	133
	134	/@constant ctype ctype_lint; @/
	135	# define ctype_lint CTX_LINT
	136
	137	/@constant ctype ctype_usint; @/
	138	# define ctype_usint CTX_USINT
	139
	140	/@constant ctype ctype_ulint; @/
	141	# define ctype_ulint CTX_ULINT
	142
	143	/@constant ctype ctype_llint; @/
	144	# define ctype_llint CTX_LLINT
	145
	146	/@constant ctype ctype_ullint; @/
	147	# define ctype_ullint CTX_ULLINT
	148
	149	/@constant ctype ctype_bool; @/
	150	# define ctype_bool CTX_BOOL
	151
	152	/@constant ctype ctype_string; @/
	153	# define ctype_string CTP_CHAR
	154
	155	/@constant ctype ctype_anyintegral @/
	156	# define ctype_anyintegral CTX_ANYINTEGRAL
	157
	158	/@constant ctype ctype_unsignedintegral @/
	159	# define ctype_unsignedintegral CTX_UNSIGNEDINTEGRAL
	160
	161	/@constant ctype ctype_signedintegral @/
	162	# define ctype_signedintegral CTX_SIGNEDINTEGRAL
	163
	164	/@constant ctype ctype_voidPointer; @/
	165	# define ctype_voidPointer CTP_VOID
	166
	167	extern ctype ctype_forceRealType (ctype p_c);
168	extern bool ctype_forceMatch (ctype p_c1, ctype p_c2);
a0a162cd	169	extern bool ctype_genMatch (ctype p_c1, ctype p_c2, bool p_force, bool p_arg, bool p_def, bool p_deep);
885824d3	170
	171	extern bool ctype_isSimple (ctype p_c) /@/ ;
	172	extern bool ctype_isAbstract (ctype p_c) /@/ ;
	173	extern bool ctype_isArray (ctype p_c) /@/ ;
	174	extern bool ctype_isFixedArray (ctype p_c) /@/ ;
	175	extern bool ctype_isIncompleteArray (ctype p_c) /@/ ;
	176	extern bool ctype_isArrayPtr (ctype p_c) /@/ ;
a0a162cd	177	extern bool ctype_isBool (ctype p_c) /@/ ; /* matches type bool */
a0a162cd	178	extern bool ctype_isManifestBool (ctype p_c) /@/ ; /* declared as type bool */
885824d3	179	extern bool ctype_isChar (ctype p_c) /@/ ;
	180	extern bool ctype_isUnsignedChar (ctype p_c) /@/ ;
	181	extern bool ctype_isSignedChar (ctype p_c) /@/ ;
	182	extern bool ctype_isString (ctype p_c) /@/ ;
	183	extern bool ctype_isConj (ctype p_c) /@/ ;
	184	extern bool ctype_isDirectBool (ctype p_c) /@/ ;
	185	extern bool ctype_isDirectInt(ctype p_c) /@/ ;
	186	extern bool ctype_isEnum(ctype p_c) /@/ ;
	187	extern bool ctype_isExpFcn (ctype p_c) /@/ ;
	188	extern bool ctype_isFirstVoid (ctype p_c) /@/ ;
	189	extern bool ctype_isForceRealBool (ctype p_c) /@*/ ;
	190	extern bool ctype_isForceRealInt (ctype p_c) /@*/ ;
	191	extern bool ctype_isForceRealNumeric (ctype p_c) /@*/ ;
	192	extern bool ctype_isFunction (ctype p_c) /@/ ;
	193	extern bool ctype_isArbitraryIntegral (ctype p_c) /@/ ;
	194	extern bool ctype_isUnsignedIntegral (ctype p_c) /@/ ;
	195	extern bool ctype_isSignedIntegral (ctype p_c) /@/ ;
	196	extern bool ctype_isInt (ctype p_c) /@/ ;
	197	extern bool ctype_isRegularInt (ctype p_c) /@/ ;
	198	extern bool ctype_isMutable (ctype p_t) /@/ ;
28bf4b0b	199	extern bool ctype_isImmutableAbstract (ctype p_t) /@/ ;
885824d3	200	extern bool ctype_isNumeric (ctype p_c) /@/ ;
	201	extern bool ctype_isPointer (ctype p_c) /@/ ;
	202	extern bool ctype_isReal (ctype p_c) /@/ ;
	203	extern /@unused@/ bool ctype_isFloat (ctype p_c) /@/ ;
	204	extern bool ctype_isDouble (ctype p_c) /@/ ;
	205	extern bool ctype_isSigned (ctype p_c) /@/ ;
	206	extern bool ctype_isUnsigned (ctype p_c) /@/ ;
	207	extern bool ctype_isRealAP (ctype p_c) /@/ ;
	208	extern bool ctype_isRealAbstract(ctype p_c) /@/ ;
	209	extern bool ctype_isRealArray (ctype p_c) /@/ ;
	210	extern bool ctype_isRealBool (ctype p_c) /@/ ;
	211	extern bool ctype_isRealFunction (ctype p_c) /@/ ;
	212	extern bool ctype_isRealInt (ctype p_c) /@/ ;
	213	extern bool ctype_isRealNumeric (ctype p_c) /@/ ;
	214	extern bool ctype_isRealPointer (ctype p_c) /@/ ;
	215	extern bool ctype_isRealSU (ctype p_c) /@/ ;
	216	extern bool ctype_isRealVoid (ctype p_c) /@/ ;
	217	extern bool ctype_isStruct (ctype p_c) /@/ ;
	218	extern bool ctype_isStructorUnion(ctype p_c) /@/ ;
	219	extern bool ctype_isUA (ctype p_c) /@/ ;
	220	extern bool ctype_isUnion (ctype p_c) /@/ ;
885824d3	221	extern bool ctype_isVoid (ctype p_c) /@/ ;
	222	extern bool ctype_isVoidPointer (ctype p_c) /@/ ;
	223
	224	extern bool ctype_isVisiblySharable (ctype p_t) /@/ ;
	225	extern bool ctype_match (ctype p_c1, ctype p_c2) /@/ ;
	226	extern bool ctype_matchArg (ctype p_c1, ctype p_c2) /@/ ;
	227	extern bool ctype_sameName (ctype p_c1, ctype p_c2) /@/ ;
	228
	229	extern /@only@/ cstring ctype_dump (ctype p_c) /@/ ;
	230	extern /@observer@/ cstring ctype_enumTag (ctype p_c) /@/ ;
	231	extern /@observer@/ cstring ctype_unparse (ctype p_c) /@/ ;
	232	extern /@observer@/ cstring ctype_unparseDeep (ctype p_c) /@/ ;
	233	extern /@unused@/ /@observer@/ cstring ctype_unparseSafe (ctype p_c) /@/ ;
	234
	235	extern ctkind ctkind_fromInt (int p_i) /@/ ;
	236
	237	extern bool ctype_matchDef (ctype p_c1, ctype p_c2) /@/ ;
	238	extern ctype ctype_undump (char **p_c);
	239	extern ctype ctype_adjustPointers(int p_np, ctype p_c);
	240	extern ctype ctype_baseArrayPtr (ctype p_c) /@/ ;
	241	extern ctype ctype_combine (ctype p_dominant, ctype p_modifier) ;
	242
	243	extern ctype ctype_createAbstract (typeId p_u) /@/ ;
	244	extern ctype
	245	ctype_createEnum (/@keep@/ cstring p_tag, /@keep@/ enumNameList p_el);
	246	extern ctype ctype_createForwardStruct (/@only@/ cstring p_n) /@/ ;
	247	extern ctype ctype_createForwardUnion (/@only@/ cstring p_n) /@/ ;
	248	extern ctype ctype_createStruct (/@only@/ cstring p_n, /@only@/ uentryList p_f);
	249	extern ctype ctype_createUnion (/@only@/ cstring p_n, /@only@/ uentryList p_f);
	250
	251	extern ctype ctype_createUnnamedStruct (/@only@/ uentryList p_f) ;
	252	extern ctype ctype_createUnnamedUnion (/@only@/ uentryList p_f) ;
	253	extern ctype ctype_createUser (typeId p_u) ;
	254
28bf4b0b	255	extern bool ctype_isUnnamedSU (ctype p_c) /@/ ;
885824d3	256	extern bool ctype_isUser (ctype p_c) /@/ ;
e8b84478	257
885824d3	258	extern ctype ctype_expectFunction(ctype p_c) ;
e8b84478	259	extern ctype ctype_dontExpectFunction (ctype p_c) ;
885824d3	260
	261	extern ctype ctype_fixArrayPtr (ctype p_c);
	262
	263	extern ctype ctype_getBaseType (ctype p_c) /@/ ;
	264
	265	extern ctype ctype_makeArray (ctype p_c);
	266	extern ctype ctype_makeFixedArray (ctype p_c, long p_size);
393e573f	267	extern ctype ctype_makeInnerArray (ctype p_c);
077d4458	268	extern ctype ctype_makeInnerFixedArray (ctype p_c, long p_size);
393e573f	269
885824d3	270	extern ctype ctype_makeConj (ctype p_c1, ctype p_c2);
	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@/ ;
e0b363ad	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
02b84d4b	350	extern bool ctype_isAnytype (ctype p_c) /@/;
	351	# define ctype_isAnytype(c) ((c) == ctype_anytype)
	352
885824d3	353	extern bool ctype_isBogus (/@sef@/ ctype p_c) /@/ ;
	354	# define ctype_isBogus(c) (ctype_isUndefined(c) \|\| ctype_isUnknown(c))
	355
	356	extern cstring
	357	ctype_unparseDeclaration (ctype p_c, /@only@/ cstring p_name);
	358
	359	extern bool ctype_sameAltTypes (ctype p_c1, ctype p_c2) /@/ ;
	360
	361	extern void ctype_dumpTable (FILE *p_f);
	362	extern void ctype_loadTable (FILE *p_f);
	363	extern void ctype_destroyMod (void);
	364	extern void ctype_initTable (void);
	365	extern /@only@/ cstring ctype_unparseTable (void);
	366	extern /@unused@/ void ctype_printTable (void);
	367
	368	extern ctype ctype_widest (ctype, ctype) /@/ ;
	369
7534721d	370	/* drl modified */
7534721d	371	extern long int ctype_getArraySize (ctype p_c);
ef2aa32a	372	/end drl add functions /
ef2aa32a	373
a0a162cd	374	/* Should only be used in uentry.c */
	375	extern bool ctype_isUserBool (ctype p_ct) /@/ ;
	376
885824d3	377	# else
	378	# error "Multiple include"
	379	# endif