Renamed truenull nullwhentrue and falsenull falsewhennull

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

diff --git a/src/Headers/valueTable.h b/src/Headers/valueTable.h
index 6860e3c5f983c5d53c5e302c9be1623c8992a590..f18892010eaeb24bf91709b5c5e34f7a32a3ff53 100644 (file)
--- a/src/Headers/valueTable.h
+++ b/src/Headers/valueTable.h
@@ -17,10 +17,10 @@
 /*@constant null valueTable valueTable_undefined; @*/
 # define valueTable_undefined genericTable_undefined
 
-extern /*@falsenull@*/ bool valueTable_isDefined(valueTable) /*@*/ ;
+extern /*@falsewhennull@*/ bool valueTable_isDefined(valueTable) /*@*/ ;
 # define valueTable_isDefined(p_h) (genericTable_isDefined ((genericTable) (p_h)))
 
-extern /*@truenull@*/ bool valueTable_isUndefined(valueTable) /*@*/ ;
+extern /*@nullwhentrue@*/ bool valueTable_isUndefined(valueTable) /*@*/ ;
 # define valueTable_isUndefined(p_h) (genericTable_isUndefined ((genericTable) (p_h)))
 
 extern /*@only@*/ valueTable valueTable_create(int p_size);