Renamed truenull nullwhentrue and falsenull falsewhennull

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

diff --git a/src/Headers/annotationTable.h b/src/Headers/annotationTable.h
index 054e1ecf4da3b3462755054aea8f6dbae022bbd8..25898b5908b4f92f5587e8e08e7389f22f335ad5 100644 (file)
--- a/src/Headers/annotationTable.h
+++ b/src/Headers/annotationTable.h
@@ -21,10 +21,10 @@
 /*@constant null annotationTable annotationTable_undefined; @*/
 # define annotationTable_undefined genericTable_undefined
 
-extern /*@falsenull@*/ bool annotationTable_isDefined(annotationTable) /*@*/ ;
+extern /*@falsewhennull@*/ bool annotationTable_isDefined(annotationTable) /*@*/ ;
 # define annotationTable_isDefined(p_h) (genericTable_isDefined ((genericTable) (p_h)))
 
-extern /*@truenull@*/ bool annotationTable_isUndefined(annotationTable) /*@*/ ;
+extern /*@nullwhentrue@*/ bool annotationTable_isUndefined(annotationTable) /*@*/ ;
 # define annotationTable_isUndefined(p_h) (genericTable_isDefined ((genericTable) (p_h)))
 
 /*@constant int DEFAULT_ANNOTTABLE_SIZE@*/