Fixed problem with NULL being changed.

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

diff --git a/src/Headers/sRefSet.h b/src/Headers/sRefSet.h
index d70d5aa9e5ed7f2dd66ba024686157ddfac795db..e96a0bee103b0af1632e0aefb94b2f4944ade9dd 100644 (file)
--- a/src/Headers/sRefSet.h
+++ b/src/Headers/sRefSet.h
@@ -1,5 +1,5 @@
 /*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
 ** See ../LICENSE for license information.
 **
 */
@@ -52,9 +52,9 @@ struct s_sRefSet
 /*@constant null sRefSet sRefSet_undefined;@*/
 # define sRefSet_undefined ((sRefSet) 0)
 
-extern /*@truenull@*/ bool sRefSet_isUndefined (sRefSet p_s) /*@*/ ;
-extern /*@truenull@*/ bool sRefSet_isEmpty (/*@sef@*/ sRefSet p_s) /*@*/ ;
-extern /*@falsenull@*/ bool sRefSet_isDefined (sRefSet p_s) /*@*/ ;
+extern /*@nullwhentrue@*/ bool sRefSet_isUndefined (sRefSet p_s) /*@*/ ;
+extern /*@nullwhentrue@*/ bool sRefSet_isEmpty (/*@sef@*/ sRefSet p_s) /*@*/ ;
+extern /*@falsewhennull@*/ bool sRefSet_isDefined (sRefSet p_s) /*@*/ ;
 
 # define sRefSet_isUndefined(s) ((s) == sRefSet_undefined)
 # define sRefSet_isDefined(s)   ((s) != sRefSet_undefined)