- library fixes:

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

diff --git a/src/Headers/qualList.h b/src/Headers/qualList.h
index 51f7f36f7bb5b682434ab5d500ea3c818fb9e9b8..3a2c32d5edddca5d85e0dc9ead728ebb4cdef5e1 100644 (file)
--- a/src/Headers/qualList.h
+++ b/src/Headers/qualList.h
@@ -5,15 +5,15 @@
 # ifndef QUALLIST_H
 # define QUALLIST_H
 
-abst_typedef /*@null@*/ struct _qualList
+abst_typedef /*@null@*/ struct 
 {
   int nelements;
   int free;
   /*@reldef@*/ /*@relnull@*/ qual *elements;
 } *qualList ;
 
-extern /*@falsenull@*/ bool qualList_isDefined (qualList p_s);
-extern /*@unused@*/ /*@truenull@*/ bool qualList_isUndefined (qualList p_s);
+extern /*@falsewhennull@*/ bool qualList_isDefined (qualList p_s);
+extern /*@unused@*/ /*@nullwhentrue@*/ bool qualList_isUndefined (qualList p_s);
 
 /*@constant null qualList qualList_undefined; @*/
 # define qualList_undefined ((qualList) NULL)
@@ -37,6 +37,9 @@ extern bool qualList_isEmpty (/*@sef@*/ qualList p_s);
 # define qualList_isEmpty(s) (qualList_size(s) == 0)
 
 extern qualList qualList_new (void) /*@*/ ;
+
+extern qualList qualList_single (qual p_el) /*@*/ ;
+
 extern qualList qualList_add (/*@returned@*/ qualList p_s, qual p_el) 
    /*@modifies p_s@*/;
 
@@ -57,6 +60,16 @@ extern void qualList_clear (qualList p_q);
 extern bool qualList_hasAliasQualifier (qualList p_s);
 extern bool qualList_hasExposureQualifier (qualList p_s);
 
+/* start modifications */
+extern bool qualList_hasNullTerminatedQualifier(qualList p_s);
+
+extern bool qualList_hasBufQualifiers(qualList p_s);
+
+# define qualList_hasBufQualifiers(p_s) \
+  (qualList_hasNullTerminatedQualifier(p_s))
+
+/* end modification/s */
+
 # else
 # error "Multiple include"
 # endif