Merged this branch with the one in the splint.sf.net repository.

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

diff --git a/src/Headers/lctype.h b/src/Headers/lctype.h
index 5bf5a5a5150b8c03cde422b59a0b9b1719838931..0cd603ce0da571c648753be79c329572444217ba 100644 (file)
--- a/src/Headers/lctype.h
+++ b/src/Headers/lctype.h
@@ -258,10 +258,14 @@ 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, long p_size);
-extern ctype ctype_makeInnerFixedArray (ctype p_c, long p_size);
-extern ctype ctype_makeConj (ctype p_c1, ctype p_c2);
+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) /*@*/ ;
@@ -359,12 +363,21 @@ extern /*@unused@*/ void ctype_printTable (void);
 extern ctype ctype_widest (ctype, ctype) /*@*/ ;
 
 /* drl modified */
-extern long int ctype_getArraySize (ctype p_c);
+extern size_t ctype_getArraySize (ctype p_c);
+
+extern cstring ctype_unparseFunction (ctype p_c, /*@only@*/ cstring p_name);
+
+
+extern cstring
+ctype_unparseFunctionPointer (ctype p_c, cstring p_quals,  /*@only@*/ cstring p_name);
+
 /*end drl add functions */
 
 /* Should only be used in uentry.c */
 extern bool ctype_isUserBool (ctype p_ct) /*@*/ ;
 
+
+
 # else
 # error "Multiple include"
 # endif