Renamed truenull nullwhentrue and falsenull falsewhennull

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

diff --git a/src/Headers/fcnNodeList.h b/src/Headers/fcnNodeList.h
index 93b61b93b6ad0d3e4766629ef3553f7c9b43c88f..c2be6857d4f1345c469ce95a9f0168a0c289ce37 100644 (file)
--- a/src/Headers/fcnNodeList.h
+++ b/src/Headers/fcnNodeList.h
@@ -28,10 +28,10 @@ abst_typedef /*@null@*/ struct
 /*@constant null fcnNodeList fcnNodeList_undefined; @*/
 # define fcnNodeList_undefined ((fcnNodeList)0)
 
-extern /*@falsenull@*/ bool fcnNodeList_isDefined (fcnNodeList p_f);
+extern /*@falsewhennull@*/ bool fcnNodeList_isDefined (fcnNodeList p_f);
 # define fcnNodeList_isDefined(f) ((f) != fcnNodeList_undefined)
 
-extern /*@unused@*/ /*@truenull@*/ bool 
+extern /*@unused@*/ /*@nullwhentrue@*/ bool 
   fcnNodeList_isUndefined (fcnNodeList p_f);
 # define fcnNodeList_isUndefined(f) ((f) == fcnNodeList_undefined)