]> andersk Git - splint.git/blobdiff - src/Headers/valueTable.h
Renamed truenull nullwhentrue and falsenull falsewhennull
[splint.git] / src / Headers / valueTable.h
index 6860e3c5f983c5d53c5e302c9be1623c8992a590..f18892010eaeb24bf91709b5c5e34f7a32a3ff53 100644 (file)
 /*@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);
This page took 0.032196 seconds and 4 git commands to generate.