Renamed truenull nullwhentrue and falsenull falsewhennull

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

diff --git a/src/Headers/sRefSetList.h b/src/Headers/sRefSetList.h
index e90e9cf690f309c4e917311ac8560cd58693f74a..4b2dd04a8e1cf4b1eef0d48817437f3594331adb 100644 (file)
--- a/src/Headers/sRefSetList.h
+++ b/src/Headers/sRefSetList.h
@@ -27,10 +27,10 @@ abst_typedef /*@null@*/ struct
 /*@constant null sRefSetList sRefSetList_undefined; @*/
 # define sRefSetList_undefined  ((sRefSetList) NULL)
 
-extern /*@falsenull@*/ bool sRefSetList_isDefined (sRefSetList p_s);
+extern /*@falsewhennull@*/ bool sRefSetList_isDefined (sRefSetList p_s);
 # define sRefSetList_isDefined(s) ((s) != sRefSetList_undefined)
 
-extern /*@unused@*/ /*@truenull@*/ bool sRefSetList_isUndefined (sRefSetList p_s);
+extern /*@unused@*/ /*@nullwhentrue@*/ bool sRefSetList_isUndefined (sRefSetList p_s);
 # define sRefSetList_isUndefined(s) ((s) == sRefSetList_undefined)
 
 extern sRefSetList