Renamed truenull nullwhentrue and falsenull falsewhennull

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

diff --git a/src/Headers/sRefList.h b/src/Headers/sRefList.h
index 4bb32c39641185b4ae417246e7949b57702b612c..cf776230989cb2e7e204b4369e2a36ac7f1d69ce 100644 (file)
--- a/src/Headers/sRefList.h
+++ b/src/Headers/sRefList.h
@@ -29,9 +29,9 @@ struct s_sRefList
 
 extern int sRefList_size (sRefList p_s) /*@*/ ;
 
-extern /*@truenull@*/ bool sRefList_isUndefined (sRefList p_s) /*@*/ ;
-extern /*@unused@*/ /*@truenull@*/ bool sRefList_isEmpty (sRefList p_s) /*@*/ ;
-extern /*@unused@*/ /*@falsenull@*/ bool sRefList_isDefined (sRefList p_s) /*@*/ ;
+extern /*@nullwhentrue@*/ bool sRefList_isUndefined (sRefList p_s) /*@*/ ;
+extern /*@unused@*/ /*@nullwhentrue@*/ bool sRefList_isEmpty (sRefList p_s) /*@*/ ;
+extern /*@unused@*/ /*@falsewhennull@*/ bool sRefList_isDefined (sRefList p_s) /*@*/ ;
 
 # define sRefList_isEmpty(s) (sRefList_size(s) == 0)