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

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

diff --git a/src/Headers/uentryList.h b/src/Headers/uentryList.h
index 7aae25b331e0184da7e9445494e3b6ad62c45ccb..8e979a47d69e6b214a8d9cbd39c11132ddda1fbb 100644 (file)
--- a/src/Headers/uentryList.h
+++ b/src/Headers/uentryList.h
@@ -34,10 +34,10 @@ extern /*@only@*/ uentryList uentryList_makeMissingParams (void);
 
 # define uentryList_makeMissingParams() uentryList_missingParams
 
-extern /*@truenull@*/ bool uentryList_isMissingParams (uentryList p_s) /*@*/ ;
-extern /*@truenull@*/ bool uentryList_isUndefined (uentryList p_s) /*@*/ ;
-extern /*@unused@*/ /*@truenull@*/ bool uentryList_isEmpty (uentryList p_s) /*@*/ ;
-extern /*@unused@*/ /*@falsenull@*/ bool uentryList_isDefined (uentryList p_s) /*@*/ ;
+extern /*@nullwhentrue@*/ bool uentryList_isMissingParams (uentryList p_s) /*@*/ ;
+extern /*@nullwhentrue@*/ bool uentryList_isUndefined (uentryList p_s) /*@*/ ;
+extern /*@unused@*/ /*@nullwhentrue@*/ bool uentryList_isEmpty (uentryList p_s) /*@*/ ;
+extern /*@unused@*/ /*@falsewhennull@*/ bool uentryList_isDefined (uentryList p_s) /*@*/ ;
 
 # define uentryList_isEmpty(s) (uentryList_size(s) == 0)
 
@@ -87,11 +87,16 @@ extern bool uentryList_sameObject (uentryList, uentryList);
 extern bool uentryList_matchFields (uentryList p_p1, uentryList p_p2);
 extern bool uentryList_matchParams (uentryList p_p1, uentryList p_p2, bool p_force, bool p_arg);
 
+extern cstring uentryList_unparseParamsComplete (uentryList p_s);
+
 # define uentryList_sameObject(s,t) ((s) == (t))
 
 /*@constant int uentryListBASESIZE;@*/
 # define uentryListBASESIZE MIDBASESIZE
 
+/*@constant int uentryList_abbrevBreadth@*/
+# define uentryList_abbrevBreadth 3
+
 # else
 # error "Multiple include"
 # endif