Renamed truenull nullwhentrue and falsenull falsewhennull

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

diff --git a/src/Headers/cstring.h b/src/Headers/cstring.h
index 8a4ce5aa06120e241bee67f42d561b120efa08f5..7755f554a57d1d0a13561278fe1c1817f3bc8e64 100644 (file)
--- a/src/Headers/cstring.h
+++ b/src/Headers/cstring.h
@@ -129,11 +129,11 @@ extern void cstring_free (/*@only@*/ cstring p_s);
 /*@constant null cstring cstring_undefined;@*/
 # define cstring_undefined     ((cstring)NULL)
 
-extern /*@falsenull@*/ bool cstring_isDefined (cstring p_s) /*@*/ ;
-extern /*@truenull@*/ bool cstring_isUndefined (cstring p_s) /*@*/ ;
+extern /*@falsewhennull@*/ bool cstring_isDefined (cstring p_s) /*@*/ ;
+extern /*@nullwhentrue@*/ bool cstring_isUndefined (cstring p_s) /*@*/ ;
 
-extern /*@truenull@*/ bool cstring_isEmpty (cstring p_s) /*@*/ ;
-extern /*@falsenull@*/ bool cstring_isNonEmpty (cstring p_s) /*@*/ ;
+extern /*@nullwhentrue@*/ bool cstring_isEmpty (cstring p_s) /*@*/ ;
+extern /*@falsewhennull@*/ bool cstring_isNonEmpty (cstring p_s) /*@*/ ;
 
 # define cstring_isDefined(s)   ((s) != cstring_undefined)
 # define cstring_isUndefined(s) (!cstring_isDefined(s))