Renamed truenull nullwhentrue and falsenull falsewhennull

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

diff --git a/src/Headers/annotationInfo.h b/src/Headers/annotationInfo.h
index 0ce3da9b17260c3964c110c48ce9d778f93ed700..1e1dac74350a7630c3e306f2e6b715a3505373a9 100644 (file)
--- a/src/Headers/annotationInfo.h
+++ b/src/Headers/annotationInfo.h
@@ -26,10 +26,10 @@ struct s_annotationInfo {
 /*@constant null annotationInfo annotationInfo_undefined; @*/
 # define annotationInfo_undefined    ((annotationInfo) NULL)
 
-extern /*@falsenull@*/ bool annotationInfo_isDefined (annotationInfo) /*@*/ ;
+extern /*@falsewhennull@*/ bool annotationInfo_isDefined (annotationInfo) /*@*/ ;
 # define annotationInfo_isDefined(p_info) ((p_info) != annotationInfo_undefined)
 
-extern /*@truenull@*/ bool annotationInfo_isUndefined (annotationInfo) /*@*/ ;
+extern /*@nullwhentrue@*/ bool annotationInfo_isUndefined (annotationInfo) /*@*/ ;
 # define annotationInfo_isUndefined(p_info) ((p_info) == annotationInfo_undefined)
 
 extern bool annotationInfo_equal (annotationInfo, annotationInfo) /*@*/ ;