Renamed truenull nullwhentrue and falsenull falsewhennull

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

diff --git a/src/Headers/paramNodeList.h b/src/Headers/paramNodeList.h
index 97ba6e023cc174c913b51f3eb208b37a8e9037df..1fe049a6564e09444a68f5c6ee9feffdb5389572 100644 (file)
--- a/src/Headers/paramNodeList.h
+++ b/src/Headers/paramNodeList.h
@@ -33,7 +33,7 @@ extern bool paramNodeList_empty (/*@sef@*/ paramNodeList p_s);
 
 extern /*@only@*/ paramNodeList paramNodeList_single (/*@keep@*/ paramNode p_p);
 
-extern /*@falsenull@*/ bool paramNodeList_isDefined (paramNodeList p_s) /*@*/ ;
+extern /*@falsewhennull@*/ bool paramNodeList_isDefined (paramNodeList p_s) /*@*/ ;
 # define paramNodeList_isDefined(s) ((s) != (paramNodeList)0)
 extern /*@only@*/ paramNodeList paramNodeList_new (void);
 
@@ -52,7 +52,7 @@ extern /*@only@*/ cstring paramNodeList_unparseComments (paramNodeList p_s);
 /*@constant null paramNodeList paramNodeList_undefined; @*/
 # define paramNodeList_undefined ((paramNodeList) 0)
 
-extern /*@truenull@*/ bool paramNodeList_isNull (/*@null@*/ paramNodeList p_p);
+extern /*@nullwhentrue@*/ bool paramNodeList_isNull (/*@null@*/ paramNodeList p_p);
 
 # define paramNodeList_isNull(p) ((p) == paramNodeList_undefined)