Renamed truenull nullwhentrue and falsenull falsewhennull

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

diff --git a/src/Headers/sigNodeSet.h b/src/Headers/sigNodeSet.h
index e576d71511838778bb5fa08a36ce31420f2216cf..ac1bec6d89aab1e9b7ec1687082694e1d763b2d7 100644 (file)
--- a/src/Headers/sigNodeSet.h
+++ b/src/Headers/sigNodeSet.h
@@ -33,11 +33,11 @@ abst_typedef /*@null@*/ struct
 /*@constant null sigNodeSet sigNodeSet_undefined; @*/
 # define sigNodeSet_undefined ((sigNodeSet) 0)
 
-extern /*@falsenull@*/ bool sigNodeSet_isDefined (sigNodeSet p_s) /*@*/ ;
+extern /*@falsewhennull@*/ bool sigNodeSet_isDefined (sigNodeSet p_s) /*@*/ ;
 # define sigNodeSet_isDefined(s) \
   ((s) != sigNodeSet_undefined)
 
-extern /*@truenull@*/ bool sigNodeSet_isUndefined (sigNodeSet p_s) /*@*/ ;
+extern /*@nullwhentrue@*/ bool sigNodeSet_isUndefined (sigNodeSet p_s) /*@*/ ;
 # define sigNodeSet_isUndefined(s) \
   ((s) == sigNodeSet_undefined)