Renamed truenull nullwhentrue and falsenull falsewhennull

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

diff --git a/src/Headers/rangeTable.h b/src/Headers/rangeTable.h
index 829df887c7edc9a040a0df3204b17daffcae92b4..c46e30793a77083e0a8c29f54d0576fb8d5d2170 100644 (file)
--- a/src/Headers/rangeTable.h
+++ b/src/Headers/rangeTable.h
@@ -43,10 +43,10 @@ struct _rangeTable
     
 } ; 
 
-extern /*@unused@*/ /*@truenull@*/ bool rangeTable_isUndefined (rangeTable p_s);
-extern /*@unused@*/ /*@truenull@*/ bool 
+extern /*@unused@*/ /*@nullwhentrue@*/ bool rangeTable_isUndefined (rangeTable p_s);
+extern /*@unused@*/ /*@nullwhentrue@*/ bool 
   rangeTable_isEmpty (/*@sef@*/ rangeTable p_s);
-extern /*@falsenull@*/ bool rangeTable_isDefined (rangeTable p_s);
+extern /*@falsewhennull@*/ bool rangeTable_isDefined (rangeTable p_s);
 
 /*@constant null rangeTable rangeTable_undefined; @*/
 # define rangeTable_undefined      ((rangeTable) NULL)